| An analysis of the dynamic behavior of JavaScript programs G Richards, S Lebresne, B Burg, J Vitek Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010 | 575 | 2010 |
| Flexible alias protection J Noble, J Vitek, J Potter European Conference on Object-Oriented Programming, 158-185, 1998 | 466 | 1998 |
| The eval that men do: A large-scale study of the use of eval in JavaScript applications G Richards, C Hammer, B Burg, J Vitek European Conference on Object-Oriented Programming, 52-78, 2011 | 318 | 2011 |
| Stmbench7: a benchmark for software transactional memory R Guerraoui, M Kapalka, J Vitek ACM SIGOPS Operating Systems Review 41 (3), 315-324, 2007 | 309 | 2007 |
| Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998 | 279 | 1998 |
| 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 | 268 | 2017 |
| Redundancy and coverage detection in sensor networks B Cărbunar, A Grama, J Vitek, O Cărbunar ACM Transactions on Sensor Networks (TOSN) 2 (1), 94-128, 2006 | 247 | 2006 |
| Evaluating the design of the R language: Objects and functions for data analysis F Morandat, B Hill, L Osvald, J Vitek European conference on object-oriented programming, 104-131, 2012 | 222 | 2012 |
| Confined types B Bokowski, J Vitek OOPSLA, 1999 | 199* | 1999 |
| Encapsulating objects with confined types C Grothoff, J Palsberg, J Vitek ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 32-es, 2007 | 173* | 2007 |
| The JavaSeal mobile agent kernel C Bryce, J Vitek Autonomous Agents and Multi-Agent Systems 4 (4), 359-384, 2001 | 173* | 2001 |
| Is sound gradual typing dead? A Takikawa, D Feltey, B Greenman, MS New, J Vitek, M Felleisen Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 166 | 2016 |
| Terra: a multi-stage language for high-performance computing Z DeVito, J Hegarty, A Aiken, P Hanrahan, J Vitek Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 166 | 2013 |
| Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers J Vitek Springer Science & Business Media, 1997 | 161 | 1997 |
| Julia: Dynamism and performance reconciled by design J Bezanson, J Chen, B Chung, S Karpinski, VB Shah, J Vitek, L Zoubritzky Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-23, 2018 | 157 | 2018 |
| Repeatability, reproducibility, and rigor in systems research J Vitek, T Kalibera Proceedings of the ninth ACM international conference on Embedded software …, 2011 | 156* | 2011 |
| A Real-time Java virtual machine with applications in avionics A Armbruster, J Baker, A Cunei, C Flack, D Holmes, F Pizlo, E Pla, ... ACM Transactions on Embedded Computing Systems (TECS) 7 (1), 1-49, 2007 | 154* | 2007 |
| Streamflex: high-throughput stream programming in java JH Spring, J Privat, R Guerraoui, J Vitek Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007 | 138 | 2007 |
| Integrating typed and untyped code in a scripting language T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 135 | 2010 |
| Confined types in Java J Vitek, B Bokowski Software: Practice and Experience 31 (6), 507-532, 2001 | 135 | 2001 |
Tomas KaliberaResearch Associate, University of KentVerified email at kent.ac.uk
