Victor Luchangco

Available identifiers

zbMath Open luchangco.victorMaRDI QIDQ470038

List of research outcomes

Publication	Date of Publication	Type
Towards formally specifying and verifying transactional memory	2014-11-11	Paper
SNZI, scalable nonzero indicators	2014-03-13	Paper
Space- and time-adaptive nonblocking algorithms	2013-08-27	Paper
A framework for formally verifying software transactional memory algorithms	2012-09-25	Paper
Integrating coercion with subtyping and multiple dispatch	2010-08-18	Paper
On the uncontended complexity of consensus	2010-02-23	Paper
Nonblocking \(k\)-compare-single-swap	2009-08-06	Paper
A Simple Optimistic Skiplist Algorithm	2007-11-15	Paper
Distributed Computing	2006-11-01	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4437136	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4536749	2002-07-15	Paper
Eventually-serializable data services	1999-06-21	Paper

Research outcomes over time

This page was built for person: Victor Luchangco