Lars Birkedal

	2012
82		Lars Birkedal: Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings Springer 2012
81		Jonas Braband Jensen, Lars Birkedal: Fictional Separation Logic. ESOP 2012: 377-396
80		Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft: Formalized Verification of Snapshotable Trees: Separation and Sharing. VSTTE 2012: 179-195
79		Lars Birkedal, Kristian Støvring, Jacob Thamsborg: A relational realizability model for higher-order stateful ADTs. J. Log. Algebr. Program. 81(4): 491-521 (2012)
	2011
78		Jan Schwinghammer, Lars Birkedal: Step-Indexed Relational Reasoning for Countable Nondeterminism. CSL 2011: 512-524
77		Jan Schwinghammer, Lars Birkedal, Kristian Støvring: A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. FOSSACS 2011: 305-319
76		Jacob Thamsborg, Lars Birkedal: A kripke logical relation for effect-based program transformations. ICFP 2011: 445-456
75		Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal: Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. ITP 2011: 22-38
74		Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring: First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. LICS 2011: 55-64
73		Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang: Step-indexed kripke models over recursive worlds. POPL 2011: 119-132
72		Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski: Partiality, State and Dependent Types. TLCA 2011: 198-212
71		Alexandre Buisse, Lars Birkedal, Kristian Støvring: Step-Indexed Kripke Model of Separation Logic for Storable Locks. Electr. Notes Theor. Comput. Sci. 276: 121-143 (2011)
70		Jonas Braband Jensen, Lars Birkedal, Peter Sestoft: Modular Verification of Linked Lists with Views via Separation Logic. Journal of Object Technology 10: 2: 1-20 (2011)
69		Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations Logical Methods in Computer Science 7(2): (2011)
68		Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-order Store Logical Methods in Computer Science 7(3): (2011)
	2010
67		Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson: Verifying Generics and Delegates. ECOOP 2010: 175-199
66		Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus: A Semantic Foundation for Hidden State. FOSSACS 2010: 2-17
65		Derek Dreyer, Georg Neis, Lars Birkedal: The impact of higher-order state and control effects on local relational reasoning. ICFP 2010: 143-156
64		Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal: A relational modal logic for higher-order stateful ADTs. POPL 2010: 185-198
63		Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich: Verifying event-driven programs using ramified frame properties. TLDI 2010: 63-76
62		Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realisability semantics of parametric polymorphism, general references and recursive types. Mathematical Structures in Computer Science 20(4): 655-703 (2010)
61		Lars Birkedal, Kristian Støvring, Jacob Thamsborg: The category-theoretic solution of recursive metric-space equations. Theor. Comput. Sci. 411(47): 4102-4122 (2010)
	2009
60		Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang: Nested Hoare Triples and Frame Rules for Higher-Order Store. CSL 2009: 440-454
59		Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. FOSSACS 2009: 456-470
58		Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. LICS 2009: 71-80
57		Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse: Design patterns in separation logic. TLDI 2009: 105-116
56		Lars Birkedal, Kristian Støvring, Jacob Thamsborg: Relational parametricity for references and recursive types. TLDI 2009: 91-104
	2008
55		Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: On the Construction of Sorted Reactive Systems. CONCUR 2008: 218-232
54		Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352
53		Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang: A Simple Model of Separation Logic for Higher-Order Store. ICALP (2) 2008: 348-360
52		Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240
51		Noah Torp-Smith, Lars Birkedal, John C. Reynolds: Local reasoning about a copying garbage collector. ACM Trans. Program. Lang. Syst. 30(4): (2008)
50		Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini: Synthetic domain theory and models of linear Abadi & Plotkin logic. Ann. Pure Appl. Logic 155(2): 115-133 (2008)
49		Lars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic CoRR abs/0805.0783: (2008)
48		Carsten Varming, Lars Birkedal: Higher-Order Separation Logic in Isabelle/HOLCF. Electr. Notes Theor. Comput. Sci. 218: 371-389 (2008)
47		Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal: Hoare type theory, polymorphism and separation. J. Funct. Program. 18(5-6): 865-911 (2008)
46		Lars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. Logical Methods in Computer Science 4(2): (2008)
	2007
