Stefan Heule

Cited by

	All	Since 2017
Citations	574	430
h-index	9	9
i10-index	9	8

2012201320142015201620172018201920202021202214 14 26 35 48 83 72 87 79 71 38

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Peter MüllerETH ZurichVerified email at inf.ethz.ch
Alexander J. SummersThe University of British ColumbiaVerified email at ubc.ca
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
Marc NunkesserSoftware Engineer at Google ZurichVerified email at google.com
Edward Z. YangResearch Engineer, FacebookVerified email at mit.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Ioannis T. KassiosGoogleVerified email at google.com
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
eric schkufzaAmazonVerified email at cs.stanford.edu
Rahul SharmaPrincipal Researcher, Microsoft ResearchVerified email at microsoft.com
Manu SridharanAssociate Professor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Satish ChandraGoogleVerified email at acm.org
Konstantin WeitzUniversity of WashintonVerified email at uw.edu
Emina TorlakUniversity of WashingtonVerified email at alum.mit.edu
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
David TereiStanford UniversityVerified email at scs.stanford.edu
David MazièresProfessor of Computer Science, Stanford UniversityVerified email at nospam.scs.stanford.edu
Amit LevyPrinceton UniversityVerified email at cs.princeton.edu

Stefan Heule

Unknown affiliation

Verified email at cs.stanford.edu - Homepage

Networking Software Verification Formal Methods Programming Langauges Program Synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm S Heule, M Nunkesser, A Hall Proceedings of the 16th International Conference on Extending Database …, 2013	272	2013
Stratified Synthesis: Automatically Learning the x86-64 Instruction Set S Heule, E Schkufza, R Sharma, A Aiken 37th annual ACM SIGPLAN conference on Programming Language Design and …, 2016	80	2016
Abstract read permissions: Fractional permissions without the fractions S Heule, KRM Leino, P Müller, AJ Summers International Workshop on Verification, Model Checking, and Abstract …, 2013	45	2013
Verification condition generation for permission logics with abstract predicates and abstraction functions S Heule, IT Kassios, P Müller, AJ Summers ETH Zurich, 2012	40	2012
Mimic: Computing Models for Opaque Code S Heule, M Sridharan, S Chandra Foundations of Software Engineering (FSE), 2015	34	2015
Fractional Permissions Without the Fractions S Heule, KRM Leino, P Müller, AJ Summers Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs, 1, 2011	33	2011
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control S Heule, D Stefan, EZ Yang, JC Mitchell, A Russo Principles of Security and Trust (POST), 2015	30	2015
The Most Dangerous Code in the Browser S Heule, D Rifkin, A Russo, D Stefan 15th Workshop on Hot Topics in Operating Systems (HotOS XV), 2015	24	2015
SpaceSearch: a library for building and verifying solver-aided tools K Weitz, S Lyubomirsky, S Heule, E Torlak, MD Ernst, Z Tatlock Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	10	2017
Verification condition generation for the intermediate verification language SIL S Heule, P Müller Master’s thesis, Dept. of Computer Science, ETH Zurich, 2013	4	2013
Security and the Average Programmer D Giffin, S Heule, A Levy, D Mazieres, J Mitchell, A Russo, A Shen, ...	1	2014
Verification Condition Generation for Permission Logics with Abstraction Functions S Heule, IT Kassios, AJ Summers, P Müller ETH Zurich, Department of Computer Science, 2012	1	2012
SWITCHV: Automated SDN Switch Validation with P4 Models KD Albab, J Dilorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ...		2022
Guided Randomized Search over Programs for Synthesis and Program Optimization S Heule Stanford University, 2018		2018
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) S Heule, D Stefan, EZ Yang, JC Mitchell, A Russo arXiv preprint arXiv:1501.04132, 2015		2015
Improving Permission-Based Verification of Concurrent Programs with Chalice S Heule Bachelor Thesis, ETH Zurich, 2011		2011

The system can't perform the operation now. Try again later.

Articles 1–16

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors