Patryk Czarnik

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 1

Top Topics

Intermediate Representation

Garbage Collection

Top Venues

Publications

Patryk Czarnik, Jacek Chrzaszcz, Aleksy Schubert
A Java Bytecode Formalisation. VSTTE (2018)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert, Andrzej Tarlecki
Testing of Evolving Protocols. ICST (2012)
Jacek Chrzaszcz, Patryk Czarnik, Aleksy Schubert
A Dozen Instructions Make Java Bytecode. Electron. Notes Theor. Comput. Sci. 264 (4) (2011)
Patryk Czarnik, Aleksy Schubert
Extending Operational Semantics of the Java Bytecode. TGC (2007)