Towards formally specifying and verifying transactional memory
Doherty, Simon, Groves, Lindsay, Luchangco, Victor, Moir, Mark
Published in Formal aspects of computing (01.09.2013)
Published in Formal aspects of computing (01.09.2013)
Get full text
Journal Article
Foreword: Parallelism in Algorithms and Architectures
Pucci, Geppino, Luchangco, Victor, Rajaraman, Rajmohan
Published in Theory of computing systems (01.10.2014)
Published in Theory of computing systems (01.10.2014)
Get full text
Journal Article
Formal Verification of a Lazy Concurrent List-Based Set Algorithm
Colvin, Robert, Groves, Lindsay, Luchangco, Victor, Moir, Mark
Published in Computer Aided Verification (2006)
Published in Computer Aided Verification (2006)
Get full text
Book Chapter
Conference Proceeding
Mindicators: A Scalable Approach to Quiescence
Yujie Liu, Luchangco, Victor, Spear, Michael
Published in 2013 IEEE 33rd International Conference on Distributed Computing Systems (01.07.2013)
Published in 2013 IEEE 33rd International Conference on Distributed Computing Systems (01.07.2013)
Get full text
Conference Proceeding
Towards Transactional Memory for OpenMP
Wong, Michael, Ayguadé, Eduard, Gottschlich, Justin, Luchangco, Victor, de Supinski, Bronis R., Bihari, Barna
Published in Using and Improving OpenMP for Devices, Tasks, and More (2014)
Published in Using and Improving OpenMP for Devices, Tasks, and More (2014)
Get full text
Book Chapter
Publication
A Lazy Concurrent List-Based Set Algorithm
Heller, Steve, Herlihy, Maurice, Luchangco, Victor, Moir, Mark, Scherer, William N., Shavit, Nir
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Integrating coercion with subtyping and multiple dispatch
Hallett, J.J., Luchangco, Victor, Ryu, Sukyoung, Steele, Guy L.
Published in Science of computer programming (01.09.2010)
Published in Science of computer programming (01.09.2010)
Get full text
Journal Article
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Alturki, Musab A, Chen, Jing, Luchangco, Victor, Moore, Brandon, Palmskog, Karl, Peña, Lucas, Roşu, Grigore
Published in arXiv.org (25.08.2020)
Published in arXiv.org (25.08.2020)
Get full text
Paper
Journal Article
Critical Section Speedup Using Help-Enabled Locks
Dice, David, Luchangco, Victor M, Lev, Yosef, Harris, Timothy L, Kogan, Alex, Zardoshti, Pantea
Year of Publication 14.03.2024
Get full text
Year of Publication 14.03.2024
Patent
Critical section speedup using help-enabled locks
Dice, David, Luchangco, Victor M, Lev, Yosef, Harris, Timothy L, Kogan, Alex, Zardoshti, Pantea
Year of Publication 02.01.2024
Get full text
Year of Publication 02.01.2024
Patent
Eventually-serializable data services
Fekete, Alan, Gupta, David, Luchangco, Victor, Lynch, Nancy, Shvartsman, Alex
Published in Theoretical computer science (06.06.1999)
Published in Theoretical computer science (06.06.1999)
Get full text
Journal Article
Critical Section Speedup Using Help-Enabled Locks
Dice, David, Luchangco, Victor M, Lev, Yosef, Harris, Timothy L, Kogan, Alex, Zardoshti, Pantea
Year of Publication 04.11.2021
Get full text
Year of Publication 04.11.2021
Patent
Critical section speedup using help-enabled locks
Dice, David, Luchangco, Victor M, Lev, Yosef, Harris, Timothy L, Kogan, Alex, Zardoshti, Pantea
Year of Publication 20.07.2021
Get full text
Year of Publication 20.07.2021
Patent