Gavin M. Bierman

48 papers A* 5A 10B 3Journal 14Unranked 14

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