Skip to main content

3 Result(s)

within English Remove this filter Theory of Computation Remove this filter Alexander J. Summers Remove this filter

and

  1. Chapter and Conference Paper

    Sound Automation of Magic Wands

    The magic wand \(\mathbin {-\!\!*}\) - ...

    Thibault Dardinier, Gaurav Parthasarathy, Noé Weeks… in Computer Aided Verification (2022)

    Download PDF (487 KB) View Chapter

  2. No Access

    Article

    Automating deductive verification for weak-memory programs (extended version)

    Writing correct programs for weak-memory models such as the C11 memory model is challenging because of the weak consistency guarantees these models provide. The first program logics for the verification of suc...

    Alexander J. Summers, Peter Müller in International Journal on Software Tools fo… (2020)

  3. Chapter and Conference Paper

    Local Reasoning for Global Graph Properties

    Separation logics are widely used for verifying programs that manipulate complex heap-based data structures. These logics build on so-called separation algebras, which allow expressing properties of heap regions ...

    Siddharth Krishna, Alexander J. Summers, Thomas Wies in Programming Languages and Systems (2020)

    Download PDF (496 KB)