Research

My Ph.D. thesis is on Formalising, improving, and reusing the Java Module System.

Projects

  • HashCaml: An OCaml extension with support for type-safe marshalling.
  • Ott: A tool for writing definitions of programming languages and calculi.
  • Lightweight Java: A fully-formalized and extensible minimal imperative fragment of Java.
  • Thorn: A Java-like, general purpose PL for rapid development of distributed systems.

See also my non-research projects.

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]
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.