Jonathan Kochems

Doctoral Student

Student, Worcester College

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My broad interest lies in verification techniques for concurrent higher-order functional programming languages such as Erlang. Lately I have been working on reachability analyses for asynchronously communicating pushdown systems.

Selected Publications

View all

Manage publications

Automatic Verification of Erlang−Style Concurrency

Emanuele D'Osualdo‚ Jonathan Kochems and C.−H. Luke Ong

In CoRR. Vol. abs/1303.2201. 2013.

to appear in SAS 2013

Details | BibTeX

Soter: an automatic safety verifier for erlang

Emanuele D'Osualdo‚ Jonathan Kochems and Luke Ong

In Proceedings of the 2nd edition on Programming systems‚ languages and applications based on actors‚ agents‚ and decentralized control abstractions. Pages 137–140. New York‚ NY‚ USA. 2012. ACM.

Details | BibTeX | DOI (10.1145/2414639.2414658) | Link

Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars

Jonathan Kochems and C.−H. Luke Ong

In RTA. Pages 187−202. 2011.

Details | BibTeX