Rok Strnisa

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Rok Strnisa, Matthew J. Parkinson
Lightweight Java. Arch. Formal Proofs 2011 (2011)
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa
Ott: Effective tool support for the working semanticist. J. Funct. Program. 20 (1) (2010)
Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA (2009)
Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
Thorn: robust concurrent scripting on the JVM. OOPSLA Companion (2009)
Rok Strnisa, Peter Sewell, Matthew J. Parkinson
The java module system: core design and semantic definition. OOPSLA (2007)
Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa
Ott: effective tool support for the working semanticist. ICFP (2007)
John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa
Type-safe distributed programming for OCaml. ML (2006)