publications

publications by categories in reversed chronological order. Generated by jekyll-scholar.

2019

  1. What is a Secure Programming Language?
    Cristina Cifuentes, and Gavin Bierman
    In Proceedings of SNAPL 2019
    PDF

2017

  1. Self-managed collections: Off-heap memory management for scalable query-dominated collections
    Fabian Nagel, Gavin Bierman, Aleksander Dragojevic, and 1 more author
    In Proceedings of EDBT 2017
    PDF
  2. Processing Declarative Queries Through Generating Imperative Code in Managed Runtimes
    Stratis Viglas, Gavin Bierman, and Fabian Nagel
    In Proceedings of ICDE 2017
    PDF

2015

  1. Safe and Efficient Gradual Typing for TypeScript
    Aseem Rastogi, Nikhil Swamy, Cédric Fournet, and 2 more authors
    In Proceedings of POPL 2015
    PDF

2014

  1. Understanding TypeScript
    Gavin Bierman, Martín Abadi, and Mads Torgersen
    In Proceedings of ECOOP 2014
    PDF
  2. Polymonadic Programming
    Michael Hicks, Gavin Bierman, Nataliya Guts, and 2 more authors
    In Proceedings of MSFP 2014
    PDF
  3. Gradual typing safely embedded in JavaScript
    Nikhil Swamy, Cédric Fournet, Aseem Rastogi, and 4 more authors
    In Proceedings of POPL 2014
    PDF

2013

  1. Separation logic for object-oriented programming
    Matthew Parkinson, and Gavin Bierman
    2013
    PDF

2012

  1. Extending the relational algebra with similarities
    Melita Hajdinjak, and Gavin Bierman
    Mathematical Structures in Computer Science 2012
  2. Semantic subtyping with an SMT solver
    Gavin Bierman, Andrew Gordon, Catalin Hritcu, and 1 more author
    Journal of Functional Programming 2012
    PDF
  3. Pause ’n’ play: Formalizing asynchronous C♯
    Gavin Bierman, Claudio Russo, Geoffrey Mainland, and 2 more authors
    In Proceedings of ECOOP 2012
    PDF

2011

  1. A co-relational model of data for large shared data banks
    Erik Meijer, and Gavin Bierman
    Communications of ACM 2011
    PDF

2010

  1. Semantic subtyping with an SMT solver
    Gavin Bierman, Andrew Gordon, Catalin Hritcu, and 1 more author
    In Proceedings of ICFP 2010
    PDF
  2. Adding dynamic types to C♯
    Gavin Bierman, Erik Meijer, and Mads Torgersen
    In Proceedings of ECOOP 2010
    PDF
  3. Semantic subtyping with an SMT solver
    Gavin Bierman, Andrew Gordon, Catalin Hritcu, and 1 more author
    2010
    PDF

2009

  1. A theory of typed coercions and its applications
    Nikhil Swamy, Michael Hicks, and Gavin Bierman
    In Proceedings of ICFP 2009
    PDF

2008

  1. Dynamic Rebinding for Marshalling and Update, via Redex-time and Destruct-time Reduction
    Peter Sewell, Gareth Stoyle, Michael Hicks, and 2 more authors
    Journal of Functional Programming 2008
    PDF
  2. From Java to UpgradeJ: An empirical study
    Ewan Tempero, Gavin Bierman, Matthew Parkinson, and 1 more author
    In Proceedings of Workshop on Hot Topics in Software Updating 2008
  3. UpgradeJ: Incremental typechecking for class upgrades
    Gavin Bierman, Matthew Parkinson, and James Noble
    In Proceedings of ECOOP 2008
    PDF
  4. Separation logic, abstraction and inheritance
    Matthew Parkinson, and Gavin Bierman
    In Proceedings of POPL 2008
    PDF
  5. UpgradeJ: Incremental typechecking for class upgrades
    Gavin Bierman, Matthew Parkinson, and James Noble
    2008
  6. Selected papers from the 10th International Symposium on Database Programming Languages (DBPL 2005)
    Gavin Bierman, and Christoph Koch
    2008

2007

  1. Mutatis Mutandis: Safe and predictable dynamic software updating
    Gareth Stoyle, Michael Hicks, Gavin Bierman, and 2 more authors
    ACM Transactions on Programming Languages and Systems 2007
    PDF
  2. Lost in translation: Formalizing proposed extensions to C♯
    Gavin Bierman, Erik Meijer, and Mads Torgersen
    In Proceedings of OOPSLA 2007
    PDF
  3. Formalizing and extending C♯ type inference
    Gavin Bierman
    In Proceedings of FOOL/WOOD 2007
    PDF

2006

  1. Report on 10th International Symposium on Database Programming Languages (DBPL 2005)
    Gavin Bierman, and Christoph Koch
    SIGMOD Record 2006
  2. LINQ: Reconciling objects, relations and XML in the .NET framework
    Gavin Bierman, Erik Meijer, and Brian Beckman
    In Proceedings of SIGMOD 2006
    PDF

2005

  1. The essence of data access in Cω
    Gavin Bierman, Erik Meijer, and Wolfram Schulte
    In Proceedings of ECOOP 2005
    PDF
  2. First-class relationships in an object-oriented language
    Alisdair Wren, and Gavin Bierman
    In Proceedings of ECOOP 2005
    PDF
  3. Unifying tables, objects and documents
    Erik Meijer, Wolfram Schulte, and Gavin Bierman
    In Proceedings of DP-COOL 2005
    PDF
  4. First-class relationships in an object-oriented language
    Alisdair Wren, and Gavin Bierman
    In Proceedings of FOOL 2005
    PDF
  5. Mutatis Mutandis: Safe and predictable dynamic software updating
    Gareth Stoyle, Michael Hicks, Gavin Bierman, and 2 more authors
    In Proceedings of POPL 2005
    PDF
  6. Separation logic and abstraction
    Matthew Parkinson, and Gavin Bierman
    In Proceedings of POPL 2005
    PDF
  7. First-class relationships in an object-oriented language
    Alisdair Wren, and Gavin Bierman
    2005
    PDF
  8. Proceedings of 10th International Symposium on Database Programming Languages (DBPL 2005)
    Gavin Bierman, and Christoph Koch
    2005

