Victor Luchangco

According to our database, Victor Luchangco authored at least 57 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

BQ: A Lock-Free Queue with Batching.

Gal Milman-Sela, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank

ACM Trans. Parallel Comput., 2022

Theory Meets Practice in the Algorand Blockchain (Invited Talk).

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.

Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu

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

2018

Saying What You Mean.

Victor Luchangco

Proceedings of the 2018 Workshop on Advanced Tools, 2018

2017

Brief Announcement: Extending Transactional Memory with Atomic Deferral.

Tingzhe Zhou, Victor Luchangco, Michael F. Spear

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

Hand-Over-Hand Transactions with Precise Memory Reclamation.

Tingzhe Zhou, Victor Luchangco, Michael F. Spear

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

Extending Transactional Memory with Atomic Deferral.

Tingzhe Zhou, Victor Luchangco, Michael F. Spear

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

2016

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

Trevor Brown, Alex Kogan, Yossi Lev, Victor Luchangco

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

2014

Foreword: Parallelism in Algorithms and Architectures.

Geppino Pucci, Victor Luchangco, Rajmohan Rajaraman

Theory Comput. Syst., 2014

Towards Transactional Memory for OpenMP.

Michael Wong, Eduard Ayguadé, Justin Gottschlich, Victor Luchangco, 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.

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

Formal Aspects Comput., 2013

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

Dave Dice, Yossi Lev, Yujie Liu, Victor Luchangco, Mark Moir

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

NUMA-aware reader-writer locks.

Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit

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

Mindicators: A Scalable Approach to Quiescence.

Yujie Liu, Victor Luchangco, Michael F. Spear

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

Constrained Data-Driven Parallelism.

Tim Harris, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Mark Moir

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

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

Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.

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

2012

A Framework for Formally Verifying Software Transactional Memory Algorithms.

Mohsen Lesani, Victor Luchangco, Mark Moir

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

2011

Fortress (Sun HPCS Language).

Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu

Proceedings of the Encyclopedia of Parallel Computing, 2011

Transaction communicators: enabling cooperation among concurrent transactions.

Victor Luchangco, 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.

Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.

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

2010

Transactional memory, linking theory and practice.

Srivatsan Ravi, Vincent Gramoli, Victor Luchangco

SIGACT News, 2010

Integrating coercion with subtyping and multiple dispatch.

J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

Sci. Comput. Program., 2010

You are not alone: breaking transaction isolation.

Victor Luchangco, Virendra J. Marathe

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

2009

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

Victor Luchangco, Mark Moir, Nir Shavit

Theory Comput. Syst., 2009

Scalable reader-writer locks.

Yossi Lev, Victor Luchangco, 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.

Maurice Herlihy, Victor Luchangco

SIGACT News, 2008

Against lock-based semantics for transactional memory.

Victor Luchangco

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.

Andrew Lutomirski, Victor Luchangco

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

2007

A Lazy Concurrent List-Based Set Algorithm.

Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit

Parallel Process. Lett., 2007

A Simple Optimistic Skiplist Algorithm.

Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit

Proceedings of the Structural Information and Communication Complexity, 2007

Modular multiple dispatch with multiple inheritance.

Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.

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

SNZI: scalable NonZero indicators.

Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir

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

2006

A flexible framework for implementing software transactional memory.

Maurice Herlihy, Victor Luchangco, Mark Moir

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

A Hierarchical CLH Queue Lock.

Victor Luchangco, Daniel Nussbaum, Nir Shavit

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.

Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir

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

Hybrid transactional memory.

Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum

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.

Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir

ACM Trans. Comput. Syst., 2005

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

Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit

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

Obstruction-Free Algorithms Can Be Practically Wait-Free.

Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit

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

2004

DCAS is not a silver bullet for nonblocking algorithm design.

Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.

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.

Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir

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

Object-oriented units of measurement.

Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.

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

Formal Verification of a Practical Lock-Free Queue Algorithm.

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir

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

2003

Space and Time Adaptive Non-blocking Algorithms.

Maurice Herlihy, Victor Luchangco, Mark Moir

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

On the Uncontended Complexity of Consensus.

Victor Luchangco, Mark Moir, Nir Shavit

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

Nonblocking k-compare-single-swap.

Victor Luchangco, Mark Moir, Nir Shavit

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.

Maurice Herlihy, Victor Luchangco, Mark Moir, 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.

Maurice Herlihy, Victor Luchangco, Mark Moir

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.

Maurice Herlihy, Victor Luchangco, Mark Moir

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

Dynamic-sized lock-free data structures.

Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir

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

2001

Modeling weakly consistent memories with locks.

Victor Luchangco

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

2000

On Formal Modeling of Agent Computations.

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano

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

1999

Eventually-Serializable Data Services.

Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman

Theor. Comput. Sci., 1999

1998

Computation-Centric Memory Models.

Matteo Frigo, Victor Luchangco

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

1997

Precedence-Based Memory Models.

Victor Luchangco

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996

Computer-Assisted Verification of an Algorithm for Concurrent Timestamps.

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch

Proceedings of the Formal Description Techniques IX: Theory, 1996

1994

Verifying timing properties of concurrent algorithms.

Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch

Proceedings of the Formal Description Techniques VII, 1994