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.
Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks
Jonathan Kochems and C.−H. Luke Ong
In CONCUR. Pages 288−302. 2013.
Automatic Verification of Erlang−Style Concurrency
Emanuele D'Osualdo‚ Jonathan Kochems and C.−H. Luke Ong
In SAS. Pages 454−476. 2013.
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.