Victor Luchangco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
16
Active years
1994–2022
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | OPODIS | Theory Meets Practice in the Algorand Blockchain (Invited Talk). | Victor Luchangco |
| 2019 | FM | Towards a Verified Model of the Algorand Consensus Protocol in Coq. | Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Pea, Grigore Rosu |
| 2018 | PODC | Saying What You Mean. | Victor Luchangco |
| 2018 | SPAA | BQ: A Lock-Free Queue with Batching. | Gal Milman, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank |
| 2017 | OPODIS | Extending Transactional Memory with Atomic Deferral. | Tingzhe Zhou, Victor Luchangco, Michael F. Spear |
| 2017 | SPAA | Hand-Over-Hand Transactions with Precise Memory Reclamation. | Tingzhe Zhou, Victor Luchangco, Michael F. Spear |
| 2017 | SPAA | Brief Announcement: Extending Transactional Memory with Atomic Deferral. | Tingzhe Zhou, Victor Luchangco, Michael F. Spear |
| 2016 | SPAA | Investigating the Performance of Hardware Transactions on a Multi-Socket Machine. | Trevor Brown, Alex Kogan, Yossi Lev, Victor Luchangco |
| 2013 | APLAS | Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. | Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr. |
| 2013 | ICDCS | Mindicators: A Scalable Approach to Quiescence. | Yujie Liu, Victor Luchangco, Michael F. Spear |
| 2013 | PPoPP | NUMA-aware reader-writer locks. | Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit |
| 2013 | PPoPP | Using hardware transactional memory to correct and simplify and readers-writer lock algorithm. | Dave Dice, Yossi Lev, Yujie Liu, Victor Luchangco, Mark Moir |
| 2012 | CONCUR | A Framework for Formally Verifying Software Transactional Memory Algorithms. | Mohsen Lesani, Victor Luchangco, Mark Moir |
| 2011 | OOPSLA | 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. |
| 2011 | PPoPP | Transaction communicators: enabling cooperation among concurrent transactions. | Victor Luchangco, Virendra J. Marathe |
| 2010 | ICSE | You are not alone: breaking transaction isolation. | Victor Luchangco, Virendra J. Marathe |
| 2009 | SPAA | Scalable reader-writer locks. | Yossi Lev, Victor Luchangco, Marek Olszewski |
| 2008 | OPODIS | Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers. | Andrew Lutomirski, Victor Luchangco |
| 2008 | SAC | Integrating coercion with subtyping and multiple dispatch. | J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
| 2008 | SPAA | Against lock-based semantics for transactional memory. | Victor Luchangco |
| 2007 | PODC | SNZI: scalable NonZero indicators. | Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir |
| 2007 | SAC | Modular multiple dispatch with multiple inheritance. | Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr. |
| 2007 | SIROCCO | A Simple Optimistic Skiplist Algorithm. | Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit |
| 2006 | ASPLOS | Hybrid transactional memory. | Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum |
| 2006 | CAV | Formal Verification of a Lazy Concurrent List-Based Set Algorithm. | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2006 | EuroPar | A Hierarchical CLH Queue Lock. | Victor Luchangco, Daniel Nussbaum, Nir Shavit |
| 2006 | OOPSLA | A flexible framework for implementing software transactional memory. | Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2005 | OPODIS | A Lazy Concurrent List-Based Set Algorithm. | Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit |
| 2004 | FORTE | Formal Verification of a Practical Lock-Free Queue Algorithm. | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2004 | OOPSLA | Object-oriented units of measurement. | Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr. |
| 2004 | PODC | Bringing practical lock-free synchronization to 64-bit applications. | Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2004 | SPAA | 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. |
| 2003 | ICDCS | Obstruction-Free Synchronization: Double-Ended Queues as an Example. | Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2003 | PODC | Software transactional memory for dynamic-sized data structures. | Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III |
| 2003 | SPAA | Nonblocking k-compare-single-swap. | Victor Luchangco, Mark Moir, Nir Shavit |
| 2002 | PODC | Dynamic-sized lock-free data structures. | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
| 2001 | SPAA | Modeling weakly consistent memories with locks. | Victor Luchangco |
| 1998 | SPAA | Computation-Centric Memory Models. | Matteo Frigo, Victor Luchangco |
| 1996 | FORTE | Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. | Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch |
| 1996 | PODC | Eventually-Serializable Data Services. | Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman |
| 1994 | FORTE | Verifying timing properties of concurrent algorithms. | Victor Luchangco, Ekrem Sylemez, Stephen J. Garland, Nancy A. Lynch |