High-level programming of embedded hard real-time devices. - Filip Pizlo; Lukasz Ziarek; Ethan Blanton; Petr Maj; Jan Vitek (EuroSys, 2010)

Schism: fragmentation-tolerant real-time garbage collection. - Filip Pizlo; Lukasz Ziarek; Petr Maj; Antony L. Hosking; Ethan Blanton; Jan Vitek (PLDI, 2010)

A family of real-time Java benchmarks. - Tomas Kalibera; Jeff Hagelberg; Petr Maj; Filip Pizlo; Ben L. Titzer; Jan Vitek (Concurr. Comput. Pract. Exp., 2011)

A fast abstract syntax tree interpreter for R. - Tomas Kalibera; Petr Maj; Floréal Morandat; Jan Vitek (VEE, 2014)

DéjàVu: a map of code duplicates on GitHub. - Cristina V. Lopes; Petr Maj; Pedro Martins 001; Vaibhav Saini; Di Yang 001; Jakub Zitny; Hitesh Sajnani; Jan Vitek (Proc. ACM Program. Lang., 2017)

Lambdulus: teaching lambda calculus practically. - Jan Sliacky; Petr Maj (SPLASH-E, 2019)

On the Impact of Programming Languages on Code Quality. - Emery D. Berger; Celeste Hollenbeck; Petr Maj; Olga Vitek; Jan Vitek (CoRR, 2019)

FSE/CACM Rebuttal2: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub. - Emery D. Berger; Petr Maj; Olga Vitek; Jan Vitek (CoRR, 2019)

On the Impact of Programming Languages on Code Quality: A Reproduction Study. - Emery D. Berger; Celeste Hollenbeck; Petr Maj; Olga Vitek; Jan Vitek (ACM Trans. Program. Lang. Syst., 2019)

CodeDJ: Reproducible Queries over Large-Scale Software Repositories. - Petr Maj; Konrad Siek; Alexander Kovalenko; Jan Vitek (ECOOP, 2021)

CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). - Petr Maj; Konrad Siek; Alexander Kovalenko; Jan Vitek (Dagstuhl Artifacts Ser., 2021)

The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments. - Petr Maj; Stefanie Muroya; Konrad Siek; Luca Di Grazia; Jan Vitek (ECOOP, 2024)