Victor Luchangco

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Saying What You Mean.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Advanced Tools, 2018

2017

Brief Announcement: Extending Transactional Memory with Atomic Deferral.

[BibT_eX]

[DOI]

Tingzhe Zhou

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

Hand-Over-Hand Transactions with Precise Memory Reclamation.

[BibT_eX]

[DOI]

Tingzhe Zhou

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

Extending Transactional Memory with Atomic Deferral.

[BibT_eX]

[DOI]

Tingzhe Zhou

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

2016

Investigating the Performance of Hardware Transactions on a Multi-Socket Machine.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

2014

Foreword: Parallelism in Algorithms and Architectures.

[BibT_eX]

[DOI]

Geppino Pucci

Rajmohan Rajaraman

Theory Comput. Syst., 2014

Towards Transactional Memory for OpenMP.

[BibT_eX]

[DOI]

Bronis R. de Supinski

Barna L. Bihari

Proceedings of the Using and Improving OpenMP for Devices, Tasks, and More, 2014

2013

Towards formally specifying and verifying transactional memory.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

Using hardware transactional memory to correct and simplify and readers-writer lock algorithm.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

NUMA-aware reader-writer locks.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Mindicators: A Scalable Approach to Quiescence.

[BibT_eX]

[DOI]

Yujie Liu

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

Constrained Data-Driven Parallelism.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism, 2013

Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

A Framework for Formally Verifying Software Transactional Memory Algorithms.

[BibT_eX]

[DOI]

Mohsen Lesani

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Fortress (Sun HPCS Language).

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Transaction communicators: enabling cooperation among concurrent transactions.

[BibT_eX]

[DOI]

Virendra J. Marathe

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Transactional memory, linking theory and practice.

[BibT_eX]

[DOI]

Srivatsan Ravi

Vincent Gramoli

SIGACT News, 2010

Integrating coercion with subtyping and multiple dispatch.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2010

You are not alone: breaking transaction isolation.

[BibT_eX]

[DOI]

Virendra J. Marathe

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

2009

Nonblocking <i>k</i> -Compare-Single-Swap.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2009

Scalable reader-writer locks.

[BibT_eX]

[DOI]

Yossi Lev

Marek Olszewski

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

2008

Distributed computing and the multicore revolution.

[BibT_eX]

[DOI]

SIGACT News, 2008

Against lock-based semantics for transactional memory.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers.

[BibT_eX]

[DOI]

Andrew Lutomirski

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2007

A Lazy Concurrent List-Based Set Algorithm.

[BibT_eX]

[DOI]

William N. Scherer III

Parallel Process. Lett., 2007

A Simple Optimistic Skiplist Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Structural Information and Communication Complexity, 2007

Modular multiple dispatch with multiple inheritance.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

SNZI: scalable NonZero indicators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

A flexible framework for implementing software transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A Hierarchical CLH Queue Lock.

[BibT_eX]

[DOI]

Daniel Nussbaum

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

Formal Verification of a Lazy Concurrent List-Based Set Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Hybrid transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2005

Nonblocking memory management support for dynamic-sized data structures.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2005

Obstruction-Free Step Complexity: Lock-Free DCAS as an Example.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Obstruction-Free Algorithms Can Be Practically Wait-Free.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

2004

DCAS is not a silver bullet for nonblocking algorithm design.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2004

Bringing practical lock-free synchronization to 64-bit applications.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Object-oriented units of measurement.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Formal Verification of a Practical Lock-Free Queue Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Space and Time Adaptive Non-blocking Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

On the Uncontended Complexity of Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 17th International Conference, 2003

Nonblocking k-compare-single-swap.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003

Software transactional memory for dynamic-sized data structures.

[BibT_eX]

[DOI]

William N. Scherer III

Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, 2003

Obstruction-Free Synchronization: Double-Ended Queues as an Example.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

2002

The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 16th International Conference, 2002

Dynamic-sized lock-free data structures.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

2001

Modeling weakly consistent memories with locks.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001

2000

On Formal Modeling of Agent Computations.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

1999

Eventually-Serializable Data Services.

[BibT_eX]

[DOI]

Alexander A. Shvartsman

Theor. Comput. Sci., 1999

1998

Computation-Centric Memory Models.

[BibT_eX]

[DOI]

Matteo Frigo

Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998

1997

Precedence-Based Memory Models.

[BibT_eX]

[DOI]