2004

  1. Dynamic rebinding for marshalling and update, with destruct-time lambda
    Gavin Bierman, Michael Hicks, Peter Sewell, and 2 more authors
    2004
    PDF

2003

  1. Programming with circles, triangles and rectangles
    Erik Meijer, Wolfram Schulte, and Gavin Bierman
    In Proceedings of XML 2003
    PDF
  2. Ubiquitous Data (Position Paper)
    Gavin Bierman, Peter Buneman, and Philippa Gardner
    In Proceedings of UK-UbiNet Workshop 2003
    PDF
  3. Dynamic rebinding for marshalling and update, with destruct-time lambda
    Gavin Bierman, Michael Hicks, Peter Sewell, and 2 more authors
    In Proceedings of ICFP 2003
    PDF
  4. Formal semantics and analysis of object queries
    Gavin Bierman
    In Proceedings of SIGMOD 2003
    PDF
  5. Effects and effect inference for a core Java calculus
    Gavin Bierman, and Matthew Parkinson
    In Proceedings of WOOD 2003
  6. Formalizing dynamic software updating (Extended Abstract)
    Gavin Bierman, Michael Hicks, Peter Sewell, and 1 more author
    In Proceedings of Workshop on Unexpected Software Evolution 2003
    PDF
  7. MJ: An imperative core calculus for Java and Java with effects
    Gavin Bierman, Matthew Parkinson, and Andrew Pitts
    2003
    PDF
  8. Iota: A concurrent, XML scripting language with applications to Home-Area Networks
    Gavin Bierman, and Peter Sewell
    2003

2001

  1. Strong normalisation of cut-elimination in classical logic
    Christian Urban, and Gavin Bierman
    Fundamenta Informaticae 2001
    PDF
  2. Inferring the principal type and schema requirements of an OQL query
    Gavin Bierman, and Nikki Trigoni
    In Proceedings of BNCOD 2001
    PDF

2000

  1. On an Intuitionistic Modal Logic
    Gavin Bierman, and Valeria Paiva
    Studia Logica 2000
  2. Program equivalence in a linear functional language
    Gavin Bierman
    Journal of Functional Programming 2000
    PDF
  3. Operational properties of Lily, a polymorphic linear lambda calculus with recursion
    Gavin Bierman, Andrew Pitts, and Claudio Russo
    In Proceedings of HOOTS 2000
    PDF
  4. Towards a formal type system for ODMG OQL
    Gavin Bierman, and Nikki Trigoni
    2000
    PDF
  5. Using XML as an object interchange format
    Gavin Bierman
    2000
    PDF

1999

  1. A classical linear lambda calculus
    Gavin Bierman
    Theoretical Computer Science 1999
  2. Strong normalisation of cut elimination in classical logic
    Christian Urban, and Gavin Bierman
    In Proceedings of TLCA 1999
    PDF

1998

  1. Computational types from a logical perspective
    Nick Benton, Gavin Bierman, and Valeria Paiva
    1998
    PDF
  2. A computational interpretation of the λμ-calculus
    Gavin Bierman
    In Proceedings of MFCS 1998
    PDF
  3. Multiple modalities
    Gavin Bierman
    1998
    PDF
  4. A computational interpretation of the λμ-calculus
    Gavin Bierman
    1998
    PDF
  5. Linear logic
    Gavin Bierman
    1998

1997

  1. A new general purpose parallel database system
    Mohamad Afshar, John Bates, Gavin Bierman, and 1 more author
    In Proceedings of IEEE International Symposium on Parallel Architectures, Algorithms and Networks 1997
    PDF
  2. Observations on a linear PCF
    Gavin Bierman
    1997
    PDF

1996

  1. A note on full intuitionistic linear logic
    Gavin Bierman
    Annals of Pure and Applied Logic 1996
  2. Towards a classical linear lambda-calculus
    Gavin Bierman
    In Proceedings of Tokyo Meeting on Linear Logic 1996
    PDF
  3. A classical linear lambda-calculus
    Gavin Bierman
    1996
  4. Intuitionistic necessity revisited
    Gavin Bierman, and Valeria Paiva
    1996
    PDF

1995

  1. What is a categorical model of intuitionistic linear logic?
    Gavin Bierman
    In Proceedings of TLCA 1995
    PDF
  2. Computational types from a logical perspective I
    Nick Benton, Gavin Bierman, and Valeria Paiva
    1995

1993

  1. A term calculus for intuitionistic linear logic
    Nick Benton, Gavin Bierman, Valeria Paiva, and 1 more author
    In Proceedings of TLCA 1993
    PDF
  2. Linear lambda-calculus and categorical models revisited
    Nick Benton, Gavin Bierman, Valeria Paiva, and 1 more author
    In Proceedings of CSL 1993
    PDF
  3. On intuitionistic linear logic
    Gavin Bierman
    1993
    PDF

1992

  1. Intuitionistic necessity revisited (Extended Abstract)
    Gavin Bierman, and Valeria Paiva
    In Proceedings of Applied Logic Conference 1992
  2. Term assignment for intuitionistic linear logic
    Nick Benton, Gavin Bierman, Valeria Paiva, and 1 more author
    1992
    PDF