Publication
Typestates for objects
Project
Spec#
Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants. Spec# comes with a sound programming methodology that…
Publication
KISS: Keep It Simple and Sequential
Publication
The Complexity of Pure Nash Equilibria
Publication