Petr Maj
Petr Maj
E-mail confirmado em fit.cvut.cz - Página inicial
Título
Citado por
Citado por
Ano
Schism: fragmentation-tolerant real-time garbage collection
F Pizlo, L Ziarek, P Maj, AL Hosking, E Blanton, J Vitek
ACM Sigplan Notices 45 (6), 146-159, 2010
1162010
DéjàVu: a map of code duplicates on GitHub
CV Lopes, P Maj, P Martins, V Saini, D Yang, J Zitny, H Sajnani, J Vitek
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
1102017
A family of real‐time Java benchmarks
T Kalibera, J Hagelberg, P Maj, F Pizlo, B Titzer, J Vitek
Concurrency and Computation: Practice and Experience 23 (14), 1679-1700, 2011
1102011
High-level programming of embedded hard real-time devices
F Pizlo, L Ziarek, E Blanton, P Maj, J Vitek
Proceedings of the 5th European conference on Computer systems, 69-82, 2010
822010
A fast abstract syntax tree interpreter for R
T Kalibera, P Maj, F Morandat, J Vitek
ACM SIGPLAN Notices 49 (7), 89-102, 2014
422014
On the impact of programming languages on code quality: a reproduction study
ED Berger, C Hollenbeck, P Maj, O Vitek, J Vitek
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (4), 1-24, 2019
302019
TestR: R language test driven specification
P Maj, T Kalibera, J Vitek
The R User Conference, useR! 2013 July 10-12 2013 University of Castilla-La …, 2013
32013
CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact)
P Maj, K Siek¹, A Kovalenko, J Vitek
Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021
2021
CodeDJ: Reproducible Queries over Large-Scale Software Repositories
P Maj, K Siek, A Kovalenko, J Vitek
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021
2021
FSE/CACM Rebuttal: Correcting A Large-Scale Study of Programming Languages and Code Quality in GitHub
ED Berger, P Maj, O Vitek, J Vitek
arXiv preprint arXiv:1911.11894, 2019
2019
Lambdulus: teaching lambda calculus practically
J Sliacky, P Maj
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 57-65, 2019
2019
Systém ověření pravosti Originality Checking System
P Máj
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–12