Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manos Kapritsos
@inproceedings{DBLP:conf/tacas/TekriwalTJKP24,
author = {Mohit Tekriwal and
Avi Tachna{-}Fram and
Jean{-}Baptiste Jeannin and
Manos Kapritsos and
Dimitra Panagou},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Formally verified asymptotic consensus in robust networks},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {248--267},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_14},
doi = {10.1007/978-3-031-57246-3\_14},
timestamp = {Sun, 14 Apr 2024 18:32:16 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TekriwalTJKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhangSK23,
author = {Tony Nuda Zhang and
Upamanyu Sharma and
Manos Kapritsos},
title = {Performal: Formal Verification of Latency Properties for Distributed
Systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {368--393},
year = {2023},
url = {https://doi.org/10.1145/3591235},
doi = {10.1145/3591235},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhangSK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-11029,
author = {Reginald Frank and
Micah Murray and
Suyash Gupta and
Ethan Xu and
Natacha Crooks and
Manos Kapritsos},
title = {Picsou: Enabling Efficient Cross-Consensus Communication},
journal = {CoRR},
volume = {abs/2312.11029},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.11029},
doi = {10.48550/ARXIV.2312.11029},
eprinttype = {arXiv},
eprint = {2312.11029},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-11029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/LorchCKMPQSWZ22,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Haojun Ma and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
title = {Armada: Automated Verification of Concurrent Code with Sound Semantic
Extensibility},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {44},
number = {2},
pages = {12:1--12:39},
year = {2022},
url = {https://doi.org/10.1145/3502491},
doi = {10.1145/3502491},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/LorchCKMPQSWZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/MaAGGJKK22,
author = {Haojun Ma and
Hammad Ahmad and
Aman Goel and
Eli Goldweber and
Jean{-}Baptiste Jeannin and
Manos Kapritsos and
Baris Kasikci},
editor = {Jiri Schindler and
Noa Zilberman},
title = {Sift: Using Refinement-guided Automation to Verify Complex Distributed
Systems},
booktitle = {2022 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2022, Carlsbad,
CA, USA, July 11-13, 2022},
pages = {151--166},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/atc22/presentation/ma},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/usenix/MaAGGJKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-13833,
author = {Mohit Tekriwal and
Avi Tachna{-}Fram and
Jean{-}Baptiste Jeannin and
Manos Kapritsos and
Dimitra Panagou},
title = {Formally verified asymptotic consensus in robust networks},
journal = {CoRR},
volume = {abs/2202.13833},
year = {2022},
url = {https://arxiv.org/abs/2202.13833},
eprinttype = {arXiv},
eprint = {2202.13833},
timestamp = {Thu, 03 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-13833.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LorchCKPQSWZ20,
author = {Jacob R. Lorch and
Yixuan Chen and
Manos Kapritsos and
Bryan Parno and
Shaz Qadeer and
Upamanyu Sharma and
James R. Wilcox and
Xueyuan Zhao},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Armada: low-effort verification of high-performance concurrent programs},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {197--210},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385971},
doi = {10.1145/3385412.3385971},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LorchCKPQSWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/GoldweberZK20,
author = {Eli Goldweber and
Nuda Zhang and
Manos Kapritsos},
editor = {Yuval Emek and
Christian Cachin},
title = {Brief Announcement: On the Significance of Consecutive Ballots in
Paxos},
booktitle = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, August 3-7, 2020},
pages = {172--174},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382734.3405700},
doi = {10.1145/3382734.3405700},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/GoldweberZK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-01885,
author = {Eli Goldweber and
Nuda Zhang and
Manos Kapritsos},
title = {On the Significance of Consecutive Ballots in Paxos},
journal = {CoRR},
volume = {abs/2006.01885},
year = {2020},
url = {https://arxiv.org/abs/2006.01885},
eprinttype = {arXiv},
eprint = {2006.01885},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-01885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/MaGJKKS19,
author = {Haojun Ma and
Aman Goel and
Jean{-}Baptiste Jeannin and
Manos Kapritsos and
Baris Kasikci and
Karem A. Sakallah},
title = {Towards Automatic Inference of Inductive Invariants},
booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
2019, Bertinoro, Italy, May 13-15, 2019},
pages = {30--36},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3317550.3321451},
doi = {10.1145/3317550.3321451},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/MaGJKKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MaGJKKS19,
author = {Haojun Ma and
Aman Goel and
Jean{-}Baptiste Jeannin and
Manos Kapritsos and
Baris Kasikci and
Karem A. Sakallah},
editor = {Tim Brecht and
Carey Williamson},
title = {{I4:} incremental inference of inductive invariants for verification
of distributed protocols},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {370--384},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359651},
doi = {10.1145/3341301.3359651},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/MaGJKKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/AksoyK19,
author = {Remzi Can Aksoy and
Manos Kapritsos},
editor = {Tim Brecht and
Carey Williamson},
title = {Aegean: replication beyond the client-server model},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {385--398},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359663},
doi = {10.1145/3341301.3359663},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/AksoyK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/HawblitzelHKLPR17,
author = {Chris Hawblitzel and
Jon Howell and
Manos Kapritsos and
Jacob R. Lorch and
Bryan Parno and
Michael Lowell Roberts and
Srinath T. V. Setty and
Brian Zill},
title = {IronFleet: proving safety and liveness of practical distributed systems},
journal = {Commun. {ACM}},
volume = {60},
number = {7},
pages = {83--92},
year = {2017},
url = {https://doi.org/10.1145/3068608},
doi = {10.1145/3068608},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/HawblitzelHKLPR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BondHKLLPRST17,
author = {Barry Bond and
Chris Hawblitzel and
Manos Kapritsos and
K. Rustan M. Leino and
Jacob R. Lorch and
Bryan Parno and
Ashay Rane and
Srinath T. V. Setty and
Laure Thompson},
editor = {Engin Kirda and
Thomas Ristenpart},
title = {Vale: Verifying High-Performance Cryptographic Assembly Code},
booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
BC, Canada, August 16-18, 2017},
pages = {917--934},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond},
timestamp = {Mon, 01 Feb 2021 08:42:59 +0100},
biburl = {https://dblp.org/rec/conf/uss/BondHKLLPRST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HawblitzelHKLPR15,
author = {Chris Hawblitzel and
Jon Howell and
Manos Kapritsos and
Jacob R. Lorch and
Bryan Parno and
Michael Lowell Roberts and
Srinath T. V. Setty and
Brian Zill},
editor = {Ethan L. Miller and
Steven Hand},
title = {IronFleet: proving practical distributed systems correct},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles,
{SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
pages = {1--17},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2815400.2815428},
doi = {10.1145/2815400.2815428},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/HawblitzelHKLPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/XieSLAK015,
author = {Chao Xie and
Chunzhi Su and
Cody Littley and
Lorenzo Alvisi and
Manos Kapritsos and
Yang Wang},
editor = {Ethan L. Miller and
Steven Hand},
title = {High-performance {ACID} via modular concurrency control},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles,
{SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
pages = {279--294},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2815400.2815430},
doi = {10.1145/2815400.2815430},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/XieSLAK015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/0009KSAD14,
author = {Yang Wang and
Manos Kapritsos and
Lara Schmidt and
Lorenzo Alvisi and
Mike Dahlin},
editor = {Ratul Mahajan and
Ion Stoica},
title = {Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems},
booktitle = {Proceedings of the 11th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2014, Seattle, WA, USA, April 2-4, 2014},
pages = {129--141},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/wang\_yang},
timestamp = {Tue, 02 Feb 2021 08:05:43 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/0009KSAD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/XieSK0YAM14,
author = {Chao Xie and
Chunzhi Su and
Manos Kapritsos and
Yang Wang and
Navid Yaghmazadeh and
Lorenzo Alvisi and
Prince Mahajan},
editor = {Jason Flinn and
Hank Levy},
title = {Salt: Combining {ACID} and {BASE} in a Distributed Database},
booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
pages = {495--509},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/xie},
timestamp = {Tue, 02 Feb 2021 08:05:58 +0100},
biburl = {https://dblp.org/rec/conf/osdi/XieSK0YAM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/0009KRMKAD13,
author = {Yang Wang and
Manos Kapritsos and
Zuocheng Ren and
Prince Mahajan and
Jeevitha Kirubanandam and
Lorenzo Alvisi and
Mike Dahlin},
editor = {Nick Feamster and
Jeffrey C. Mogul},
title = {Robustness in the Salus Scalable Block Store},
booktitle = {Proceedings of the 10th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2013, Lombard, IL, USA, April 2-5, 2013},
pages = {357--370},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/wang\_yang},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/0009KRMKAD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/Kapritsos0QCAD12,
author = {Manos Kapritsos and
Yang Wang and
Vivien Qu{\'{e}}ma and
Allen Clement and
Lorenzo Alvisi and
Mike Dahlin},
editor = {Chandu Thekkath and
Amin Vahdat},
title = {All about Eve: Execute-Verify Replication for Multi-Core Servers},
booktitle = {10th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2012, Hollywood, CA, USA, October 8-10, 2012},
pages = {237--250},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/kapritsos},
timestamp = {Tue, 02 Feb 2021 08:05:55 +0100},
biburl = {https://dblp.org/rec/conf/osdi/Kapritsos0QCAD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KapritsosJ10,
author = {Manos Kapritsos and
Flavio Paiva Junqueira},
editor = {Paulo Ver{\'{\i}}ssimo and
Hakim Weatherspoon},
title = {Scalable Agreement: Toward Ordering as a Service},
booktitle = {Proceedings of the Sixth Workshop on Hot Topics in System Dependability,
HotDep 2010, Vancouver, BC, Canada, October 3, 2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/hotdep10/scalable-agreement-toward-ordering-service},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KapritsosJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ClementKLWADR09,
author = {Allen Clement and
Manos Kapritsos and
Sangmin Lee and
Yang Wang and
Lorenzo Alvisi and
Michael Dahlin and
Taylor Rich{\'{e}}},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {Upright cluster services},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {277--290},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629602},
doi = {10.1145/1629575.1629602},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/ClementKLWADR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/LiCMKRAD08,
author = {Harry C. Li and
Allen Clement and
Mirco Marchetti and
Manos Kapritsos and
Luke Robison and
Lorenzo Alvisi and
Michael Dahlin},
editor = {Richard Draves and
Robbert van Renesse},
title = {FlightPath: Obedience vs. Choice in Cooperative Services},
booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
pages = {355--368},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full\_papers/li\_h/li\_h.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/LiCMKRAD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/CurryASAKKCMIUKTRYYL07,
author = {Edward Curry and
Knarig Arabshian and
Henning Schulzrinne and
Mohammed Jubaer Arif and
Shanika Karunasekera and
Santosh Kulkarni and
Roberto Speicys Cardoso and
Sonia Ben Mokhtar and
Val{\'{e}}rie Issarny and
Aitor Urbieta and
Manos Kapritsos and
Peter Triantafillou and
Juan Lopez Rubio and
Hao Yang and
Fan Ye and
Zhen Liu},
title = {Middleware 2007 Works in Progress},
journal = {{IEEE} Distributed Syst. Online},
volume = {8},
number = {11},
year = {2007},
url = {https://doi.org/10.1109/MDSO.2007.63},
doi = {10.1109/MDSO.2007.63},
timestamp = {Sun, 26 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dsonline/CurryASAKKCMIUKTRYYL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/KapritsosT07,
author = {Manos Kapritsos and
Peter Triantafillou},
title = {{BAD:} bandwidth adaptive dissemination or (the case for {BAD} trees)},
booktitle = {Middleware 2007, {ACM/IFIP/USENIX} 8th International Middleware Conference,
Newport Beach, CA, USA, November 26-30, 2007, Demos and Posters Proceedings},
pages = {25},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1377943.1377963},
doi = {10.1145/1377943.1377963},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/middleware/KapritsosT07.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-15 20:47 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:
