Statistics
Publications
6
Citations
433
H-Index
6
Active since
2011
Affiliations
Stefan Heule is an author at Stanford University specializing in computer science, computing, and computer engineering.
Publications per year
2011–2016
6
6
Stefan Heule, Marc Nunkesser, Alexander Hall · 2013 · 300 citations
Stratified synthesis: automatically learning the x86-64 instruction set
Stefan Heule, Eric Schkufza, Rahul Sharma et al. · 2016 · 60 citations · Full text
Mimic: computing models for opaque code
Stefan Heule, Manu Sridharan, Satish Chandra · 2015 · 27 citations
Fractional permissions without the fractions
Stefan Heule, K. Rustan M. Leino, Péter Müller et al. · 2011 · 20 citations
The most dangerous code in the browser
Stefan Heule, Devon Rifkin, Alejandro Russo et al. · 2015 · 16 citations
1–5 of 6