Travelled to:1 × Canada
1 × Germany
1 × USA
Collaborated with:P.Sewell M.J.Parkinson F.Z.Nardelli S.Owens G.Peskine T.Ridge S.Sarkar B.Bloom J.Field N.Nystrom J.Östlund G.Richards J.Vitek T.Wrigstad
Talks about:semanticist (1) support (1) definit (1) concurr (1) system (1) semant (1) script (1) robust (1) extens (1) effect (1)
Person: Rok Strnisa
DBLP: Strnisa:Rok
Contributed to:
2009
20072007Wrote 3 papers:
- OOPSLA-2009-BloomFNORSVW #concurrent #named #robust #virtual machine
- Thorn: robust, concurrent, extensible scripting on the JVM (BB, JF, NN, JÖ, GR, RS, JV, TW), pp. 117–136.
- ICFP-2007-SewellNOPRSS #effectiveness #named #semantics #tool support
- Ott: effective tool support for the working semanticist (PS, FZN, SO, GP, TR, SS, RS), pp. 1–12.
- OOPSLA-2007-StrniaaSP #design #java #semantics
- The java module system: core design and semantic definition (RS, PS, MJP), pp. 499–514.