Follow
Victor Luchangco
Victor Luchangco
Algorand
Verified email at alum.mit.edu
Title
Cited by
Cited by
Year
The art of multiprocessor programming
M Herlihy, N Shavit, V Luchangco, M Spear
Newnes, 2020
23982020
Software transactional memory for dynamic-sized data structures
M Herlihy, V Luchangco, M Moir, WN Scherer III
Proceedings of the twenty-second annual symposium on Principles of …, 2003
13872003
Obstruction-free synchronization: Double-ended queues as an example
M Herlihy, V Luchangco, M Moir
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
7002003
Hybrid transactional memory
P Damron, A Fedorova, Y Lev, V Luchangco, M Moir, D Nussbaum
Proceedings of the 12th international conference on Architectural support …, 2006
6152006
A flexible framework for implementing software transactional memory
M Herlihy, V Luchangco, M Moir
ACM Sigplan Notices 41 (10), 253-262, 2006
3582006
The Fortress language specification
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Sun Microsystems 139 (140), 116, 2005
3202005
A lazy concurrent list-based set algorithm
S Heller, M Herlihy, V Luchangco, M Moir, WN Scherer, N Shavit
Principles of Distributed Systems: 9th International Conference, OPODIS 2005 …, 2006
2942006
The repeat offender problem: A mechanism for supporting dynamic-sized, lock-free data structures
M Herlihy, V Luchangco, M Moir
International Symposium on Distributed Computing, 339-353, 2002
1882002
Software transactional memory for dynamically sizable shared data structures
MS Moir, VM Luchangco, M Herlihy
US Patent 7,328,316, 2008
1572008
Formal verification of a practical lock-free queue algorithm
S Doherty, L Groves, V Luchangco, M Moir
Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004
1462004
Eventually-serializable data services
A Fekete, D Gupta, V Luchangco, N Lynch, A Shvartsman
Proceedings of the Fifteenth Annual ACM Symposium on Principles of …, 1996
1441996
Nonblocking memory management support for dynamic-sized data structures
M Herlihy, V Luchangco, P Martin, M Moir
ACM Transactions on Computer Systems (TOCS) 23 (2), 146-196, 2005
1412005
SNZI: Scalable nonzero indicators
F Ellen, Y Lev, V Luchangco, M Moir
Proceedings of the twenty-sixth annual ACM symposium on Principles of …, 2007
1322007
A simple optimistic skiplist algorithm
M Herlihy, Y Lev, V Luchangco, N Shavit
Structural Information and Communication Complexity: 14th International …, 2007
1322007
NUMA-aware reader-writer locks
I Calciu, D Dice, Y Lev, V Luchangco, VJ Marathe, N Shavit
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
1202013
Anatomy of a scalable software transactional memory
Y Lev, V Luchangco, V Marathe, M Moir, D Nussbaum, M Olszewski
Proc. 4th ACM SIGPLAN Workshop on Transactional Computing, 2009
1132009
DCAS is not a silver bullet for nonblocking algorithm design
S Doherty, DL Detlefs, L Groves, CH Flood, V Luchangco, PA Martin, ...
Proceedings of the sixteenth annual ACM symposium on Parallelism in …, 2004
1052004
Towards formally specifying and verifying transactional memory
S Doherty, L Groves, V Luchangco, M Moir
Formal Aspects of Computing 25 (5), 769-799, 2013
1022013
The Fortress language specification version 1.0
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
March, 2008
1022008
Formal verification of a lazy concurrent list-based set algorithm
R Colvin, L Groves, V Luchangco, M Moir
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
992006
The system can't perform the operation now. Try again later.
Articles 1–20