Programming Systems Lab: Publications by Lars Birkedal

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

2012

Step-indexed Relational Reasoning for Countable Nondeterminism   (pdf)
Jan Schwinghammer, Lars Birkedal
Submitted

First steps in synthetic guarded domain theory: step-indexing in the topos of trees   (pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logical Methods in Computer Science

A Step-indexed Kripke Model of Hidden State   (pdf)
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang
Mathematical Structures in Computer Science

2011

Step-indexed Relational Reasoning for Countable Nondeterminism   (pdf)
Jan Schwinghammer, Lars Birkedal
Computer Science Logic (CSL'11)

Nested Hoare Triples and Frame Rules for Higher-order Store
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Logical Methods in Computer Science

First steps in synthetic guarded domain theory: step-indexing in the topos of trees   (pdf)
Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Logic in Computer Science (LICS'11)

A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces   (pdf)
Jan Schwinghammer, Lars Birkedal, Kristian Støvring
Foundations of Software Science and Computation Structures (FOSSACS'11)

Step-indexed Kripke Models over Recursive Worlds   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
Principles of Programming Languages (POPL'11)

2010

A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces   (pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)

A Metric Model of Lambda Calculus with Guarded Recursion   (pdf)
Lars Birkedal, Jan Schwinghammer, Kristian Støvring
Fixed Points in Computer Science (FICS'10)

A Semantic Foundation for Hidden State   (pdf)
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
Foundations of Software Science and Computation Structures (FOSSACS 2010)

2009

Nested Hoare Triples and Frame Rules for Higher-Order Store   (pdf)
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang
Computer Science Logic (CSL'09)

2008

A Simple Model of Separation Logic for Higher-order Store   (pdf)
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
Int. Conference Automata Logic and Programming (ICALP'08)

Login to edit