conf.researchr.org / Stefan Heule
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

ICFP 2017Author of SpaceSearch: A Library for Building and Verifying Solver-Aided Tools within the Research Papers-track
ECOOP 2018Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017Committee Member in External Review Committee
Committee Member in Artifact Evaluation Committee
PLDI 2016Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track