Jan Vitek

MaRDI QIDQ995819zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Why We Eval in the Shadows (Dataset)	2021-09-07	Dataset
How to evaluate the performance of gradual type systems Journal of Functional Programming	2019-11-22	Paper
Correctness of a concurrent object collector for actor languages	2019-09-13	Paper
Verifying a concurrent garbage collector with a rely-guarantee methodology Journal of Automated Reasoning	2019-08-21	Paper
Verifying a concurrent garbage collector using a rely-guarantee methodology	2018-01-04	Paper
Integrating typed and untyped code in a scripting language Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Plan B, a buffered memory model for Java Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-09-28	Paper
Scoped types and aspects for real-time Java memory management Real-Time Systems	2007-09-10	Paper
Type-based confinement Journal of Functional Programming	2006-01-13	Paper
Coordination Models and Languages Lecture Notes in Computer Science	2006-01-10	Paper
Model-Based Assignment and Inference of Protein Backbone Nuclear Magnetic Resonances Statistical Applications in Genetics and Molecular Biology	2005-10-28	Paper
The seal calculus Information and Computation	2005-09-22	Paper
A transactional object calculus Science of Computer Programming	2005-08-03	Paper
Coordination and mobility in CoreLime Mathematical Structures in Computer Science	2004-09-24	Paper
scientific article; zbMATH DE number 2084805 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1955913 (Why is no real title available?)	2003-07-29	Paper
Coordinating processes with secure spaces Science of Computer Programming	2003-05-14	Paper
Confined types in Java Software: Practice and Experience	2003-02-04	Paper
Static analysis of PostScript code Computer Languages	1993-11-15	Paper

Research outcomes over time

This page was built for person: Jan Vitek