What is a Secure Programming Language? (POPL slides)
Cristina Cifuentes, Gavin Bierman, Principles of Programming Languages (POPL) 2020, New Orleans, US. URL: https://popl20.sigplan.org
Self-managed collections - Off-heap memory management for scalable query-dominated collections.
Fabian Nagel, Gavin M. Bierman, Aleksandar Dragojevic, Stratis Viglas, EDBT
Self-managed collections: Off-heap memory management for scalable query-dominated collections
Fabian Nagel, Gavin Bierman, Aleksander Dragovic, Stratis Viglas, EDBT 2017, 61-71
Safe & Efficient Gradual Typing for TypeScript.
Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris, POPL
Code Generation for Efficient Query Processing in Managed Runtimes.
Fabian Nagel, Gavin M. Bierman, Stratis D. Viglas, PVLDB
Gradual typing embedded securely in JavaScript.
Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman, POPL
Polymonadic Programming.
Michael Hicks 0001, Gavin M. Bierman, Nataliya Guts, Daan Leijen, Nikhil Swamy, MSFP
Processing Declarative Queries Through Generating Imperative Code in Managed Runtimes.
Stratis Viglas, Gavin M. Bierman, Fabian Nagel, IEEE Data Eng. Bull.
Understanding TypeScript.
Gavin M. Bierman, Martín Abadi, Mads Torgersen, ECOOP
Separation Logic for Object-Oriented Programming.
Matthew J. Parkinson, Gavin M. Bierman, Aliasing in Object-Oriented Programming
Extending relational algebra with similarities.
Melita Hajdinjak, Gavin M. Bierman, Math. Struct. Comput. Sci.
Pause 'n' Play - Formalizing Asynchronous C#.
Gavin M. Bierman, Claudio V. Russo, Geoffrey Mainland, Erik Meijer 0001, Mads Torgersen, ECOOP
Semantic subtyping with an SMT solver.
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy, J. Funct. Program.
A co-relational model of data for large shared data banks.
Erik Meijer 0001, Gavin M. Bierman, Commun. ACM
Adding Dynamic Types to C#.
Gavin M. Bierman, Erik Meijer 0001, Mads Torgersen, ECOOP
Semantic subtyping with an SMT solver.
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy, ICFP
A theory of typed coercions and its applications.
Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman, ICFP
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction.
Peter Sewell, Gareth Paul Stoyle, Michael Hicks 0001, Gavin M. Bierman, Keith Wansbrough, J. Funct. Program.
From Java To UpgradeJ - An Empirical Study.
Ewan D. Tempero, Gavin M. Bierman, James Noble 0001, Matthew J. Parkinson, HotSWUp
Information systems preface.
Gavin M. Bierman, Christoph Koch 0001, Inf. Syst.
Relationships and associations in object-oriented languages.
Stephen Nelson, Stephanie Balzer, Gavin M. Bierman, Erik Meijer 0001, James Noble 0001, David J. Pearce, Jiri Soukup, Frank Tip, OOPSLA Companion
Separation logic, abstraction and inheritance.
Matthew J. Parkinson, Gavin M. Bierman, POPL
UpgradeJ - Incremental Typechecking for Class Upgrades.
Gavin M. Bierman, Matthew J. Parkinson, James Noble 0001, ECOOP
Lost in translation - formalizing proposed extensions to c#.
Gavin M. Bierman, Erik Meijer 0001, Mads Torgersen, OOPSLA
Mutatis Mutandis - Safe and predictable dynamic software updating.
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu, ACM Trans. Program. Lang. Syst.
LINQ - reconciling object, relations and XML in the .NET framework.
Erik Meijer 0001, Brian Beckman, Gavin M. Bierman, SIGMOD Conference
Report on the 10th International Symposium on Database Programming Languages - (DBPL 2005).
Gavin M. Bierman, Christoph Koch 0001, SIGMOD Record
Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
Gavin M. Bierman, Christoph Koch 0001, Lecture Notes in Computer Science
First-Class Relationships in an Object-Oriented Language.
Gavin M. Bierman, Alisdair Stuart Wren, ECOOP
Mutatis mutandis - safe and predictable dynamic software updating.
Gareth Paul Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu, POPL
Separation logic and abstraction.
Matthew J. Parkinson, Gavin M. Bierman, POPL
The Essence of Data Access in Comega.
Gavin M. Bierman, Erik Meijer 0001, Wolfram Schulte, ECOOP
Dynamic rebinding for marshalling and update, with destruct-time ?
Gavin M. Bierman, Michael Hicks 0001, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough, SIGPLAN Notices
Dynamic rebinding for marshalling and update, with destruct-time?
Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough, ICFP
Effects and effect inference for a core Java calculus.
Gavin M. Bierman, Matthew J. Parkinson, Electron. Notes Theor. Comput. Sci.
Formal semantics and analysis of object queries.
Gavin M. Bierman, SIGMOD Conference
Inferring the Principal Type and the Schema Requirements of an OQL Query.
Agathoniki Trigoni, Gavin M. Bierman, BNCOD
Strong Normalisation of Cut-Elimination in Classical Logic.
Christian Urban, Gavin M. Bierman, Fundam. Inform.
On an Intuitionistic Modal Logic.
Gavin M. Bierman, Valeria de Paiva, Studia Logica
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo, Electron. Notes Theor. Comput. Sci.
Program equivalence in a linear functional language.
Gavin M. Bierman, J. Funct. Program.
A Classical Linear lambda-Calculus.
Gavin M. Bierman, Theor. Comput. Sci.
Strong Normalisation of Cut-Elimination in Classical Logic.
Christian Urban, Gavin M. Bierman, TLCA
A Computational Interpretation of the lambda-µ-Calculus.
Gavin M. Bierman, MFCS
Computational Types from a Logical Perspective.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, J. Funct. Program.
A New General Purpose Parallel Database System.
Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody, ISPAN
A Note on Full Intuitionistic Linear Logic.
Gavin M. Bierman, Ann. Pure Appl. Log.
Towards a Classical Linear lambda-calculus.
Gavin M. Bierman, Electron. Notes Theor. Comput. Sci.
What is a Categorical Model of Intuitionistic Linear Logic?
Gavin M. Bierman, TLCA
A Term Calculus for Intuitionistic Linear Logic.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland, TLCA
Linear Lambda-Calculus and Categorial Models Revisited.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland, CSL