Yannis Smaragdakis

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
Stream fusion, to completeness Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages	2017-10-20	Paper
Pick your contexts well, understanding object-sensitivity Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Adaptive locks: combining transactions and locks for efficient concurrency Journal of Parallel and Distributed Computing	2012-03-07	Paper
Statically safe program generation with SafeGen Science of Computer Programming	2011-05-04	Paper
Functional programming with the FC++ library Journal of Functional Programming	2005-09-27	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 2089384 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2087580 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2087859 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2000458 (Why is no real title available?)	2003-11-03	Paper
scientific article; zbMATH DE number 1955925 (Why is no real title available?)	2003-07-29	Paper
FC++: Functional tools for object-oriented tasks Software: Practice and Experience	2003-02-04	Paper

Research outcomes over time

This page was built for person: Yannis Smaragdakis