• Publications
  • Influence
Precise Analysis of String Expressions
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? The answers are summarized for each expression by a regular languageExpand
  • 451
  • 50
  • PDF
Object-oriented type inference
TLDR
We present a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding. Expand
  • 224
  • 19
The project
  • 193
  • 19
Secure Multiparty Computation Goes Live
TLDR
We report on the first large-scale and practical application of secure multiparty computation, which took place in January 2008. Expand
  • 471
  • 16
  • PDF
MONA Implementation Secrets
TLDR
We present an overview of MONA and a selection of implementation "secrets" that have been discovered and tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager minimization, BDD-based automata representations, and cache-conscious data structures. Expand
  • 158
  • 13
  • PDF
Object-oriented type systems
TLDR
Object-Oriented Languages and Type Systems The BOPL Language The Rest of this Book Type Checking Type Inference Inheritance Genericity The BopL Grammar The Workbench. Expand
  • 245
  • 12
Automatic verification of pointer programs using monadic second-order logic
TLDR
We present a technique for automatic verification of pointer programs based on a decision procedure for the monadic second-order logic on finite strings. Expand
  • 103
  • 11
  • PDF
Dual syntax for XML languages
TLDR
We present XSugar, which makes it possible to manage dual syntax for XML languages. Expand
  • 72
  • 11
  • PDF
The pointer assertion logic engine
TLDR
We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Expand
  • 169
  • 9
  • PDF
Static analysis of XML transformations in Java
TLDR
We introduce XACT, a high-level approach for Java using XML templates as a first-class data type with operations for manipulating XML values based on XPath. Expand
  • 95
  • 9
  • PDF