J. Sevcík
发表
David Aspinall,
Jaroslav Sevcík,
D. Aspinall,
2007,
TPHOLs.
J. Sevcík,
2011,
PLDI.
Suresh Jagannathan,
Viktor Vafeiadis,
Francesco Zappa Nardelli,
2013,
JACM.
J. Sevcík,
H. Bučková,
M. Tichý,
2023,
Dermatology and Therapy.
Suresh Jagannathan,
Viktor Vafeiadis,
Francesco Zappa Nardelli,
2011,
POPL '11.
J. Sevcík,
J. Štork,
M. Tichý,
2021,
Dermatology and Therapy.
Jaroslav Sevcík,
J. Sevcík,
2009
.
David Aspinall,
Jaroslav Sevcík,
J. Sevcík,
2008,
ECOOP.
Jaroslav Sevcík,
J. Sevcík,
2007,
Bytecode@ETAPS.
Toon Verwaest,
Ross McIlroy,
Ben L. Titzer,
2019,
ArXiv.