45		Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
44		Lars Birkedal, Hongseok Yang: Relational Parametricity and Separation Logic. FoSSaCS 2007: 93-107
43		Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29(5): (2007)
42		Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner: Matching of Bigraphs. Electr. Notes Theor. Comput. Sci. 175(4): 3-19 (2007)
41		Lars Birkedal: Book Reviews. Studia Logica 86(1): 133-135 (2007)
40		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Domain-theoretical models of parametric polymorphism. Theor. Comput. Sci. 388(1-3): 152-172 (2007)
	2006
39		Nina Bohr, Lars Birkedal: Relational Reasoning for Recursive Types and References. APLAS 2006: 79-96
38		Lars Birkedal, Søren Debois, Thomas T. Hildebrandt: Sortings for Reactive Systems. CONCUR 2006: 248-262
37		Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss: Bigraphical Models of Context-Aware Systems. FoSSaCS 2006: 187-201
36		Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
35		Lars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages CoRR abs/cs/0610081: (2006)
34		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic CoRR abs/cs/0611004: (2006)
33		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. Electr. Notes Theor. Comput. Sci. 155: 191-217 (2006)
32		Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini: Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. Electr. Notes Theor. Comput. Sci. 155: 219-245 (2006)
31		Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen: Linear Abadi and Plotkin Logic. Logical Methods in Computer Science 2(5): (2006)
30		Lars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages. Logical Methods in Computer Science 2(5): (2006)
29		Troels Christoffer Damgaard, Lars Birkedal: Axiomatizing Binding Bigraphs. Nord. J. Comput. 13(1-2): 58-77 (2006)
	2005
28		Bodil Biering, Lars Birkedal, Noah Torp-Smith: BI Hyperdoctrines and Higher-Order Separation Logic. ESOP 2005: 233-247
27		Lars Birkedal, Noah Torp-Smith, Hongseok Yang: Semantics of Separation-Logic Typing and Higher-Order Frame Rules. LICS 2005: 260-269
26		Lars Birkedal: Preface. Electr. Notes Theor. Comput. Sci. 122: 1- (2005)
25		Lars Birkedal, Rasmus Ejlers Møgelberg: Categorical models for Abadi and Plotkin's logic for parametricity. Mathematical Structures in Computer Science 15(4): 709-772 (2005)
	2004
24		Lars Birkedal, Noah Torp-Smith, John C. Reynolds: Local reasoning about a copying garbage collector. POPL 2004: 220-231
23		Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg: A Retrospective on Region-Based Memory Management. Higher-Order and Symbolic Computation 17(3): 245-265 (2004)
22		Andrej Bauer, Lars Birkedal, Dana S. Scott: Equilogical spaces. Theor. Comput. Sci. 315(1): 35-59 (2004)
21		Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini: Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. 316(1): 1-2 (2004)
	2002
20		Lars Birkedal, Jaap van Oosten: Relative and modified relative realizability. Ann. Pure Appl. Logic 118(1-2): 115-132 (2002)
19		Lars Birkedal: A general notion of realizability. Bulletin of Symbolic Logic 8(2): 266-282 (2002)
18		Steven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. Mathematical Structures in Computer Science 12(3): 319-334 (2002)
	2001
17		Lars Birkedal, Mads Tofte: A constraint-based region inference algorithm. Theor. Comput. Sci. 258(1-2): 299-392 (2001)
	2000
16		Andrej Bauer, Lars Birkedal: Continuous Functionals of Dependent Types and Equilogical Spaces. CSL 2000: 202-216
15		Lars Birkedal: A General Notion of Realizability. LICS 2000: 7-17
14		Mads Tofte, Lars Birkedal: Unification and polymorphism in region inference. Proof, Language, and Interaction 2000: 389-424
13		Lars Birkedal: Developing Theories of Types and Computability via Realizability. Electr. Notes Theor. Comput. Sci. 34: 2 (2000)
12		Lars Birkedal: On propositions-as-types in realizability models. Electr. Notes Theor. Comput. Sci. 35: 52 (2000)
	1999
11		Steven Awodey, Lars Birkedal, Dana S. Scott: Local Realizability Toposes and a Modal Logic for Computability. Electr. Notes Theor. Comput. Sci. 23(1): 13-26 (1999)
10		Lars Birkedal, Jaap van Oosten, Giuseppe Rosolini, Dana S. Scott: Preface. Electr. Notes Theor. Comput. Sci. 23(1): 189-190 (1999)
9		Lars Birkedal: Bibliography on Realizability. Electr. Notes Theor. Comput. Sci. 23(1): 40-57 (1999)
8		Lars Birkedal, Robert Harper: Relational Interpretations of Recursive Types in an Operational Setting. Inf. Comput. 155(1-2): 3-63 (1999)
	1998
