Stephen N. Freund

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
Atomizer: a dynamic atomicity checker for multithreaded programs Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-11-11	Paper
SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs Programming Languages and Systems	2009-03-31	Paper
Atomizer: A dynamic atomicity checker for multithreaded programs Science of Computer Programming	2008-05-19	Paper
Type inference against races Science of Computer Programming	2007-01-22	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
Modular verification of multithreaded programs Theoretical Computer Science	2005-06-30	Paper
scientific article; zbMATH DE number 2087551 (Why is no real title available?)	2004-08-11	Paper
A type system for the Java bytecode language and verifier Journal of Automated Reasoning	2003-09-09	Paper
scientific article; zbMATH DE number 1956458 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1231622 (Why is no real title available?)	1999-01-06	Paper

Research outcomes over time

This page was built for person: Stephen N. Freund