Linear Lambda-Calculus and Categorial Models Revisited. - P. N. Benton; Gavin M. Bierman; Valeria de Paiva; Martin Hyland (CSL, 1992)

A Term Calculus for Intuitionistic Linear Logic. - P. N. Benton; Gavin M. Bierman; Valeria de Paiva; Martin Hyland (TLCA, 1993)

What is a Categorical Model of Intuitionistic Linear Logic? - Gavin M. Bierman (TLCA, 1995)

A Note on Full Intuitionistic Linear Logic. - Gavin M. Bierman (Ann. Pure Appl. Log., 1996)

Towards a Classical Linear lambda-calculus. - Gavin M. Bierman (Linear Logic Tokyo Meeting, 1996)

A New General Purpose Parallel Database System. - Mohamad Afshar; J. Bates; Gavin M. Bierman; K. Moody (ISPAN, 1997)

A Computational Interpretation of the lambda-µ-Calculus. - Gavin M. Bierman (MFCS, 1998)

Computational Types from a Logical Perspective. - P. N. Benton; Gavin M. Bierman; Valeria de Paiva (J. Funct. Program., 1998)

A Classical Linear lambda-Calculus. - Gavin M. Bierman (Theor. Comput. Sci., 1999)

Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion. - Gavin M. Bierman; Andrew M. Pitts; Claudio V. Russo (HOOTS, 2000)

Program equivalence in a linear functional language. - Gavin M. Bierman (J. Funct. Program., 2000)

On an Intuitionistic Modal Logic. - Gavin M. Bierman; Valeria de Paiva (Stud Logica, 2000)

Inferring the Principal Type and the Schema Requirements of an OQL Query. - Agathoniki Trigoni; Gavin M. Bierman (BNCOD, 2001)

Strong Normalisation of Cut-Elimination in Classical Logic. - Christian Urban; Gavin M. Bierman (Fundam. Informaticae, 2001)

Dynamic rebinding for marshalling and update, with destruct-time? - Gavin M. Bierman; Michael W. Hicks; Peter Sewell; Gareth Paul Stoyle; Keith Wansbrough (ICFP, 2003)

Formal semantics and analysis of object queries. - Gavin M. Bierman (SIGMOD Conference, 2003)

Effects and effect inference for a core Java calculus. - Gavin M. Bierman; Matthew J. Parkinson (WOOD, 2003)

The Essence of Data Access in Comega. - Gavin M. Bierman; Erik Meijer 001; Wolfram Schulte (ECOOP, 2005)

First-Class Relationships in an Object-Oriented Language. - Gavin M. Bierman; Alisdair Stuart Wren (ECOOP, 2005)

Separation logic and abstraction. - Matthew J. Parkinson; Gavin M. Bierman (POPL, 2005)

Mutatis mutandis: safe and predictable dynamic software updating. - Gareth Paul Stoyle; Michael W. Hicks; Gavin M. Bierman; Peter Sewell; Iulian Neamtiu (POPL, 2005)

LINQ: reconciling object, relations and XML in the .NET framework. - Erik Meijer 001; Brian Beckman; Gavin M. Bierman (SIGMOD Conference, 2006)

Report on the 10th International Symposium on Database Programming Languages: (DBPL 2005). - Gavin M. Bierman; Christoph Koch 001 (SIGMOD Rec., 2006)

Lost in translation: formalizing proposed extensions to c#. - Gavin M. Bierman; Erik Meijer 001; Mads Torgersen (OOPSLA, 2007)

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., 2007)

UpgradeJ: Incremental Typechecking for Class Upgrades. - Gavin M. Bierman; Matthew J. Parkinson; James Noble 001 (ECOOP, 2008)

From Java To UpgradeJ: An Empirical Study. - Ewan D. Tempero; Gavin M. Bierman; James Noble 001; Matthew J. Parkinson (HotSWUp, 2008)

Relationships and associations in object-oriented languages. - Stephen Nelson; Stephanie Balzer; Gavin M. Bierman; Erik Meijer 001; James Noble 001; David J. Pearce 001; Jiri Soukup; Frank Tip (OOPSLA Companion, 2008)

Separation logic, abstraction and inheritance. - Matthew J. Parkinson; Gavin M. Bierman (POPL, 2008)

Information systems preface. - Gavin M. Bierman; Christoph Koch 001 (Inf. Syst., 2008)

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. - Peter Sewell; Gareth Paul Stoyle; Michael Hicks 001; Gavin M. Bierman; Keith Wansbrough (J. Funct. Program., 2008)

A theory of typed coercions and its applications. - Nikhil Swamy; Michael W. Hicks; Gavin M. Bierman (ICFP, 2009)

Adding Dynamic Types to C#. - Gavin M. Bierman; Erik Meijer 001; Mads Torgersen (ECOOP, 2010)

A co-relational model of data for large shared data banks. - Erik Meijer 001; Gavin M. Bierman (Commun. ACM, 2011)

Pause 'n' Play: Formalizing Asynchronous C#. - Gavin M. Bierman; Claudio V. Russo; Geoffrey Mainland; Erik Meijer 001; Mads Torgersen (ECOOP, 2012)

Semantic subtyping with an SMT solver. - Gavin M. Bierman; Andrew D. Gordon 001; Catalin Hritcu; David E. Langworthy (J. Funct. Program., 2012)

Extending relational algebra with similarities. - Melita Hajdinjak; Gavin M. Bierman (Math. Struct. Comput. Sci., 2012)

Separation Logic for Object-Oriented Programming. - Matthew J. Parkinson; Gavin M. Bierman (Aliasing in Object-Oriented Programming, 2013)

Understanding TypeScript. - Gavin M. Bierman; Martín Abadi; Mads Torgersen (ECOOP, 2014)

Gradual typing embedded securely in JavaScript. - Nikhil Swamy; Cédric Fournet; Aseem Rastogi; Karthikeyan Bhargavan; Juan Chen 002; Pierre-Yves Strub; Gavin M. Bierman (POPL, 2014)

Polymonadic Programming. - Michael Hicks 001; Gavin M. Bierman; Nataliya Guts; Daan Leijen; Nikhil Swamy (MSFP, 2014)

Processing Declarative Queries Through Generating Imperative Code in Managed Runtimes. - Stratis Viglas; Gavin M. Bierman; Fabian Nagel (IEEE Data Eng. Bull., 2014)

Code Generation for Efficient Query Processing in Managed Runtimes. - Fabian Nagel; Gavin M. Bierman; Stratis D. Viglas (Proc. VLDB Endow., 2014)

Safe & Efficient Gradual Typing for TypeScript. - Aseem Rastogi; Nikhil Swamy; Cédric Fournet; Gavin M. Bierman; Panagiotis Vekris (POPL, 2015)

Self-managed collections: Off-heap memory management for scalable query-dominated collections. - Fabian Nagel; Gavin M. Bierman; Aleksandar Dragojevic; Stratis Viglas (EDBT, 2017)

What is a Secure Programming Language? - Cristina Cifuentes; Gavin M. Bierman (SNAPL, 2019)