I am a 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.
LJ's, LJAM's, and iJAM's
definitions and proofs are now compatible with Ott 0.10.16 and Isabelle/HOL
2008.
| Project Name | A Short Description | Release Date | Last Update |
|---|---|---|---|
| iJAM | an extension of LJAM that gives a more expressive & intuitive semantics | August 2007 | 10th March 2009 |
| LJAM | a core design and semantic definition of the Java Module System | March 2007 | 10th March 2009 |
| LJ | a fully-formalized and extensible minimal imperative fragment of Java | November 2006 | 10th March 2009 |
| 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 |
|
|