Jacob Thamsborg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | POPL | Logical relations for fine-grained concurrency. | Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer |
| 2012 | CSL | A Concurrent Logical Relation. | Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg |
| 2011 | ICFP | A kripke logical relation for effect-based program transformations. | Jacob Thamsborg, Lars Birkedal |
| 2011 | POPL | Step-indexed kripke models over recursive worlds. | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Stvring, Jacob Thamsborg, Hongseok Yang |
| 2009 | FOSSACS | Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types. | Lars Birkedal, Kristian Stvring, Jacob Thamsborg |