I am a second year Ph.D. student working in the Theory and Semantics Group at the Computer Laboratory, University of Cambridge. My supervisors are Peter Sewell and Matthew Parkinson.
My interests are (not limited to): module systems, versioning, computer-aided verification, compiler optimisation, transactions.
I am currently working on a formalization of the Java Module System called LJAM.
I was part of a small team working on type-safe (un)marshalling for Objective Caml, and we came up with HashCaml, of which alpha release is publically available. The original team consisted of John Billings, Peter Sewell, Mark Shinwell, and myself.
Ott: Effective Tool Support for the Working Semanticist
[pdf]
[ps]
[bib]
[www]
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine,
Thomas Ridge, Susmit Sarkar, and Rok Strniša.
© ACM, 2007. To appear
in ICFP'07.
The Java Module System: Core Design and Semantic Definition
[pdf]
[ps]
[bib]
[www]
Rok Strniša, Peter Sewell, and
Matthew Parkinson.
© ACM, 2007. To appear in
OOPSLA'07.
Type-Safe Distributed Programming for OCaml
[pdf]
[ps]
[bib]
[doi]
[www]
John
Billings, Peter Sewell, Mark Shinwell, and Rok Strniša.
© ACM, 2006. In 2006
ACM SIGPLAN Workshop on ML.
My supervision guidelines for supervisees.
| Address: | University of Cambridge Computer Laboratory William Gates Building 15 JJ Thomson Avenue Cambridge CB3 0FD, UK |
| Email: | Rok.Strnisa (at) cl.cam.ac.uk |
| Phone: | +44 (0) 1223 763594 |
| Office: | FE22 |
|
|