Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Victor Luchangco
@article{DBLP:journals/topc/Milman-SelaKLLP22,
author = {Gal Milman{-}Sela and
Alex Kogan and
Yossi Lev and
Victor Luchangco and
Erez Petrank},
title = {{BQ:} {A} Lock-Free Queue with Batching},
journal = {{ACM} Trans. Parallel Comput.},
volume = {9},
number = {1},
pages = {5:1--5:49},
year = {2022},
url = {https://doi.org/10.1145/3512757},
doi = {10.1145/3512757},
timestamp = {Wed, 27 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topc/Milman-SelaKLLP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Luchangco22,
author = {Victor Luchangco},
editor = {Eshcar Hillel and
Roberto Palmieri and
Etienne Rivi{\`{e}}re},
title = {Theory Meets Practice in the Algorand Blockchain (Invited Talk)},
booktitle = {26th International Conference on Principles of Distributed Systems,
{OPODIS} 2022, December 13-15, 2022, Brussels, Belgium},
series = {LIPIcs},
volume = {253},
pages = {1:1--1:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2022.1},
doi = {10.4230/LIPICS.OPODIS.2022.1},
timestamp = {Wed, 15 Feb 2023 17:36:11 +0100},
biburl = {https://dblp.org/rec/conf/opodis/Luchangco22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlturkiCLMPPR19,
author = {Musab A. Alturki and
Jing Chen and
Victor Luchangco and
Brandon M. Moore and
Karl Palmskog and
Lucas Pe{\~{n}}a and
Grigore Rosu},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Towards a Verified Model of the Algorand Consensus Protocol in Coq},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {362--367},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_27},
doi = {10.1007/978-3-030-54994-7\_27},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlturkiCLMPPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-05523,
author = {Musab A. Alturki and
Jing Chen and
Victor Luchangco and
Brandon M. Moore and
Karl Palmskog and
Lucas Pe{\~{n}}a and
Grigore Rosu},
title = {Towards a Verified Model of the Algorand Consensus Protocol in Coq},
journal = {CoRR},
volume = {abs/1907.05523},
year = {2019},
url = {http://arxiv.org/abs/1907.05523},
eprinttype = {arXiv},
eprint = {1907.05523},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/Luchangco18,
author = {Victor Luchangco},
editor = {Chryssis Georgiou and
Elad Michael Schiller},
title = {Saying What You Mean},
booktitle = {Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages,
and PLatforms for Implementing and Evaluating Algorithms for Distributed
systems, ApPLIED@PODC 2018, Egham, United Kingdom, July 27, 2018},
pages = {3},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3231104.3231112},
doi = {10.1145/3231104.3231112},
timestamp = {Wed, 21 Nov 2018 12:44:03 +0100},
biburl = {https://dblp.org/rec/conf/podc/Luchangco18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/MilmanKLLP18,
author = {Gal Milman and
Alex Kogan and
Yossi Lev and
Victor Luchangco and
Erez Petrank},
editor = {Christian Scheideler and
Jeremy T. Fineman},
title = {{BQ:} {A} Lock-Free Queue with Batching},
booktitle = {Proceedings of the 30th on Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2018, Vienna, Austria, July 16-18, 2018},
pages = {99--109},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3210377.3210388},
doi = {10.1145/3210377.3210388},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/MilmanKLLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/ZhouLS17,
author = {Tingzhe Zhou and
Victor Luchangco and
Michael F. Spear},
editor = {James Aspnes and
Alysson Bessani and
Pascal Felber and
Jo{\~{a}}o Leit{\~{a}}o},
title = {Extending Transactional Memory with Atomic Deferral},
booktitle = {21st International Conference on Principles of Distributed Systems,
{OPODIS} 2017, Lisbon, Portugal, December 18-20, 2017},
series = {LIPIcs},
volume = {95},
pages = {7:1--7:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.7},
doi = {10.4230/LIPICS.OPODIS.2017.7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/ZhouLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ZhouLS17,
author = {Tingzhe Zhou and
Victor Luchangco and
Michael F. Spear},
editor = {Christian Scheideler and
Mohammad Taghi Hajiaghayi},
title = {Hand-Over-Hand Transactions with Precise Memory Reclamation},
booktitle = {Proceedings of the 29th {ACM} Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2017, Washington DC, USA, July 24-26, 2017},
pages = {255--264},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087556.3087587},
doi = {10.1145/3087556.3087587},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/ZhouLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/ZhouLS17a,
author = {Tingzhe Zhou and
Victor Luchangco and
Michael F. Spear},
editor = {Christian Scheideler and
Mohammad Taghi Hajiaghayi},
title = {Brief Announcement: Extending Transactional Memory with Atomic Deferral},
booktitle = {Proceedings of the 29th {ACM} Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2017, Washington DC, USA, July 24-26, 2017},
pages = {371--373},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3087556.3087600},
doi = {10.1145/3087556.3087600},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/ZhouLS17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/BrownKLL16,
author = {Trevor Brown and
Alex Kogan and
Yossi Lev and
Victor Luchangco},
editor = {Christian Scheideler and
Seth Gilbert},
title = {Investigating the Performance of Hardware Transactions on a Multi-Socket
Machine},
booktitle = {Proceedings of the 28th {ACM} Symposium on Parallelism in Algorithms
and Architectures, {SPAA} 2016, Asilomar State Beach/Pacific Grove,
CA, USA, July 11-13, 2016},
pages = {121--132},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2935764.2935796},
doi = {10.1145/2935764.2935796},
timestamp = {Tue, 06 Nov 2018 16:59:33 +0100},
biburl = {https://dblp.org/rec/conf/spaa/BrownKLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/PucciLR14,
author = {Geppino Pucci and
Victor Luchangco and
Rajmohan Rajaraman},
title = {Foreword: Parallelism in Algorithms and Architectures},
journal = {Theory Comput. Syst.},
volume = {55},
number = {3},
pages = {449--450},
year = {2014},
url = {https://doi.org/10.1007/s00224-013-9520-x},
doi = {10.1007/S00224-013-9520-X},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/PucciLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwomp/WongAGLSB14,
author = {Michael Wong and
Eduard Ayguad{\'{e}} and
Justin Gottschlich and
Victor Luchangco and
Bronis R. de Supinski and
Barna L. Bihari},
editor = {Luiz DeRose and
Bronis R. de Supinski and
Stephen L. Olivier and
Barbara M. Chapman and
Matthias S. M{\"{u}}ller},
title = {Towards Transactional Memory for OpenMP},
booktitle = {Using and Improving OpenMP for Devices, Tasks, and More - 10th International
Workshop on OpenMP, {IWOMP} 2014, Salvador, Brazil, September 28-30,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8766},
pages = {130--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11454-5\_10},
doi = {10.1007/978-3-319-11454-5\_10},
timestamp = {Wed, 25 Sep 2019 18:20:10 +0200},
biburl = {https://dblp.org/rec/conf/iwomp/WongAGLSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DohertyGLM13,
author = {Simon Doherty and
Lindsay Groves and
Victor Luchangco and
Mark Moir},
title = {Towards formally specifying and verifying transactional memory},
journal = {Formal Aspects Comput.},
volume = {25},
number = {5},
pages = {769--799},
year = {2013},
url = {https://doi.org/10.1007/s00165-012-0225-8},
doi = {10.1007/S00165-012-0225-8},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/DohertyGLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KimRLS13,
author = {Jieung Kim and
Sukyoung Ryu and
Victor Luchangco and
Guy L. Steele Jr.},
editor = {Chung{-}chieh Shan},
title = {Fine-Grained Function Visibility for Multiple Dispatch with Multiple
Inheritance},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {156--171},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_11},
doi = {10.1007/978-3-319-03542-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KimRLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotpar/HarrisLLMM13,
author = {Tim Harris and
Yossi Lev and
Victor Luchangco and
Virendra J. Marathe and
Mark Moir},
editor = {Emery D. Berger and
Kim M. Hazelwood},
title = {Constrained Data-Driven Parallelism},
booktitle = {5th {USENIX} Workshop on Hot Topics in Parallelism, HotPar'13, San
Jose, CA, USA, June 24-25, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotpar13/workshop-program/presentation/harris},
timestamp = {Sat, 30 Sep 2023 09:42:37 +0200},
biburl = {https://dblp.org/rec/conf/hotpar/HarrisLLMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/LiuLS13,
author = {Yujie Liu and
Victor Luchangco and
Michael F. Spear},
title = {Mindicators: {A} Scalable Approach to Quiescence},
booktitle = {{IEEE} 33rd International Conference on Distributed Computing Systems,
{ICDCS} 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, {USA}},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDCS.2013.39},
doi = {10.1109/ICDCS.2013.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/LiuLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/CalciuDLLMS13,
author = {Irina Calciu and
David Dice and
Yossi Lev and
Victor Luchangco and
Virendra J. Marathe and
Nir Shavit},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {NUMA-aware reader-writer locks},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {157--166},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442532},
doi = {10.1145/2442516.2442532},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/CalciuDLLMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DiceLLLM13,
author = {Dave Dice and
Yossi Lev and
Yujie Liu and
Victor Luchangco and
Mark Moir},
editor = {Alex Nicolau and
Xiaowei Shen and
Saman P. Amarasinghe and
Richard W. Vuduc},
title = {Using hardware transactional memory to correct and simplify and readers-writer
lock algorithm},
booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
PPoPP '13, Shenzhen, China, February 23-27, 2013},
pages = {261--270},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2442516.2442542},
doi = {10.1145/2442516.2442542},
timestamp = {Sun, 12 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/DiceLLLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LesaniLM12,
author = {Mohsen Lesani and
Victor Luchangco and
Mark Moir},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {A Framework for Formally Verifying Software Transactional Memory Algorithms},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {516--530},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_36},
doi = {10.1007/978-3-642-32940-1\_36},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LesaniLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllenHKLRCS11,
author = {Eric E. Allen and
Justin Hilburn and
Scott Kilpatrick and
Victor Luchangco and
Sukyoung Ryu and
David Chase and
Guy L. Steele Jr.},
editor = {Cristina Videira Lopes and
Kathleen Fisher},
title = {Type checking modular multiple dispatch with parametric polymorphism
and multiple inheritance},
booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
pages = {973--992},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2048066.2048140},
doi = {10.1145/2048066.2048140},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllenHKLRCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/LuchangcoM11,
author = {Victor Luchangco and
Virendra J. Marathe},
editor = {Calin Cascaval and
Pen{-}Chung Yew},
title = {Transaction communicators: enabling cooperation among concurrent transactions},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
February 12-16, 2011},
pages = {169--178},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1941553.1941578},
doi = {10.1145/1941553.1941578},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/LuchangcoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/SteeleACFLMR11,
author = {Guy L. Steele Jr. and
Eric E. Allen and
David Chase and
Christine H. Flood and
Victor Luchangco and
Jan{-}Willem Maessen and
Sukyoung Ryu},
editor = {David A. Padua},
title = {Fortress (Sun {HPCS} Language)},
booktitle = {Encyclopedia of Parallel Computing},
pages = {718--735},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_190},
doi = {10.1007/978-0-387-09766-4\_190},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/SteeleACFLMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HallettLRS10,
author = {J. J. Hallett and
Victor Luchangco and
Sukyoung Ryu and
Guy L. Steele Jr.},
title = {Integrating coercion with subtyping and multiple dispatch},
journal = {Sci. Comput. Program.},
volume = {75},
number = {9},
pages = {787--795},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.04.005},
doi = {10.1016/J.SCICO.2009.04.005},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HallettLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/RaviGL10,
author = {Srivatsan Ravi and
Vincent Gramoli and
Victor Luchangco},
title = {Transactional memory, linking theory and practice},
journal = {{SIGACT} News},
volume = {41},
number = {4},
pages = {109--115},
year = {2010},
url = {https://doi.org/10.1145/1907450.1907546},
doi = {10.1145/1907450.1907546},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/RaviGL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LuchangcoM10,
author = {Victor Luchangco and
Virendra J. Marathe},
editor = {Victor Pankratius and
Michael Philippsen},
title = {You are not alone: breaking transaction isolation},
booktitle = {Proceedings of the 3rd International Workshop on Multicore Software
Engineering, {IWMSE} '10, Cape Town, South Africa, May 1, 2010},
pages = {50--53},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808954.1808967},
doi = {10.1145/1808954.1808967},
timestamp = {Thu, 27 Jan 2022 11:00:59 +0100},
biburl = {https://dblp.org/rec/conf/icse/LuchangcoM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/LuchangcoMS09,
author = {Victor Luchangco and
Mark Moir and
Nir Shavit},
title = {Nonblocking \emph{k} -Compare-Single-Swap},
journal = {Theory Comput. Syst.},
volume = {44},
number = {1},
pages = {39--66},
year = {2009},
url = {https://doi.org/10.1007/s00224-008-9155-5},
doi = {10.1007/S00224-008-9155-5},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/LuchangcoMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/LevLO09,
author = {Yossi Lev and
Victor Luchangco and
Marek Olszewski},
editor = {Friedhelm Meyer auf der Heide and
Michael A. Bender},
title = {Scalable reader-writer locks},
booktitle = {{SPAA} 2009: Proceedings of the 21st Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Calgary, Alberta, Canada, August
11-13, 2009},
pages = {101--110},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1583991.1584020},
doi = {10.1145/1583991.1584020},
timestamp = {Wed, 21 Nov 2018 11:15:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/LevLO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/HerlihyL08,
author = {Maurice Herlihy and
Victor Luchangco},
title = {Distributed computing and the multicore revolution},
journal = {{SIGACT} News},
volume = {39},
number = {1},
pages = {62--72},
year = {2008},
url = {https://doi.org/10.1145/1360443.1360458},
doi = {10.1145/1360443.1360458},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/HerlihyL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/LutomirskiL08,
author = {Andrew Lutomirski and
Victor Luchangco},
editor = {Theodore P. Baker and
Alain Bui and
S{\'{e}}bastien Tixeuil},
title = {Efficient Large Almost Wait-Free Single-Writer Multireader Atomic
Registers},
booktitle = {Principles of Distributed Systems, 12th International Conference,
{OPODIS} 2008, Luxor, Egypt, December 15-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5401},
pages = {560--563},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92221-6\_40},
doi = {10.1007/978-3-540-92221-6\_40},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/LutomirskiL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HallettLRS08,
author = {J. J. Hallett and
Victor Luchangco and
Sukyoung Ryu and
Guy L. Steele Jr.},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Integrating coercion with subtyping and multiple dispatch},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {166--170},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363733},
doi = {10.1145/1363686.1363733},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/HallettLRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Luchangco08,
author = {Victor Luchangco},
editor = {Friedhelm Meyer auf der Heide and
Nir Shavit},
title = {Against lock-based semantics for transactional memory},
booktitle = {{SPAA} 2008: Proceedings of the 20th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Munich, Germany, June 14-16, 2008},
pages = {98--100},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1378533.1378549},
doi = {10.1145/1378533.1378549},
timestamp = {Wed, 21 Nov 2018 11:14:43 +0100},
biburl = {https://dblp.org/rec/conf/spaa/Luchangco08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/HellerHLMSS07,
author = {Steve Heller and
Maurice Herlihy and
Victor Luchangco and
Mark Moir and
William N. Scherer III and
Nir Shavit},
title = {A Lazy Concurrent List-Based Set Algorithm},
journal = {Parallel Process. Lett.},
volume = {17},
number = {4},
pages = {411--424},
year = {2007},
url = {https://doi.org/10.1142/S0129626407003125},
doi = {10.1142/S0129626407003125},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/HellerHLMSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/EllenLLM07,
author = {Faith Ellen and
Yossi Lev and
Victor Luchangco and
Mark Moir},
editor = {Indranil Gupta and
Roger Wattenhofer},
title = {{SNZI:} scalable NonZero indicators},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2007, Portland, Oregon, USA, August
12-15, 2007},
pages = {13--22},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1281100.1281106},
doi = {10.1145/1281100.1281106},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/EllenLLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AllenHLRS07,
author = {Eric E. Allen and
J. J. Hallett and
Victor Luchangco and
Sukyoung Ryu and
Guy L. Steele Jr.},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Modular multiple dispatch with multiple inheritance},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1117--1121},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244245},
doi = {10.1145/1244002.1244245},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/AllenHLRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/HerlihyLLS07,
author = {Maurice Herlihy and
Yossi Lev and
Victor Luchangco and
Nir Shavit},
editor = {Giuseppe Prencipe and
Shmuel Zaks},
title = {A Simple Optimistic Skiplist Algorithm},
booktitle = {Structural Information and Communication Complexity, 14th International
Colloquium, {SIROCCO} 2007, Castiglioncello, Italy, June 5-8, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4474},
pages = {124--138},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72951-8\_11},
doi = {10.1007/978-3-540-72951-8\_11},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/HerlihyLLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/DamronFLLMN06,
author = {Peter Damron and
Alexandra Fedorova and
Yossi Lev and
Victor Luchangco and
Mark Moir and
Daniel Nussbaum},
editor = {John Paul Shen and
Margaret Martonosi},
title = {Hybrid transactional memory},
booktitle = {Proceedings of the 12th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2006, San Jose, CA, USA, October 21-25, 2006},
pages = {336--346},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1168857.1168900},
doi = {10.1145/1168857.1168900},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/DamronFLLMN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ColvinGLM06,
author = {Robert Colvin and
Lindsay Groves and
Victor Luchangco and
Mark Moir},
editor = {Thomas Ball and
Robert B. Jones},
title = {Formal Verification of a Lazy Concurrent List-Based Set Algorithm},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {475--488},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_44},
doi = {10.1007/11817963\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ColvinGLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/LuchangcoNS06,
author = {Victor Luchangco and
Daniel Nussbaum and
Nir Shavit},
editor = {Wolfgang E. Nagel and
Wolfgang V. Walter and
Wolfgang Lehner},
title = {A Hierarchical {CLH} Queue Lock},
booktitle = {Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference,
Dresden, Germany, August 28 - September 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4128},
pages = {801--810},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823285\_84},
doi = {10.1007/11823285\_84},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/LuchangcoNS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/HerlihyLM06,
author = {Maurice Herlihy and
Victor Luchangco and
Mark Moir},
editor = {Peri L. Tarr and
William R. Cook},
title = {A flexible framework for implementing software transactional memory},
booktitle = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {253--262},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1167473.1167495},
doi = {10.1145/1167473.1167495},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/HerlihyLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/HerlihyLMM05,
author = {Maurice Herlihy and
Victor Luchangco and
Paul A. Martin and
Mark Moir},
title = {Nonblocking memory management support for dynamic-sized data structures},
journal = {{ACM} Trans. Comput. Syst.},
volume = {23},
number = {2},
pages = {146--196},
year = {2005},
url = {https://doi.org/10.1145/1062247.1062249},
doi = {10.1145/1062247.1062249},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/HerlihyLMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/HellerHLMSS05,
author = {Steve Heller and
Maurice Herlihy and
Victor Luchangco and
Mark Moir and
William N. Scherer III and
Nir Shavit},
editor = {James H. Anderson and
Giuseppe Prencipe and
Roger Wattenhofer},
title = {A Lazy Concurrent List-Based Set Algorithm},
booktitle = {Principles of Distributed Systems, 9th International Conference, {OPODIS}
2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3974},
pages = {3--16},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11795490\_3},
doi = {10.1007/11795490\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/opodis/HellerHLMSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FichLMS05,
author = {Faith Ellen Fich and
Victor Luchangco and
Mark Moir and
Nir Shavit},
editor = {Pierre Fraigniaud},
title = {Obstruction-Free Algorithms Can Be Practically Wait-Free},
booktitle = {Distributed Computing, 19th International Conference, {DISC} 2005,
Cracow, Poland, September 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3724},
pages = {78--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561927\_8},
doi = {10.1007/11561927\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/FichLMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FichLMS05a,
author = {Faith Ellen Fich and
Victor Luchangco and
Mark Moir and
Nir Shavit},
editor = {Pierre Fraigniaud},
title = {Obstruction-Free Step Complexity: Lock-Free {DCAS} as an Example},
booktitle = {Distributed Computing, 19th International Conference, {DISC} 2005,
Cracow, Poland, September 26-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3724},
pages = {493--494},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561927\_37},
doi = {10.1007/11561927\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/FichLMS05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/DohertyGLM04,
author = {Simon Doherty and
Lindsay Groves and
Victor Luchangco and
Mark Moir},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Formal Verification of a Practical Lock-Free Queue Algorithm},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {97--114},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_7},
doi = {10.1007/978-3-540-30232-2\_7},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/DohertyGLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AllenCLMS04,
author = {Eric E. Allen and
David Chase and
Victor Luchangco and
Jan{-}Willem Maessen and
Guy L. Steele Jr.},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Object-oriented units of measurement},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {384--403},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1029008},
doi = {10.1145/1028976.1029008},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AllenCLMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DohertyHLM04,
author = {Simon Doherty and
Maurice Herlihy and
Victor Luchangco and
Mark Moir},
editor = {Soma Chaudhuri and
Shay Kutten},
title = {Bringing practical lock-free synchronization to 64-bit applications},
booktitle = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
July 25-28, 2004},
pages = {31--39},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1011767.1011773},
doi = {10.1145/1011767.1011773},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/DohertyHLM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DohertyDGFLMMSS04,
author = {Simon Doherty and
David Detlefs and
Lindsay Groves and
Christine H. Flood and
Victor Luchangco and
Paul Alan Martin and
Mark Moir and
Nir Shavit and
Guy L. Steele Jr.},
editor = {Phillip B. Gibbons and
Micah Adler},
title = {{DCAS} is not a silver bullet for nonblocking algorithm design},
booktitle = {{SPAA} 2004: Proceedings of the Sixteenth Annual {ACM} Symposium on
Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona,
Spain},
pages = {216--224},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007912.1007945},
doi = {10.1145/1007912.1007945},
timestamp = {Wed, 21 Nov 2018 11:11:51 +0100},
biburl = {https://dblp.org/rec/conf/spaa/DohertyDGFLMMSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HerlihyLM03,
author = {Maurice Herlihy and
Victor Luchangco and
Mark Moir},
title = {Obstruction-Free Synchronization: Double-Ended Queues as an Example},
booktitle = {23rd International Conference on Distributed Computing Systems {(ICDCS}
2003), 19-22 May 2003, Providence, RI, {USA}},
pages = {522--529},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICDCS.2003.1203503},
doi = {10.1109/ICDCS.2003.1203503},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/HerlihyLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HerlihyLMS03,
author = {Maurice Herlihy and
Victor Luchangco and
Mark Moir and
William N. Scherer III},
editor = {Elizabeth Borowsky and
Sergio Rajsbaum},
title = {Software transactional memory for dynamic-sized data structures},
booktitle = {Proceedings of the Twenty-Second {ACM} Symposium on Principles of
Distributed Computing, {PODC} 2003, Boston, Massachusetts, USA, July
13-16, 2003},
pages = {92--101},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/872035.872048},
doi = {10.1145/872035.872048},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/HerlihyLMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/LuchangcoMS03,
author = {Victor Luchangco and
Mark Moir and
Nir Shavit},
editor = {Arnold L. Rosenberg and
Friedhelm Meyer auf der Heide},
title = {Nonblocking k-compare-single-swap},
booktitle = {{SPAA} 2003: Proceedings of the Fifteenth Annual {ACM} Symposium on
Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego,
California, {USA} (part of {FCRC} 2003)},
pages = {314--323},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777412.777468},
doi = {10.1145/777412.777468},
timestamp = {Wed, 21 Nov 2018 11:11:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/LuchangcoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/LuchangcoMS03,
author = {Victor Luchangco and
Mark Moir and
Nir Shavit},
editor = {Faith Ellen Fich},
title = {On the Uncontended Complexity of Consensus},
booktitle = {Distributed Computing, 17th International Conference, {DISC} 2003,
Sorrento, Italy, October 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2848},
pages = {45--59},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39989-6\_4},
doi = {10.1007/978-3-540-39989-6\_4},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/LuchangcoMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HerlihyLM03,
author = {Maurice Herlihy and
Victor Luchangco and
Mark Moir},
editor = {James Harland},
title = {Space and Time Adaptive Non-blocking Algorithms},
booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide,
SA, Australia, February 4-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {78},
pages = {260--280},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)81017-X},
doi = {10.1016/S1571-0661(04)81017-X},
timestamp = {Fri, 11 Nov 2022 16:09:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HerlihyLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HerlihyLMM02,
author = {Maurice Herlihy and
Victor Luchangco and
Paul A. Martin and
Mark Moir},
editor = {Aleta Ricciardi},
title = {Dynamic-sized lock-free data structures},
booktitle = {Proceedings of the Twenty-First Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2002, Monterey, California, USA,
July 21-24, 2002},
pages = {131},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571825.571847},
doi = {10.1145/571825.571847},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/HerlihyLMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/HerlihyLM02,
author = {Maurice Herlihy and
Victor Luchangco and
Mark Moir},
editor = {Dahlia Malkhi},
title = {The Repeat Offender Problem: {A} Mechanism for Supporting Dynamic-Sized,
Lock-Free Data Structures},
booktitle = {Distributed Computing, 16th International Conference, {DISC} 2002,
Toulouse, France, October 28-30, 2002 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2508},
pages = {339--353},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36108-1\_23},
doi = {10.1007/3-540-36108-1\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/HerlihyLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Luchangco01,
author = {Victor Luchangco},
editor = {Arnold L. Rosenberg},
title = {Modeling weakly consistent memories with locks},
booktitle = {Proceedings of the Thirteenth Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} 2001, Heraklion, Crete Island, Greece, July
4-6, 2001},
pages = {332--333},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/378580.378759},
doi = {10.1145/378580.378759},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/Luchangco01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faabs/AraragiAKKLLM00,
author = {Tadashi Araragi and
Paul C. Attie and
Idit Keidar and
Kiyoshi Kogure and
Victor Luchangco and
Nancy A. Lynch and
Ken Mano},
editor = {James L. Rash and
Christopher A. Rouff and
Walt Truszkowski and
Diana F. Gordon and
Michael G. Hinchey},
title = {On Formal Modeling of Agent Computations},
booktitle = {Formal Approaches to Agent-Based Systems, First International Workshop,
{FAABS} 2000 Greenbelt, MD, USA, April 5-7, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1871},
pages = {48--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45484-5\_4},
doi = {10.1007/3-540-45484-5\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/faabs/AraragiAKKLLM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FeketeGLLS99,
author = {Alan D. Fekete and
David Gupta and
Victor Luchangco and
Nancy A. Lynch and
Alexander A. Shvartsman},
title = {Eventually-Serializable Data Services},
journal = {Theor. Comput. Sci.},
volume = {220},
number = {1},
pages = {113--156},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00239-4},
doi = {10.1016/S0304-3975(98)00239-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FeketeGLLS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/FrigoL98,
author = {Matteo Frigo and
Victor Luchangco},
editor = {Gary L. Miller and
Phillip B. Gibbons},
title = {Computation-Centric Memory Models},
booktitle = {Proceedings of the Tenth Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '98, Puerto Vallarta, Mexico, June 28 -
July 2, 1998},
pages = {240--249},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277651.277690},
doi = {10.1145/277651.277690},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/FrigoL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Luchangco97,
author = {Victor Luchangco},
editor = {Marios Mavronicolas and
Philippas Tsigas},
title = {Precedence-Based Memory Models},
booktitle = {Distributed Algorithms, 11th International Workshop, {WDAG} '97, Saarbr{\"{u}}cken,
Germany, September 24-26, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1320},
pages = {215--229},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030686},
doi = {10.1007/BFB0030686},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Luchangco97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/PetrovPGLL96,
author = {Tsvetomir P. Petrov and
Anna Pogosyants and
Stephen J. Garland and
Victor Luchangco and
Nancy A. Lynch},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Computer-Assisted Verification of an Algorithm for Concurrent Timestamps},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {29--44},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/PetrovPGLL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/FeketeGLLS96,
author = {Alan D. Fekete and
David Gupta and
Victor Luchangco and
Nancy A. Lynch and
Alexander A. Shvartsman},
editor = {James E. Burns and
Yoram Moses},
title = {Eventually-Serializable Data Services},
booktitle = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
1996},
pages = {300--309},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/248052.248113},
doi = {10.1145/248052.248113},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/FeketeGLLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LuchangcoSGL94,
author = {Victor Luchangco and
Ekrem S{\"{o}}ylemez and
Stephen J. Garland and
Nancy A. Lynch},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Verifying timing properties of concurrent algorithms},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {259--273},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/LuchangcoSGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
