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.
I have submitted the final
version of my thesis, and am planning to graduate on July 17, 2010.
| Project Name | A Short Description | Release Date | Last Update |
|---|---|---|---|
| Thorn | a Java-like, general purpose PL for rapid development of distributed systems | N/A | N/A |
| 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 |
Ott: Effective Tool Support for the Working Semanticist
[pdf]
[bib]
[doi]
[www]
Authors:
Peter
Sewell, Francesco Zappa
Nardelli, Scott
Owens, Gilles
Peskine, Thomas
Ridge, Susmit Sarkar, and Rok
Strniša.
In
the Journal
of Functional Programming, Volume 20.
Thorn—Robust, Concurrent, Extensible Scripting on the JVM
[pdf]
[bib]
[doi]
[www]
Authors: Purdue University
(Tobias
Wrigstad, Johan
Östlund, Gregor
Richards, Jan
Vitek), IBM Research
(Bard
Bloom, John
Field, Nathaniel
Nystrom), and University of
Cambridge (Rok Strniša).
© ACM,
2009. In OOPSLA 2009,
Orlando, USA.
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 |
| Office: | FE22 |
|
|