Stefan Heule

13 papers A* 2A 2B 2Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Composer 2 Technical Report.
CoRR
Aaron Chan, Ahmed Shalaby, Alexander Wettig, Aman Sanger, Andrew Zhai, Anurag Ajay, Ashvin Nair, Charlie Snell, Chen Lu, Chen Shen, Emily Jia, Federico Cassano, Hanpeng Liu, Haoyu Chen, Henry Wildermuth, Jacob Jackson, Janet Li, Jediah Katz, Jiajun Yao, Joey Hejna, Josh Warner, Julius Vering, Kevin Frans, Lee Danilek, Less Wright, Lujing Cen, Luke Melas-Kyriazi, Michael Truell, Michiel de Jong, Naman Jain, Nate Schmidt, Nathan Wang, Niklas Muennighoff, Oleg Rybkin, Paul Loh, Phillip Kravtsov, Rishabh Yadav, Sahil Shah, Sam Kottler, Alexander M. Rush, Shengtong Zhang, Shomil Jain, Sriram Sankar, Stefan Heule, Stuart H. Sul, Sualeh Asif, Victor Rong, Wanqi Zhu, William Lin, Yuchen Wu, Yuri Volkov, Yury Zemlyanskiy, Zack Holbrook, Zhiyuan Zhang
2022 A* conf
SwitchV: automated SDN switch validation with P4 models.
SIGCOMM
Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
2018 — —
Guided randomized search over programs for synthesis and program optimization.
Stefan Heule
2017 J jnl
SpaceSearch: a library for building and verifying solver-aided tools.
Proc. ACM Program. Lang.
Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D. Ernst, Zachary Tatlock
2016 A* conf
Stratified synthesis: automatically learning the x86-64 instruction set.
PLDI
Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken
2015 J jnl
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version).
CoRR
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
2015 — conf
IFC Inside: Retrofitting Languages with Dynamic Information Flow Control.
POST
Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, Alejandro Russo
2015 — conf
Mimic: computing models for opaque code.
ESEC/SIGSOFT FSE
Stefan Heule, Manu Sridharan, Satish Chandra
2015 A conf
The Most Dangerous Code in the Browser.
HotOS
Stefan Heule, Devon Rifkin, Alejandro Russo, Deian Stefan
2013 B conf
Abstract Read Permissions: Fractional Permissions without the Fractions.
VMCAI
Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
2013 B conf
HyperLogLog in practice: algorithmic engineering of a state of the art cardinality estimation algorithm.
EDBT
Stefan Heule, Marc Nunkesser, Alexander Hall
2013 A conf
Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions.
ECOOP
Stefan Heule, Ioannis T. Kassios, Peter Müller, Alexander J. Summers
2011 — conf
Fractional permissions without the fractions.
FTfJP@ECOOP
Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers