Student, Worcester College
Wolfson Building, Parks Road, Oxford OX1 3QD
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.
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
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.
Improved Functional Flow and Reachability Analyses Using Indexed Linear Tree Grammars
Jonathan Kochems and C.−H. Luke Ong
In RTA. Pages 187−202. 2011.