7		Lars Birkedal, Aurelio Carboni, Giuseppe Rosolini, Dana S. Scott: Type Theory via Exact Categories. LICS 1998: 188-198
6		Mads Tofte, Lars Birkedal: A Region Inference Algorithm. ACM Trans. Program. Lang. Syst. 20(4): 724-767 (1998)
	1997
5		Lars Birkedal, Robert Harper: Relational Interpretations of Recursive Types in an operational Setting (Summary). TACS 1997: 458-490
	1996
4		Lars Birkedal, Mads Tofte, Magnus Vejlstrup: From Region Inference to von Neumann Machines via Region Representation Inference. POPL 1996: 171-183
	1995
3		Lars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. Lisp and Symbolic Computation 8(3): 191-208 (1995)
	1994
2		Lars Birkedal, Morten Welinder: Binding-Time Analysis for Standard ML. PEPM 1994: 61-71
1		Lars Birkedal, Morten Welinder: Hand-Writing Program Generator Generators. PLILP 1994: 198-214

Coauthor Index

1	Amal Ahmed (Amal J. Ahmed)	[45] [58] [69]
2	Jonathan Aldrich	[57] [63]
3	Steven Awodey	[11] [18]
4	Andrej Bauer	[16] [22]
5	Jesper Bengtson	[75]
6	Bodil Biering	[28] [43]
7	Nina Bohr	[39]
8	Alexandre Buisse	[57] [71]
9	Aurelio Carboni	[7]
10	Troels Christoffer Damgaard	[29] [42]
11	Søren Debois	[37] [38] [55]
12	Derek Dreyer	[58] [64] [65] [69]
13	Ebbe Elsborg	[37]
14	Martin Elsman	[23]
15	Martín Hötzel Escardó	[21]
16	Arne J. Glenstrup	[42]
17	Paul Govereau	[52]
18	Niels Hallenberg	[23]
19	Robert Harper	[5] [8]
20	Thomas T. Hildebrandt	[37] [38] [55]
21	Jonas Braband Jensen	[70] [75] [81]
22	Achim Jung	[21]
23	Neelakantan R. Krishnaswami (Neel Krishnaswami)	[57] [63]
24	Hannes Mehnert	[80]
25	Robin Milner	[42]
26	Rasmus Ejlers Møgelberg	[25] [31] [32] [33] [34] [40] [50] [74]
27	J. Gregory Morrisett (Greg Morrisett)	[36] [45] [47] [52] [54]
28	Aleksandar Nanevski	[36] [45] [47] [52] [54] [72]
29	Georg Neis	[64] [65]
30	Henning Niss	[37]
31	Jaap van Oosten	[10] [20]
32	Matthew J. Parkinson	[67]
33	Rasmus Lerchedahl Petersen	[31] [33] [34] [40] [54]
34	François Pottier	[66]
35	Bernhard Reus	[53] [60] [66] [68] [73]
36	John C. Reynolds	[24] [51]
37	Giuseppe Rosolini	[7] [10] [21] [32] [50]
38	Andreas Rossberg	[64]
39	Jan Schwinghammer	[53] [60] [66] [68] [73] [74] [77] [78]
40	Dana S. Scott	[7] [10] [11] [18] [22]
41	Peter Sestoft	[70] [80]
42	Avraham Shinnar	[52]
43	Filip Sieczkowski	[75] [80]
44	Kristian Støvring	[56] [59] [61] [62] [71] [73] [74] [77] [79]
45	Kasper Svendsen	[57] [67] [72]
46	Jacob Thamsborg	[56] [59] [61] [62] [73] [76] [79]
47	Mads Tofte	[4] [6] [14] [17] [23]
48	Noah Torp-Smith	[24] [27] [28] [30] [35] [43] [51]
49	Carsten Varming	[48]
50	Magnus Vejlstrup	[4]
51	Morten Welinder	[1] [2] [3]
52	Hongseok Yang	[27] [30] [35] [44] [46] [49] [53] [60] [66] [68] [73]

Colors in the list of coauthors

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page