Jensen, J. B.
& Birkedal, L. (2012).
Fictional Separation Logic. In H. Seidl (Ed.),
Lecture Notes in Computer Science: 21st European Symposium on Programming, ESOP 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 (Vol. 7211, pp. 377-396). Springer.
Mehnert, H.
, Sieczkowski, F., Birkedal, L. & Sestoft, P. (2012).
Formalized verification of snapshotable trees: Separation and sharing. In R. Joshi, P. Müller & A. Podelski (Eds.),
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings (pp. 179-195). Springer.
https://doi.org/10.1007/978-3-642-27705-4_15
Schwinghammer, J.
, Birkedal, L. & Støvring, K. (2011).
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces. In M. Hofmann (Ed.),
Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings (pp. 305-319). Springer.
https://doi.org/10.1007/978-3-642-19805-2_21
Svendsen, K.
, Birkedal, L. & Nanevski, A. (2011).
Partiality, State, and Dependent Types. In
Proceedings of Typed LAmbda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 (Vol. LNCS 6690, pp. 198-212). Springer.
Birkedal, L., Reus, B., Schwinghammer, J., Støvring, K., Thamsborg, J. J. & Yang, H. (2011).
Step-Indexed Kripke Models over Recursive Worlds. In
Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, Texas, USA (pp. 119-132). Association for Computing Machinery.
Bengtson, J., Jensen, J. B., Sieczkowski, F.
& Birkedal, L. (2011).
Verifying object-oriented programs with higher-order separation logic in Coq. In M. V. Eekelen , H. Geuvers, J. Schmaltz & F. Wiedijk (Eds.),
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings (pp. 22-38). Springer.
https://doi.org/10.1007/978-3-642-22863-6_5
Dreyer, D., Neis, G., Rossberg, A.
& Birkedal, L. (2010).
A relational modal logic for higher-order stateful ADTs. In M. Hermenegildo & J. Palsberg (Eds.),
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 (pp. 185-198). Association for Computing Machinery.
https://doi.org/http://doi.acm.org/10.1145/1706299.1706323
Schwinghammer, J., Yang, H.
, Birkedal, L., Pottier, F. & Reus, B. (2010).
A semantic foundation for hidden state. In L. Ong (Ed.),
Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings (pp. 2-17). Springer.
https://doi.org/10.1007/978-3-642-12032-9_2
Dreyer, D., Neis, G.
& Birkedal, L. (2010).
The impact of higher-order state and control effects on local relational reasoning. In S. Weirich & P. Hudak (Eds.),
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 (pp. 143-156). Association for Computing Machinery.
https://doi.org/http://doi.acm.org/10.1145/1863543.1863566
Krishnaswami, N. R., Aldrich, J.
, Birkedal, L., Svendsen, K. & Buisse, A. (2009).
Design patterns in separation logic. In A. Kennedy & A. Ahmed (Eds.),
Proceedings of the 2009 ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'09 (pp. 105-115). Association for Computing Machinery.
https://doi.org/10.1145/1481861.1481874
Schwinghammer, J.
, Birkedal, L., Reus, B. & Yang, H. (2009).
Nested hoare triples and frame rules for higher-order store. In E. Grädel & R. Kahle (Eds.),
Computer Science Logic: 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings (pp. 440-454). Springer.
https://doi.org/10.1007/978-3-642-04027-6_32
Birkedal, L., Støvring, K. & Thamsborg, J. (2009).
Realizability semantics of parametric polymorphism, general references, and recursive types. In L. D. Alfaro (Ed.),
Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings (pp. 456-470). Springer.
https://doi.org/10.1007/978-3-642-00596-1_32
Birkedal, L., Støvring, K. & Thamsborg, J. J. (2009).
Relational Parametricity for References and Recursive Types. In A. Kennedy & A. Ahmed (Eds.),
Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. (pp. 91-104). Association for Computing Machinery.