Petr Maj

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 7

Top Topics

Lambda Calculus

Programming Language

Defect Prediction

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek
CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek
CodeDJ: Reproducible Queries over Large-Scale Software Repositories. ECOOP (2021)
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
On the Impact of Programming Languages on Code Quality. CoRR (2019)
Jan Sliacky, Petr Maj
Lambdulus: teaching lambda calculus practically. SPLASH-E (2019)
Emery D. Berger, Petr Maj, Olga Vitek, Jan Vitek
: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub. CoRR (2019)
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
On the Impact of Programming Languages on Code Quality: A Reproduction Study. ACM Trans. Program. Lang. Syst. 41 (4) (2019)
Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
DéjàVu: a map of code duplicates on GitHub. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek
A fast abstract syntax tree interpreter for R. VEE (2014)
Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben L. Titzer, Jan Vitek
A family of real-time Java benchmarks. Concurr. Comput. Pract. Exp. 23 (14) (2011)
Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek
High-level programming of embedded hard real-time devices. EuroSys (2010)
Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek
Schism: fragmentation-tolerant real-time garbage collection. PLDI (2010)