Gavin M. Bierman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
8
Active years
1992–2017
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | EDBT | Self-managed collections: Off-heap memory management for scalable query-dominated collections. | Fabian Nagel, Gavin M. Bierman, Aleksandar Dragojevic, Stratis Viglas |
| 2015 | POPL | Safe & Efficient Gradual Typing for TypeScript. | Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris |
| 2014 | ECOOP | Understanding TypeScript. | Gavin M. Bierman, Martn Abadi, Mads Torgersen |
| 2014 | POPL | Gradual typing embedded securely in JavaScript. | Nikhil Swamy, Cdric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman |
| 2012 | ECOOP | Pause 'n' Play: Formalizing Asynchronous C#. | Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer, Mads Torgersen |
| 2010 | ECOOP | Adding Dynamic Types to C | Gavin M. Bierman, Erik Meijer, Mads Torgersen |
| 2010 | ICFP | Semantic subtyping with an SMT solver. | Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
| 2009 | ICFP | A theory of typed coercions and its applications. | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
| 2008 | ECOOP | UpgradeJ: Incremental Typechecking for Class Upgrades. | Gavin M. Bierman, Matthew J. Parkinson, James Noble |
| 2008 | OOPSLA | Relationships and associations in object-oriented languages. | Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer, James Noble, David J. Pearce, Jiri Soukup, Frank Tip |
| 2008 | POPL | Separation logic, abstraction and inheritance. | Matthew J. Parkinson, Gavin M. Bierman |
| 2007 | OOPSLA | Lost in translation: formalizing proposed extensions to c#. | Gavin M. Bierman, Erik Meijer, Mads Torgersen |
| 2006 | SIGMOD | LINQ: reconciling object, relations and XML in the .NET framework. | Erik Meijer, Brian Beckman, Gavin M. Bierman |
| 2005 | ECOOP | The Essence of Data Access in C | Gavin M. Bierman, Erik Meijer, Wolfram Schulte |
| 2005 | ECOOP | First-Class Relationships in an Object-Oriented Language. | Gavin M. Bierman, Alisdair Stuart Wren |
| 2005 | POPL | Separation logic and abstraction. | Matthew J. Parkinson, Gavin M. Bierman |
| 2005 | POPL | Mutatis mutandis: safe and predictable dynamic software updating. | Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
| 2003 | ICFP | Dynamic rebinding for marshalling and update, with destruct-time? | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
| 2003 | SIGMOD | Formal semantics and analysis of object queries. | Gavin M. Bierman |
| 1998 | MFCS | A Computational Interpretation of the lambda-µ-Calculus. | Gavin M. Bierman |
| 1992 | CSL | Linear Lambda-Calculus and Categorial Models Revisited. | P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland |