Michael I. Schwartzbach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
16
Active years
1989–2012
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICWE | WebSelF: A Web Scraping Framework. | Jakob G. Thomsen, Erik Ernst, Claus Brabrand, Michael I. Schwartzbach |
| 2011 | ECOOP | Related Types. | Johnni Winther, Michael I. Schwartzbach |
| 2009 | FC | Secure Multiparty Computation Goes Live. | Peter Bogetoft, Dan Lund Christensen, Ivan Damgrd, Martin Geisler, Thomas P. Jakobsen, Mikkel Krigaard, Janus Dam Nielsen, Jesper Buus Nielsen, Kurt Nielsen, Jakob Pagter, Michael I. Schwartzbach, Tomas Toft |
| 2008 | CC | Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. | Michael I. Schwartzbach |
| 2007 | PEPM | XML graphs in program analysis. | Anders Mller, Michael I. Schwartzbach |
| 2007 | PLDI | A domain-specific programming language for secure multiparty computation. | Janus Dam Nielsen, Michael I. Schwartzbach |
| 2005 | ICDT | The Design Space of Type Checkers for XML Transformation Languages. | Anders Mller, Michael I. Schwartzbach |
| 2003 | SAS | Precise Analysis of String Expressions. | Aske Simon Christensen, Anders Mller, Michael I. Schwartzbach |
| 2002 | PEPM | Growing languages with metamorphic syntax macros. | Claus Brabrand, Michael I. Schwartzbach |
| 2001 | PLDI | The Pointer Assertion Logic Engine. | Anders Mller, Michael I. Schwartzbach |
| 2000 | ESOP | Compile-Time Debugging of C Programs Working on Trees. | Jacob Elgaard, Anders Mller, Michael I. Schwartzbach |
| 2000 | POPL | A Type System for Dynamic Web Documents. | Anders Sandholm, Michael I. Schwartzbach |
| 1999 | DLT | Yakyak: parsing with logical side constraints. | Nils Klarlund, Niels Damgaard, Michael I. Schwartzbach |
| 1998 | FASE | Distributed Safety Controllers for Web Services. | Anders Sandholm, Michael I. Schwartzbach |
| 1997 | PLDI | Automatic Verification of Pointer Programs using Monadic Second-Order Logic. | Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Michael I. Schwartzbach |
| 1996 | OOPSLA | Formal Design Constraints. | Nils Klarlund, Jari Koistinen, Michael I. Schwartzbach |
| 1993 | ECOOP | Type Inference of SELF. | Ole Agesen, Jens Palsberg, Michael I. Schwartzbach |
| 1993 | POPL | Graph Types. | Nils Klarlund, Michael I. Schwartzbach |
| 1993 | POPL | Efficient Recursive Subtyping. | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
| 1992 | ECOOP | Making Type Inference Practical. | Nicholas Oxhj, Jens Palsberg, Michael I. Schwartzbach |
| 1992 | FOCS | Efficient Inference of Partial Types | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
| 1991 | ECOOP | What is Type-Safe Code Reuse? | Jens Palsberg, Michael I. Schwartzbach |
| 1991 | OOPSLA | Object-Oriented Type Inference. | Jens Palsberg, Michael I. Schwartzbach |
| 1990 | ICALP | Static Correctness of Hierarchical Procedures. | Michael I. Schwartzbach |
| 1990 | OOPSLA | Type Substitution for Object-Oriented Programming. | Jens Palsberg, Michael I. Schwartzbach |
| 1989 | MFCS | An Imperative Type Hierarchy with Partial Products. | Erik Meineche Schmidt, Michael I. Schwartzbach |