What is a Secure Programming Language?
Cristina Cifuentes, Gavin Bierman, The 3rd Summit on Advances of Programming Languages (SNAPL), to be held at Brown University on 16-17 May 2019. URL: https://snapl.org/2019/index.html
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, Mathematical Structures in Computer Science
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, DBPL
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, Electr. Notes Theor. Comput. Sci.
Dynamic rebinding for marshalling and update, with destruct-time?
Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough, SIGPLAN Notices
Effects and effect inference for a core Java calculus.
Gavin M. Bierman, Matthew J. Parkinson, Lecture Notes in Computer Science
Formal semantics and analysis of object queries.
Gavin M. Bierman, ICFP
Inferring the Principal Type and the Schema Requirements of an OQL Query.
Agathoniki Trigoni, Gavin M. Bierman, Fundam. Inform.
Strong Normalisation of Cut-Elimination in Classical Logic.
Christian Urban, Gavin M. Bierman, SIGMOD Conference
On an Intuitionistic Modal Logic.
Gavin M. Bierman, Valeria de Paiva, J. Funct. Program.
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion.
Gavin M. Bierman, Andrew M. Pitts, Claudio V. Russo, BNCOD
Program equivalence in a linear functional language.
Gavin M. Bierman, Electr. Notes Theor. Comput. Sci.
A Classical Linear lambda-Calculus.
Gavin M. Bierman, Studia Logica
Strong Normalisation of Cut-Elimination in Classical Logic.
Christian Urban, Gavin M. Bierman, Theor. Comput. Sci.
A Computational Interpretation of the lambda-µ-Calculus.
Gavin M. Bierman, J. Funct. Program.
Computational Types from a Logical Perspective.
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, TLCA
A New General Purpose Parallel Database System.
Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody, MFCS
A Note on Full Intuitionistic Linear Logic.
Gavin M. Bierman, ISPAN
Towards a Classical Linear lambda-calculus.
Gavin M. Bierman, Ann. Pure Appl. Logic
What is a Categorical Model of Intuitionistic Linear Logic?
Gavin M. Bierman, Electr. Notes Theor. Comput. Sci.
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, TLCA