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 | 112 | 2010 |
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 | 109 | 2011 |
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 | 92 | 2017 |
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 | 79 | 2010 |
A fast abstract syntax tree interpreter for R T Kalibera, P Maj, F Morandat, J Vitek ACM SIGPLAN Notices 49 (7), 89-102, 2014 | 41 | 2014 |
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 | 10 | 2019 |
On the impact of programming languages on code quality ED Berger, C Hollenbeck, P Maj, O Vitek, J Vitek arXiv preprint arXiv:1901.10220, 2019 | 9 | 2019 |
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 | 3 | 2013 |
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 | | |