Victor Luchangco
Victor Luchangco
Algorand
Verifierad e-postadress på alum.mit.edu
Titel
Citeras av
Citeras av
År
The art of multiprocessor programming
M Herlihy, N Shavit, V Luchangco, M Spear
Newnes, 2020
18722020
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
12872003
Obstruction-free synchronization: Double-ended queues as an example
M Herlihy, V Luchangco, M Moir
23rd International Conference on Distributed Computing Systems, 2003 …, 2003
6222003
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
5712006
A flexible framework for implementing software transactional memory
M Herlihy, V Luchangco, M Moir
ACM Sigplan Notices 41 (10), 253-262, 2006
3372006
The Fortress language specification
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
Sun Microsystems 139 (140), 116, 2005
3002005
A lazy concurrent list-based set algorithm
S Heller, M Herlihy, V Luchangco, M Moir, WN Scherer, N Shavit
International Conference On Principles Of Distributed Systems, 3-16, 2005
2492005
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
1702002
Software transactional memory for dynamically sizable shared data structures
MS Moir, VM Luchangco, M Herlihy
US Patent 7,328,316, 2008
1492008
Formal verification of a practical lock-free queue algorithm
S Doherty, L Groves, V Luchangco, M Moir
International Conference on Formal Techniques for Networked and Distributed …, 2004
1292004
Eventually-serializable data services
A Fekete, D Gupta, V Luchangco, N Lynch, A Shvartsman
Theoretical Computer Science 220 (1), 113-156, 1999
1251999
SNZI: Scalable nonzero indicators
F Ellen, Y Lev, V Luchangco, M Moir
Proceedings of the twenty-sixth annual ACM symposium on Principles of …, 2007
1162007
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
1162005
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
1052009
A simple optimistic skiplist algorithm
M Herlihy, Y Lev, V Luchangco, N Shavit
International Colloquium on Structural Information and Communication …, 2007
1052007
Formal verification of a lazy concurrent list-based set algorithm
R Colvin, L Groves, V Luchangco, M Moir
International Conference on Computer Aided Verification, 475-488, 2006
932006
The Fortress language specification version 1.0
E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ...
March, 2008
912008
Lock-free implementation of dynamic-sized shared data structure
MS Moir, V Luchangco, M Herlihy
US Patent 7,254,597, 2007
862007
Towards formally specifying and verifying transactional memory
S Doherty, L Groves, V Luchangco, M Moir
Formal Aspects of Computing 25 (5), 769-799, 2013
852013
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
852004
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20