stefan heule

I'm a software engineer at Google working in Amin Vahdat's Network Infrastructure group.

Recent News

• June 17, 2018: I graduated from Stanford University with a PhD in Computer Science, and have accepted a position at Google working in their Network Infrastructure group.
• April 15, 2016: Our paper on stratified synthesis for learning a specification for x86-64 got accepted to PLDI'16 and is now available.
• March 7, 2016: New blog post on counting x86-64 instructions.
• June 28, 2015: New blog post on browser extension security.
• June 8, 2015: Our paper on model synthesis of opaque code is now available, along with the replication artifact we sent to FSE'15.
• June 7, 2015: I decided to start a blog.
• March 15, 2015: Our paper on browser extension security got accepted to HotOS'15.

Publications

Also see my Google Scholar page, or my dlbp entry.

Refereed Conference Publications

• SwitchV: Automated SDN Switch Validation with P4 Models
  by Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, and Minlan Yu.
  In Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM), 2022.
• SpaceSearch: A Library for Building and Verifying Solver-Aided Tools
  by Konstantin Weitz, Steven Lyubomirsky, Stefan Heule, Emina Torlak, Michael D Ernst, and Zachary Tatlock.
  In International Conference on Functional Programming (ICFP), 2017.
• Stratified Synthesis: Automatically Learning the x86-64 Instruction Set
  by Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken.
  In Programming Language Design and Implementation (PLDI), 2016.
• Mimic: Computing Models for Opaque Code
  by Stefan Heule, Manu Sridharan, and Satish Chandra.
  In Foundations of Software Engineering (FSE), 2015.
• IFC Inside: Retrofitting Languages with Dynamic Information Flow Control
  by Stefan Heule, Deian Stefan, Edward Z. Yang, John C. Mitchell, and Alejandro Russo.
  In Principles of Security and Trust (POST), 2015.
• Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions
  by Stefan Heule, Ioannis T. Kassios, Peter Müller, and Alexander J. Summers.
  In European Conference on Object-Oriented Programming (ECOOP), 2013.
• HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardinality Estimation Algorithm
  by Stefan Heule, Marc Nunkesser, and Alexander Hall.
  In Extending Database Technology (EDBT), 2013.
• Abstract Read Permissions: Fractional Permissions without the Fractions
  by Stefan Heule, K. Rustan M. Leino, Peter Müller, and Alexander J. Summers.
  In Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013.

Refereed Workshop Publications

• The Most Dangerous Code in the Browser
  by Stefan Heule, Devon Rifkin, Alejandro Russo, and Deian Stefan.
  In Hot Topics in Operating Systems (HotOS), 2015.
• Fractional Permissions without the Fractions
  by Stefan Heule, K. Rustan M. Leino, Peter Müller, and Alexander J. Summers.
  In Formal Techniques for Java-like Programs (FTfJP), 2011. Superseded by the VMCAI'13 publication.

Unrefereed Publications

• Security and the Average Programmer
  by Daniel Griffin, Stefan Heule, Amit Levy, David Mazières, John C. Mitchell, Alejandro Russo, Amy Shen, Deian Stefan, David Terei, and Edward Z. Yang.
  In Principles of Security and Trust (POST), 2014. Invited Contribution.

nandtec.com