• Sign in
  • Sign up
conf.researchr.org / Stefan Heule
  • ECOOP and ISSTA 2018 profile
  • ICFP 2017 profile
  • PLDI 2016 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Stefan Heule

Registered user since Mon 25 Jan 2016

Name:Stefan Heule
Country:United States
Affiliation:Stanford University, USA
Personal website: https://stefanheule.com/

Contributions

2018

ECOOP

  • Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

2017

ICFP

  • Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track

PLDI

  • Committee Member in External Review Committee
  • Committee Member in Artifact Evaluation Committee

2016

PLDI

  • Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track
Share
xTue 2 Sep 23:54
using conf.researchr.org (v1.70.0)
Support page
Sign Up