Rok Strnisa

According to our database, Rok Strnisa authored at least 7 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Lightweight Java.

Rok Strnisa, Matthew J. Parkinson

Arch. Formal Proofs, 2011

2010

Formalising, improving, and reusing the Java module system.

Rok Strnisa

PhD thesis, 2010

2009

Thorn: robust concurrent scripting on the JVM.

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Thorn: robust, concurrent, extensible scripting on the JVM.

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2007

The java module system: core design and semantic definition.

Rok Strnisa, Peter Sewell, Matthew J. Parkinson

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Ott: effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Type-safe distributed programming for OCaml.

John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006