Jonathan Kochems
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
-
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
Jonathan Kochems and C.−H. Luke Ong
In CONCUR. Pages 288−302. 2013.
Details about Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks | BibTeX data for Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
-
Automatic Verification of Erlang−Style Concurrency
Emanuele D'Osualdo‚ Jonathan Kochems and C.−H. Luke Ong
In SAS. Pages 454−476. 2013.
Details about Automatic Verification of Erlang−Style Concurrency | BibTeX data for Automatic Verification of Erlang−Style Concurrency
-
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 about Soter: an automatic safety verifier for erlang | BibTeX data for Soter: an automatic safety verifier for erlang | DOI (10.1145/2414639.2414658) | Link to Soter: an automatic safety verifier for erlang