Year |
Citation |
Score |
2019 |
Goel A, Vitek J. On the design, implementation, and use of laziness in R Arxiv: Programming Languages. 3: 1-27. DOI: 10.1145/3360579 |
0.354 |
|
2019 |
Berger ED, Hollenbeck C, Maj P, Vitek O, Vitek J. On the Impact of Programming Languages on Code Quality: A Reproduction Study Acm Transactions On Programming Languages and Systems. 41: 1-24. DOI: 10.1145/3340571 |
0.336 |
|
2019 |
Yan Y, Gokul G, Dantu K, Ko SY, Ziarek L, Vitek J. Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness Acm Transactions in Embedded Computing Systems. 17: 1-26. DOI: 10.1145/3289257 |
0.378 |
|
2019 |
Zakowski Y, Cachera D, Demange D, Petri G, Pichardie D, Jagannathan S, Vitek J. Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology Journal of Automated Reasoning. 63: 489-515. DOI: 10.1007/S10817-018-9489-X |
0.396 |
|
2015 |
Petri G, Vitek J, Jagannathan S. Cooking the books: Formalizing JMM implementation recipes Leibniz International Proceedings in Informatics, Lipics. 37: 445-469. DOI: 10.4230/LIPIcs.ECOOP.2015.445 |
0.304 |
|
2015 |
Krishnamurthi S, Vitek J. Viewpoint: The real software crisis: Repeatability Communications of the Acm. 58: 34-36. DOI: 10.1145/2658987 |
0.33 |
|
2013 |
Meawad F, Iyer K, Schoeberl M, Vitek J. Micro-transactions for concurrent data structures Concurrency Computation Practice and Experience. 25: 2252-2268. DOI: 10.1002/Cpe.2985 |
0.377 |
|
2012 |
Dolby J, Hammer C, Marino D, Tip F, Vaziri M, Vitek J. A data-centric approach to synchronization Acm Transactions On Programming Languages and Systems. 34. DOI: 10.1145/2160910.2160913 |
0.358 |
|
2011 |
Vitek J. Session details: Real-time computing Sigplan Notices. 46. DOI: 10.1145/3262907 |
0.311 |
|
2011 |
Kalibera T, Pizlo F, Hosking AL, Vitek J. Scheduling real-time garbage collection on uniprocessors Acm Transactions On Computer Systems. 29. DOI: 10.1145/2003690.2003692 |
0.404 |
|
2011 |
Kalibera T, Hagelberg J, Maj P, Pizlo F, Titzer B, Vitek J. A family of real-time Java benchmarks Concurrency Computation Practice and Experience. 23: 1679-1700. DOI: 10.1002/Cpe.1677 |
0.362 |
|
2010 |
Kalibera T, Parizek P, Haddad G, Leavens GT, Vitek J. Challenge benchmarks for verification of real-time programs: (abstract only) Sigplan Notices. 44: 7-8. DOI: 10.1145/1816027.1816037 |
0.373 |
|
2008 |
Zhao T, Baker J, Hunt JJ, Noble J, Vitek J. Implicit ownership types for memory management Science of Computer Programming. 71: 213-241. DOI: 10.1016/J.Scico.2008.04.001 |
0.371 |
|
2008 |
Cunei A, Vitek J. An efficient and flexible toolkit for composing customized method dispatchers Software - Practice and Experience. 38: 33-73. DOI: 10.1002/Spe.V38:1 |
0.383 |
|
2007 |
Vitek J. Session details: Embedded Java Sigplan Notices. 42. DOI: 10.1145/3263117 |
0.346 |
|
2007 |
Armbruster A, Baker J, Cunei A, Flack C, Holmes D, Pizlo F, Pla E, Prochazka M, Vitek J. A real-time Java virtual machine with applications in avionics Acm Transactions in Embedded Computing Systems. 7: 5. DOI: 10.1145/1324969.1324974 |
0.374 |
|
2007 |
Grothoff C, Palsberg J, Vitek J. Encapsulating objects with confined types Acm Transactions On Programming Languages and Systems. 29. DOI: 10.1145/1286821.1286823 |
0.358 |
|
2007 |
Andreae C, Coady Y, Gibbs C, Noble J, Vitek J, Zhao T. Scoped types and aspects for real-time Java memory management Real-Time Systems. 37: 1-44. DOI: 10.1007/S11241-007-9024-3 |
0.4 |
|
2006 |
Zhao T, Palsberg J, Vitek J. Type-based confinement Journal of Functional Programming. 16: 83-128. DOI: 10.1017/S0956796805005691 |
0.345 |
|
2006 |
Cunei A, Vitek J. A new approach to real-time checkpointing Vee 2006 - Proceedings of the Second International Conference On Virtual Execution Environments. 2006: 68-77. |
0.312 |
|
2005 |
Moir M, Shavit N, Vitek J. Editorial: concurrency and synchronization in Java programs Science of Computer Programming. 58: 291-292. DOI: 10.1016/J.Scico.2005.05.001 |
0.355 |
|
2005 |
Jagannathan S, Vitek J, Welc A, Hosking A. A transactional object calculus Science of Computer Programming. 57: 164-186. DOI: 10.1016/J.Scico.2005.03.001 |
0.365 |
|
2005 |
Palacz K, Baker J, Flack C, Grothoff C, Yamauchi H, Vitek J. Engineering a common intermediate representation for the Ovm framework Science of Computer Programming. 57: 357-378. DOI: 10.1016/J.Scico.2004.08.007 |
0.663 |
|
2005 |
Castagna G, Vitek J, Nardelli FZ. The Seal Calculus Information & Computation. 201: 1-54. DOI: 10.1016/J.Ic.2004.11.005 |
0.33 |
|
2004 |
Carbunar B, Valente MT, Vitek J. Coordination and mobility in CoreLime Mathematical Structures in Computer Science. 14: 397-419. DOI: 10.1017/S0960129504004177 |
0.376 |
|
2003 |
Sewell P, Vitek J. Secure composition of untrusted code: Box π, wrappers, and causality types Journal of Computer Security. 11: 135-187. DOI: 10.3233/Jcs-2003-11202 |
0.355 |
|
2003 |
Vitek J, Bryce C, Oriol M. Coordinating processes with secure spaces Science of Computer Programming. 46: 163-193. DOI: 10.1016/S0167-6423(02)00090-4 |
0.318 |
|
2003 |
Palacz K, Vitek J. Java subtype tests in real-time Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2743: 378-404. |
0.665 |
|
2001 |
Bryce C, Vitek J. The JavaSeal Mobile Agent Kernel Autonomous Agents and Multi-Agent Systems. 4: 359-384. DOI: 10.1023/A:1012715226170 |
0.329 |
|
2001 |
Carbunar B, Valente MT, Vitek J. CoreLime: A coordination model for mobile agents Electronic Notes in Theoretical Computer Science. 54: 17-34. DOI: 10.1016/S1571-0661(04)00232-4 |
0.348 |
|
2001 |
Vitek J, Bokowski B. Confined types in Java Software - Practice and Experience. 31: 507-532. DOI: 10.1002/Spe.369 |
0.372 |
|
1999 |
Vitek J, Castagna G. Seal: A framework for secure mobile computations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1686: 47-77. DOI: 10.1007/3-540-47959-7_3 |
0.307 |
|
Show low-probability matches. |