M
Michael I. Schwartzbach
Researcher at Aarhus University
Publications - 124
Citations - 5080
Michael I. Schwartzbach is an academic researcher from Aarhus University. The author has contributed to research in topics: Type inference & XML schema. The author has an hindex of 34, co-authored 123 publications receiving 4966 citations. Previous affiliations of Michael I. Schwartzbach include BRICS & Aalborg University.
Papers
More filters
Book ChapterDOI
Secure Multiparty Computation Goes Live
Peter Bogetoft,Dan Lund Christensen,Ivan Damgård,Martin Geisler,Thomas P. Jakobsen,Mikkel Krøigaard,Janus Dam Nielsen,Jesper Buus Nielsen,Kurt Nielsen,Jakob Pagter,Michael I. Schwartzbach,Tomas Toft +11 more
TL;DR: The first large-scale and practical application of secure multiparty computation, which took place in January 2008, is reported on and the novel cryptographic protocols used are reported on.
Proceedings ArticleDOI
Precise analysis of string expressions
TL;DR: This work performs static analysis of Java programs to answer a simple question: which values may occur as results of string expressions?
Proceedings ArticleDOI
Object-oriented type inference
TL;DR: This work presents a new approach to inferring types in untyped object-oriented programs with inheritance, assignments, and late binding that guarantees that all messages are understood, annotates the program with type information, allows polymorphic methods, and can be used as the basis of an optimizing compiler.
Proceedings ArticleDOI
The pointer assertion logic engine
TL;DR: A new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants and can verify a large class of data structures, namely all those that can be expressed as graph types.
Book
Object-oriented type systems
TL;DR: 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.