Victor Luchangco

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
Towards formally specifying and verifying transactional memory Formal Aspects of Computing	2014-11-11	Paper
SNZI, scalable nonzero indicators Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing	2014-03-13	Paper
Space- and time-adaptive nonblocking algorithms	2013-08-27	Paper
A framework for formally verifying software transactional memory algorithms Lecture Notes in Computer Science	2012-09-25	Paper
Integrating coercion with subtyping and multiple dispatch Science of Computer Programming	2010-08-18	Paper
On the uncontended complexity of consensus Lecture Notes in Computer Science	2010-02-23	Paper
Nonblocking \(k\)-compare-single-swap Theory of Computing Systems	2009-08-06	Paper
A Simple Optimistic Skiplist Algorithm Structural Information and Communication Complexity	2007-11-15	Paper
Distributed Computing Lecture Notes in Computer Science	2006-11-01	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
scientific article; zbMATH DE number 2013841 (Why is no real title available?)	2003-12-07	Paper
scientific article; zbMATH DE number 1759734 (Why is no real title available?)	2002-07-15	Paper
Eventually-serializable data services Theoretical Computer Science	1999-06-21	Paper

Research outcomes over time

This page was built for person: Victor Luchangco