Victor Luchangco

62 papers A* 7A 9B 20C 3Misc 2Journal 11Unranked 9

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	BQ: A Lock-Free Queue with Batching. ACM Trans. Parallel Comput. Gal Milman-Sela, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank
2022	B	`conf`	Theory Meets Practice in the Algorand Blockchain (Invited Talk). OPODIS Victor Luchangco
2019	—	`conf`	Towards a Verified Model of the Algorand Consensus Protocol in Coq. FM Workshops (1) Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2019	J	`jnl`	Towards a Verified Model of the Algorand Consensus Protocol in Coq. CoRR Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Peña, Grigore Rosu
2018	B	`conf`	BQ: A Lock-Free Queue with Batching. SPAA Gal Milman, Alex Kogan, Yossi Lev, Victor Luchangco, Erez Petrank
2018	—	`conf`	Saying What You Mean. ApPLIED@PODC Victor Luchangco
2017	B	`conf`	Brief Announcement: Extending Transactional Memory with Atomic Deferral. SPAA Tingzhe Zhou, Victor Luchangco, Michael F. Spear
2017	B	`conf`	Extending Transactional Memory with Atomic Deferral. OPODIS Tingzhe Zhou, Victor Luchangco, Michael F. Spear
2017	B	`conf`	Hand-Over-Hand Transactions with Precise Memory Reclamation. SPAA Tingzhe Zhou, Victor Luchangco, Michael F. Spear
2016	B	`conf`	Investigating the Performance of Hardware Transactions on a Multi-Socket Machine. SPAA Trevor Brown, Alex Kogan, Yossi Lev, Victor Luchangco
2014	J	`jnl`	Foreword: Parallelism in Algorithms and Architectures. Theory Comput. Syst. Geppino Pucci, Victor Luchangco, Rajmohan Rajaraman
2014	—	`conf`	Towards Transactional Memory for OpenMP. IWOMP Michael Wong, Eduard Ayguadé, Justin Gottschlich, Victor Luchangco, Bronis R. de Supinski, Barna L. Bihari
2013	—	`conf`	Constrained Data-Driven Parallelism. HotPar Tim Harris, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Mark Moir
2013	B	`conf`	Fine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance. APLAS Jieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.
2013	A	`conf`	Mindicators: A Scalable Approach to Quiescence. ICDCS Yujie Liu, Victor Luchangco, Michael F. Spear
2013	B	`conf`	NUMA-aware reader-writer locks. PPoPP Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit
2013	J	`jnl`	Towards formally specifying and verifying transactional memory. Formal Aspects Comput. Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
2013	B	`conf`	Using hardware transactional memory to correct and simplify and readers-writer lock algorithm. PPoPP Dave Dice, Yossi Lev, Yujie Liu, Victor Luchangco, Mark Moir
2012	B	`conf`	A Framework for Formally Verifying Software Transactional Memory Algorithms. CONCUR Mohsen Lesani, Victor Luchangco, Mark Moir
2011	—	`ch.`	Fortress (Sun HPCS Language). Encyclopedia of Parallel Computing Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu
2011	B	`conf`	Transaction communicators: enabling cooperation among concurrent transactions. PPoPP Victor Luchangco, Virendra J. Marathe
2011	A	`conf`	Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. OOPSLA Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr.
2010	J	`jnl`	Integrating coercion with subtyping and multiple dispatch. Sci. Comput. Program. J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
2010	J	`jnl`	Transactional memory, linking theory and practice. SIGACT News Srivatsan Ravi, Vincent Gramoli, Victor Luchangco
2010	—	`conf`	You are not alone: breaking transaction isolation. IWMSE@ICSE Victor Luchangco, Virendra J. Marathe
2009	J	`jnl`	Nonblocking Theory Comput. Syst. Victor Luchangco, Mark Moir, Nir Shavit
2009	B	`conf`	Scalable reader-writer locks. SPAA Yossi Lev, Victor Luchangco, Marek Olszewski
2008	B	`conf`	Against lock-based semantics for transactional memory. SPAA Victor Luchangco
2008	J	`jnl`	Distributed computing and the multicore revolution. SIGACT News Maurice Herlihy, Victor Luchangco
2008	B	`conf`	Efficient Large Almost Wait-Free Single-Writer Multireader Atomic Registers. OPODIS Andrew Lutomirski, Victor Luchangco
2008	Misc	`conf`	Integrating coercion with subtyping and multiple dispatch. SAC J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
2007	J	`jnl`	A Lazy Concurrent List-Based Set Algorithm. Parallel Process. Lett. Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit
2007	B	`conf`	A Simple Optimistic Skiplist Algorithm. SIROCCO Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit
2007	Misc	`conf`	Modular multiple dispatch with multiple inheritance. SAC Eric E. Allen, J. J. Hallett, Victor Luchangco, Sukyoung Ryu, Guy L. Steele Jr.
2007	A*	`conf`	SNZI: scalable NonZero indicators. PODC Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir
2006	—	`conf`	A Hierarchical CLH Queue Lock. Euro-Par Victor Luchangco, Daniel Nussbaum, Nir Shavit
2006	A	`conf`	A flexible framework for implementing software transactional memory. OOPSLA Maurice Herlihy, Victor Luchangco, Mark Moir
2006	A*	`conf`	Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
2006	A*	`conf`	Hybrid transactional memory. ASPLOS Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum
2005	B	`conf`	A Lazy Concurrent List-Based Set Algorithm. OPODIS Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit
2005	J	`jnl`	Nonblocking memory management support for dynamic-sized data structures. ACM Trans. Comput. Syst. Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir
2005	A	`conf`	Obstruction-Free Algorithms Can Be Practically Wait-Free. DISC Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit
2005	A	`conf`	Obstruction-Free Step Complexity: Lock-Free DCAS as an Example. DISC Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit
2004	A*	`conf`	Bringing practical lock-free synchronization to 64-bit applications. PODC Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir
2004	B	`conf`	DCAS is not a silver bullet for nonblocking algorithm design. SPAA Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
2004	C	`conf`	Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
2004	A	`conf`	Object-oriented units of measurement. OOPSLA Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.
2003	B	`conf`	Nonblocking k-compare-single-swap. SPAA Victor Luchangco, Mark Moir, Nir Shavit
2003	A	`conf`	Obstruction-Free Synchronization: Double-Ended Queues as an Example. ICDCS Maurice Herlihy, Victor Luchangco, Mark Moir
2003	A	`conf`	On the Uncontended Complexity of Consensus. DISC Victor Luchangco, Mark Moir, Nir Shavit
2003	A*	`conf`	Software transactional memory for dynamic-sized data structures. PODC Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III
2003	—	`conf`	Space and Time Adaptive Non-blocking Algorithms. CATS Maurice Herlihy, Victor Luchangco, Mark Moir
2002	A*	`conf`	Dynamic-sized lock-free data structures. PODC Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir
2002	A	`conf`	The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. DISC Maurice Herlihy, Victor Luchangco, Mark Moir
2001	B	`conf`	Modeling weakly consistent memories with locks. SPAA Victor Luchangco
2000	—	`conf`	On Formal Modeling of Agent Computations. FAABS Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy A. Lynch, Ken Mano
1999	J	`jnl`	Eventually-Serializable Data Services. Theor. Comput. Sci. Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
1998	B	`conf`	Computation-Centric Memory Models. SPAA Matteo Frigo, Victor Luchangco
1997	—	`conf`	Precedence-Based Memory Models. WDAG Victor Luchangco
1996	C	`conf`	Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. FORTE Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
1996	A*	`conf`	Eventually-Serializable Data Services. PODC Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
1994	C	`conf`	Verifying timing properties of concurrent algorithms. FORTE Victor Luchangco, Ekrem Söylemez, Stephen J. Garland, Nancy A. Lynch