Stefan Heule

Cited by

	All	Since 2019
Citations	758	457
h-index	10	8
i10-index	10	8

100

201220132014201520162017201820192020202120222023202414 13 27 34 47 82 76 92 76 76 70 92 51

Public access

View all

4 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
Konstantin WeitzUniversity of WashintonVerified email at uw.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 SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
Satish ChandraGoogleVerified email at acm.org
Emina TorlakAmazon Web Services, University 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	390	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	100	2016
Abstract read permissions: Fractional permissions without the fractions S Heule, KRM Leino, P Müller, AJ Summers Verification, Model Checking, and Abstract Interpretation: 14th …, 2013	50	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	48	2012
Mimic: Computing Models for Opaque Code S Heule, M Sridharan, S Chandra Foundations of Software Engineering (FSE), 2015	40	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	34	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	33	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	28	2015
SWITCHV: Automated SDN Switch Validation with P4 Models KD Albab, J Dilorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ...	13	2022
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	13	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	5	2013
Leveraging P4 for Fixed-Function Switches K Weitz, S Heule, W Mohsin, L Vicisano, A Vahdat P4 Workshop 2019, 2019	2	2019
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
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–17

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors