Manos Kapritsos

According to our database1, Manos Kapritsos authored at least 19 papers between 2007 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
On the Significance of Consecutive Ballots in Paxos.
CoRR, 2020

Brief Announcement: On the Significance of Consecutive Ballots in Paxos.
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

Armada: low-effort verification of high-performance concurrent programs.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
I4: incremental inference of inductive invariants for verification of distributed protocols.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Aegean: replication beyond the client-server model.
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Towards Automatic Inference of Inductive Invariants.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2017
IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM, 2017

Vale: Verifying High-Performance Cryptographic Assembly Code.
Proceedings of the 26th USENIX Security Symposium, 2017

2015
High-performance ACID via modular concurrency control.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

IronFleet: proving practical distributed systems correct.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014
Salt: Combining ACID and BASE in a Distributed Database.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems.
Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

2013
Robustness in the Salus Scalable Block Store.
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

2012
All about Eve: Execute-Verify Replication for Multi-Core Servers.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

2010
Scalable Agreement: Toward Ordering as a Service.
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2009
Upright cluster services.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008
FlightPath: Obedience vs. Choice in Cooperative Services.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007
Middleware 2007 Works in Progress.
IEEE Distributed Syst. Online, 2007

BAD: bandwidth adaptive dissemination or (the case for BAD trees).
Proceedings of the Middleware 2007, 2007


  Loading...