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