Emanuele D'Osualdo
Interests
Semantics, Model Checking, Abstract Interpretation, Process Algebra, Declarative Programming, Models of Concurrency
Biography
Please refer to my new homepage for details.
In 2015 I received a PhD (DPhil) in Computer Science from the University of Oxford under the supervision of Prof. C.-H. Luke Ong.
Previously, I did my undergraduate and master's studies at the University of Udine, Italy, graduating with honors.
Selected Publications
-
Automatic Verification of Erlang−Style Concurrency
E. D'Osualdo‚ J. Kochems and C.−H. L. Ong
In CoRR. Vol. abs/1303.2201. 2013.
Available at http://arxiv.org/abs/1303.2201
Details about Automatic Verification of Erlang−Style Concurrency | BibTeX data for Automatic Verification of Erlang−Style Concurrency
-
Automatic Verification of Erlang−Style Concurrency
Emanuele D’Osualdo‚ Jonathan Kochems and C.−H.Luke Ong
In Francesco Logozzo and Manuel Fähndrich, editors, Static Analysis. Vol. 7935 of Lecture Notes in Computer Science. Pages 454−476. Springer Berlin Heidelberg. 2013.
Details about Automatic Verification of Erlang−Style Concurrency | BibTeX data for Automatic Verification of Erlang−Style Concurrency | DOI (10.1007/978-3-642-38856-9_24) | Link to 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. ACM. 2012.
http://mjolnir.cs.ox.ac.uk/soter/papers/soter-demo.pdf
Details about Soter: an Automatic Safety Verifier for Erlang | BibTeX data for Soter: an Automatic Safety Verifier for Erlang | Link to Soter: an Automatic Safety Verifier for Erlang