|
|
|
I finished my Ph.D. in the Programming, Logic, and Semantics Group at the Computer Laboratory, University of Cambridge. My supervisors were Peter Sewell and Matthew Parkinson. Currently, I am working at Improbable.
My research interests are (not limited to): programming languages, development frameworks, computer-aided verification, and virtualisation.
| Project | A Short Description | Release | Last Update |
|---|---|---|---|
| Ph.D. Thesis | Formalising, improving, and reusing the Java Module System | May 2010 | May 2010 |
| 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 | 1th March 2011 |
| 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.
|