Victor Luchangco

Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit: NUMA-aware reader-writer locks. PPOPP 2013: 157-166

Dave Dice, Yossi Lev, Yujie Liu, Victor Luchangco, Mark Moir: Using hardware transactional memory to correct and simplify and readers-writer lock algorithm. PPOPP 2013: 261-270

Mohsen Lesani, Victor Luchangco, Mark Moir: A Framework for Formally Verifying Software Transactional Memory Algorithms. CONCUR 2012: 516-530

Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.: Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. OOPSLA 2011: 973-992

Victor Luchangco, Virendra J. Marathe: Transaction communicators: enabling cooperation among concurrent transactions. PPOPP 2011: 169-178

Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu: Fortress (Sun HPCS Language). Encyclopedia of Parallel Computing 2011: 718-735

J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.: Integrating coercion with subtyping and multiple dispatch. Sci. Comput. Program. 75(9): 787-795 (2010)

Srivatsan Ravi, Vincent Gramoli, Victor Luchangco: Transactional memory, linking theory and practice. SIGACT News 41(4): 109-115 (2010)

Victor Luchangco, Mark Moir, Nir Shavit: Nonblocking k -Compare-Single-Swap. Theory Comput. Syst. 44(1): 39-66 (2009)

Yossi Lev, Victor Luchangco, Marek Olszewski: Scalable reader-writer locks. SPAA 2009: 101-110

Maurice Herlihy, Victor Luchangco: Distributed computing and the multicore revolution. SIGACT News 39(1): 62-72 (2008)

Andrew Lutomirski, Victor Luchangco: Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers. OPODIS 2008: 560-563

J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.: Integrating coercion with subtyping and multiple dispatch. SAC 2008: 166-170

Victor Luchangco: Against lock-based semantics for transactional memory. SPAA 2008: 98-100

Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit: A Lazy Concurrent List-Based Set Algorithm. Parallel Processing Letters 17(4): 411-424 (2007)

Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir: SNZI: scalable NonZero indicators. PODC 2007: 13-22

Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.: Modular multiple dispatch with multiple inheritance. SAC 2007: 1117-1121

Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit: A Simple Optimistic Skiplist Algorithm. SIROCCO 2007: 124-138

Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum: Hybrid transactional memory. ASPLOS 2006: 336-346

Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV 2006: 475-488

Victor Luchangco, Daniel Nussbaum, Nir Shavit: A Hierarchical CLH Queue Lock. Euro-Par 2006: 801-810

Maurice Herlihy, Victor Luchangco, Mark Moir: A flexible framework for implementing software transactional memory. OOPSLA 2006: 253-262

Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir: Nonblocking memory management support for dynamic-sized data structures. ACM Trans. Comput. Syst. 23(2): 146-196 (2005)

Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit: A Lazy Concurrent List-Based Set Algorithm. OPODIS 2005: 3-16

Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit: Obstruction-Free Algorithms Can Be Practically Wait-Free. DISC 2005: 78-92

Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit: Obstruction-Free Step Complexity: Lock-Free DCAS as an Example. DISC 2005: 493-494

Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir: Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE 2004: 97-114

Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.: Object-oriented units of measurement. OOPSLA 2004: 384-403

Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir: Bringing practical lock-free synchronization to 64-bit applications. PODC 2004: 31-39

Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul A. Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.: DCAS is not a silver bullet for nonblocking algorithm design. SPAA 2004: 216-224

Maurice Herlihy, Victor Luchangco, Mark Moir: Space and Time Adaptive Non-blocking Algorithms. Electr. Notes Theor. Comput. Sci. 78: 260-280 (2003)

Maurice Herlihy, Victor Luchangco, Mark Moir: Obstruction-Free Synchronization: Double-Ended Queues as an Example. ICDCS 2003: 522-529

Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III: Software transactional memory for dynamic-sized data structures. PODC 2003: 92-101

Victor Luchangco, Mark Moir, Nir Shavit: Nonblocking k-compare-single-swap. SPAA 2003: 314-323

Victor Luchangco, Mark Moir, Nir Shavit: On the Uncontended Complexity of Consensus. DISC 2003: 45-59

Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir: Dynamic-sized lock-free data structures. PODC 2002: 131

Maurice Herlihy, Victor Luchangco, Mark Moir: The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. DISC 2002: 339-353

Victor Luchangco: Modeling weakly consistent memories with locks. SPAA 2001: 332-333

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano: On Formal Modeling of Agent Computations. FAABS 2000: 48-62

Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman: Eventually-Serializable Data Services. Theor. Comput. Sci. 220(1): 113-156 (1999)

Matteo Frigo, Victor Luchangco: Computation-Centric Memory Models. SPAA 1998: 240-249

Victor Luchangco: Precedence-Based Memory Models. WDAG 1997: 215-229

Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch: Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE 1996: 29-44

Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman: Eventually-Serializable Data Services. PODC 1996: 300-309

Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch: Verifying timing properties of concurrent algorithms. FORTE 1994: 259-273