Blake Loring, Duncan Mitchell, and Johannes Kinder. PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 425–438. 2019

Duncan Mitchell and Johannes Kinder. In: Sako, K., Schneider, S., Ryan, P. (eds) Computer Security – ESORICS 2019. Lecture Notes in Computer Science, vol 11735. [...]

Hugo Férée, Johannes Å. Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho. In: Piskac, R., Rümmer, P. (eds) Verified Software. Theories, Tools, [...]

Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder. PEPM ’18: Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, [...]

Tom Ridge. ICFP 2017. 2017

Mikolas Janota, Radu Grigore, and Vasco Manquinho. arXiv: Logic in Computer Science. 2017

Richard Bornat, Jaap Boender, Florian Kammueller, Guillaume Poly, and Rajagopal Nagarajan. In: Biere, A., Parker, D. (eds) Tools and Algorithms for the Construction and Analysis [...]

Kangfeng Ye, Simon Foster, and Jim Woodcock. In: Adamatzky, A., Kendon, V. (eds) From Astrophysics to Unconventional Computation. Emergence, Complexity and Computation, vol 35. 2020

Wilmer Ricciotti and James Cheney. 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. 2020

Alastair F. Donaldson, Hugues Evrard, and Paul Thomson. 34th European Conference on Object-Oriented Programming, ECOOP 2020. 2020