Gavin M. Bierman

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 2

Top Topics

Efficient Query Processing

Programming Language

Memory Management

Relational Algebra

Top Venues

Proc. VLDB Endow.

J. Funct. Program.

Publications

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