Travelled to:1 × Canada
1 × China
1 × Cyprus
1 × India
1 × Slovenia
1 × The Netherlands
2 × Italy
2 × Sweden
3 × United Kingdom
6 × USA
Collaborated with:E.Meijer M.J.Parkinson M.Torgersen ∅ M.W.Hicks N.Swamy A.Wren C.Urban P.N.Benton V.d.Paiva M.Hyland G.Stoyle P.Sewell A.Rastogi C.Fournet M.Abadi F.Nagel S.D.Viglas J.Noble B.Beckman W.Schulte A.D.Gordon C.Hritcu D.E.Langworthy P.Vekris C.V.Russo G.Mainland I.Neamtiu K.Wansbrough K.Bhargavan J.Chen P.Strub
Talks about:type (6) logic (5) object (3) linear (3) formal (3) dynam (3) intuitionist (2) calculus (2) abstract (2) gradual (2)
Person: Gavin M. Bierman
DBLP: Bierman:Gavin_M=
Contributed to:
2015
20142014
201420122010
2010200920082008
2007
20062005200520032003
199919951993
1992Wrote 22 papers:
- POPL-2015-RastogiSFBV #performance #type system #typescript
- Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
- ECOOP-2014-BiermanAT #comprehension #typescript
- Understanding TypeScript (GMB, MA, MT), pp. 257–281.
- POPL-2014-SwamyFRBCSB #embedded #javascript #type system
- Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
- VLDB-2014-NagelBV #code generation #performance #query
- Code Generation for Efficient Query Processing in Managed Runtimes (FN, GMB, SDV), pp. 1095–1106.
- ECOOP-2012-BiermanRMMT #c# #formal method #game studies
- Pause’n’Play: Formalizing Asynchronous C# (GMB, CVR, GM, EM, MT), pp. 233–257.
- ECOOP-2010-BiermanMT #c#
- Adding Dynamic Types to C# (GMB, EM, MT), pp. 76–100.
- ICFP-2010-BiermanGHL #semantics #smt #type system
- Semantic subtyping with an SMT solver (GMB, ADG, CH, DEL), pp. 105–116.
- ICFP-2009-SwamyHB #formal method
- A theory of typed coercions and its applications (NS, MWH, GMB), pp. 329–340.
- ECOOP-2008-BiermanPN #incremental #named
- UpgradeJ: Incremental Typechecking for Class Upgrades (GMB, MJP, JN), pp. 235–259.
- POPL-2008-ParkinsonB #abstraction #inheritance #logic
- Separation logic, abstraction and inheritance (MJP, GMB), pp. 75–86.
- OOPSLA-2007-BiermanMT #c# #formal method
- Lost in translation: formalizing proposed extensions to c# (GMB, EM, MT), pp. 479–498.
- SIGMOD-2006-MeijerBB #dot-net #framework #named #xml
- LINQ: reconciling object, relations and XML in the .NET framework (EM, BB, GMB), p. 706.
- ECOOP-2005-BiermanMS #data access
- The Essence of Data Access in Cω (GMB, EM, WS), pp. 287–311.
- ECOOP-2005-BiermanW #object-oriented
- First-Class Relationships in an Object-Oriented Language (GMB, AW), pp. 262–286.
- POPL-2005-ParkinsonB #abstraction #logic
- Separation logic and abstraction (MJP, GMB), pp. 247–258.
- POPL-2005-StoyleHBSN #predict
- Mutatis mutandis: safe and predictable dynamic software updating (GS, MWH, GMB, PS, IN), pp. 183–194.
- ICFP-2003-BiermanHSSW #question
- Dynamic rebinding for marshalling and update, with destruct-time? (GMB, MWH, PS, GS, KW), pp. 99–110.
- SIGMOD-2003-Bierman #analysis #query #semantics
- Formal semantics and analysis of object queries (GMB), pp. 407–418.
- TLCA-1999-UrbanB #logic #normalisation
- Strong Normalisation of Cut-Elimination in Classical Logic (CU, GMB), pp. 365–380.
- TLCA-1995-Bierman #category theory #linear #logic #question #what
- What is a Categorical Model of Intuitionistic Linear Logic? (GMB), pp. 78–93.
- TLCA-1993-BentonBPH #calculus #linear #logic
- A Term Calculus for Intuitionistic Linear Logic (PNB, GMB, VdP, MH), pp. 75–90.
- CSL-1992-BentonBPH #linear #modelling #revisited #λ-calculus
- Linear λ-Calculus and Categorial Models Revisited (PNB, GMB, VdP, MH), pp. 61–84.