☰

Jan Vitek

Affiliations: 
Purdue University, West Lafayette, IN, United States 
Area:
Computer Science
Google:
"Jan Vitek"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Krzysztof Palacz grad student 2004 Purdue
Jacques D. Thomas grad student 2011 Purdue
Gregor K. Richards grad student 2014 Purdue
Michael A Richmond post-doc 2002-2003 Purdue

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Goel A, Vitek J. (2019) On the design, implementation, and use of laziness in R Arxiv: Programming Languages. 3: 1-27
Berger ED, Hollenbeck C, Maj P, et al. (2019) On the Impact of Programming Languages on Code Quality: A Reproduction Study Acm Transactions On Programming Languages and Systems. 41: 1-24
Yan Y, Gokul G, Dantu K, et al. (2019) Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness Acm Transactions in Embedded Computing Systems. 17: 1-26
Zakowski Y, Cachera D, Demange D, et al. (2019) Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology Journal of Automated Reasoning. 63: 489-515
Petri G, Vitek J, Jagannathan S. (2015) Cooking the books: Formalizing JMM implementation recipes Leibniz International Proceedings in Informatics, Lipics. 37: 445-469
Krishnamurthi S, Vitek J. (2015) Viewpoint: The real software crisis: Repeatability Communications of the Acm. 58: 34-36
Meawad F, Iyer K, Schoeberl M, et al. (2013) Micro-transactions for concurrent data structures Concurrency Computation Practice and Experience. 25: 2252-2268
Dolby J, Hammer C, Marino D, et al. (2012) A data-centric approach to synchronization Acm Transactions On Programming Languages and Systems. 34
Vitek J. (2011) Session details: Real-time computing Sigplan Notices. 46
Kalibera T, Pizlo F, Hosking AL, et al. (2011) Scheduling real-time garbage collection on uniprocessors Acm Transactions On Computer Systems. 29
See more...