Registered user since Mon 25 Jan 2016

Name: Stefan Heule

Affiliation: Stanford University

PLDI 2016 Activities

• Author of Stratified Synthesis: Automatically Learning the x86-64 Instruction Set within the Research Papers-track in PLDI 2016
• Show activities from other conferences