Rok Strniša, Ph.D.

Rok Strniša Rok Strniša's profile on LinkedIn GitHub

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.


Research

My research interests are (not limited to): programming languages, development frameworks, computer-aided verification, and virtualisation.

Overview

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

Publications

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.


Valid XHTML 1.1 Valid CSS