Computer Science Department
Gates 481
353 Serra Mall
Stanford University
Stanford CA 94305

sheule@cs.stanford.edu

I am a first year PhD student in the Computer Science Department at Stanford University. Dan Boneh is my research rotation advisor for the spring quarter.

Research Interests

Broadly speaking, my interests include software verification, programming languages and their design, type systems, static analysis, and formal methods in general. More specifically, I want to find ways to build correct software, where tools provide guarantees about the desired behavior of a system. With computer systems becoming more and more widely used, specifically also in situations where their malfunction can have severe consequences, there is an increasing demand for software with very high reliability. I am interested in finding ways to statically reason about various correctness criteria as well as building automated tools that employ these techniques.

Publications

Also see my Google Scholar page.

  1. Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions

    by S. Heule, I. T. Kassios, P. Müller, and A. J. Summers.

    In European Conference on Object-Oriented Programming (ECOOP), 2013.

    [ PDF ] [ BibTeX ]

  2. HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardinality Estimation Algorithm

    by S. Heule, M. Nunkesser, and A. Hall.

    In Extending Database Technology (EDBT), 2013.

    [ PDF ] [ BibTeX ]

  3. Abstract Read Permissions: Fractional Permissions without the Fractions

    by S. Heule, K. R. M. Leino, P. Müller, and A. J. Summers.

    In Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013.

    [ PDF ] [ BibTeX ] [ Slides ]

  4. Fractional Permissions without the Fractions

    by S. Heule, K. R. M. Leino, P. Müller, and A. J. Summers.

    In Formal Techniques for Java-like Programs (FTfJP), 2011. Superseded by the VMCAI '13 publication.

    [ PDF ] [ BibTeX ] [ Slides ]

Teaching

  • Teaching assistant in the course Formal Methods and Functional Programming (2013), taught by Dr. Alexander J. Summers and Prof. Dr. David Basin at ETH Zurich.

  • Teaching assistant in the course Formal Methods and Functional Programming (2011), taught by Prof. Dr. Peter Müller and Prof. Dr. David Basin at ETH Zurich.

  • Teaching assistant in the course Data Structures and Algorithms (2010), taught by Prof. Dr. P. Widmayer at ETH Zurich.