I am a third 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 have completed the
Isabelle/HOL proof of iJAM's progress and well-formedness preservation ---
see iJAM's page for details.
| Project Name | A Short Description | Release Date | Last Update |
|---|---|---|---|
| iJAM | an extension of LJAM that gives a more expressive & intuitive semantics | August 2007 | 14th October 2008 |
| LJAM | a core design and semantic definition of the Java Module System | March 2007 | 14th October 2008 |
| LJ | a fully-formalized and extensible minimal imperative fragment of Java | November 2006 | 13th October 2008 |
| Ott | a tool for writing definitions of programming languages and calculi | September 2006 | 15th February 2008 |
| HashCaml | an OCaml extension with support for type-safe marshalling | April 2006 | 27th April 2006 |
Fixing the Java Module System, in Theory and in Practice
[pdf]
[bib]
[www]
Author: Rok
Strniša.
In FTfJP
2008 (ECOOP 2008), Paphos,
Cyprus.
The Java Module System: Core Design and Semantic Definition
[pdf]
[ps]
[bib]
[doi]
[www]
Authors: Rok Strniša, Peter Sewell,
and Matthew Parkinson.
© ACM,
2007. In
OOPSLA 2007,
Montréal, Canada.
Ott: Effective Tool Support for the Working Semanticist
[pdf]
[ps]
[bib]
[doi]
[www]
Authors:
Peter
Sewell, Francesco Zappa
Nardelli, Scott
Owens, Gilles
Peskine, Thomas
Ridge, Susmit Sarkar, and Rok
Strniša.
© ACM,
2007. In ICFP
2007, Freiburg, Germany.
Type-Safe Distributed Programming for OCaml
[pdf]
[ps]
[bib]
[doi]
[www]
Authors: John
Billings, Peter
Sewell, Mark Shinwell,
and Rok Strniša.
© ACM,
2006. In 2006 ACM SIGPLAN
Workshop on ML (ICFP
2006), Portland, Oregon, USA.
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 |
|
|