Folgen
Manos Kapritsos
Manos Kapritsos
Associate Professor, University of Michigan
Bestätigte E-Mail-Adresse bei umich.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
IronFleet: proving practical distributed systems correct
C Hawblitzel, J Howell, M Kapritsos, JR Lorch, B Parno, ML Roberts, ...
Proceedings of the 25th Symposium on Operating Systems Principles, 1-17, 2015
4212015
Upright cluster services
A Clement, M Kapritsos, S Lee, Y Wang, L Alvisi, M Dahlin, T Riche
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
3172009
All about eve:{Execute-Verify} replication for {Multi-Core} servers
M Kapritsos, Y Wang, V Quema, A Clement, L Alvisi, M Dahlin
10th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2012
2502012
Vale: Verifying {High-Performance} Cryptographic Assembly Code
B Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ...
26th USENIX security symposium (USENIX security 17), 917-934, 2017
1742017
FlightPath: Obedience vs. Choice in Cooperative Services.
HC Li, A Clement, M Marchetti, M Kapritsos, L Robison, L Alvisi, M Dahlin
OSDI 8, 355-368, 2008
1262008
High-performance ACID via modular concurrency control
C Xie, C Su, C Littley, L Alvisi, M Kapritsos, Y Wang
Proceedings of the 25th Symposium on Operating Systems Principles, 279-294, 2015
1162015
Robustness in the Salus scalable block store
Y Wang, M Kapritsos, Z Ren, P Mahajan, J Kirubanandam, L Alvisi, ...
10th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2013
842013
Salt: Combining {ACID} and {BASE} in a distributed database
C Xie, C Su, M Kapritsos, Y Wang, N Yaghmazadeh, L Alvisi, P Mahajan
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
742014
I4: incremental inference of inductive invariants for verification of distributed protocols
H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019
732019
Scalable agreement: Toward ordering as a service
M Kapritsos, FP Junqueira
Sixth Workshop on Hot Topics in System Dependability (HotDep 10), 2010
492010
Armada: low-effort verification of high-performance concurrent programs
JR Lorch, Y Chen, M Kapritsos, B Parno, S Qadeer, U Sharma, JR Wilcox, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
442020
Exalt: Empowering Researchers to Evaluate {Large-Scale} Storage Systems
Y Wang, M Kapritsos, L Schmidt, L Alvisi, M Dahlin
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014
312014
Robustness in a scalable block storage system
MD Dahlin, L Alvisi, L Ganesh, M Silberstein, Y Wang, M Kapritsos, ...
US Patent App. 13/967,513, 2014
232014
Aegean: replication beyond the client-server model
RC Aksoy, M Kapritsos
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 385-398, 2019
172019
Towards automatic inference of inductive invariants
H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah
Proceedings of the Workshop on Hot Topics in Operating Systems, 30-36, 2019
82019
Sift: Using refinement-guided automation to verify complex distributed systems
H Ma, H Ahmad, A Goel, E Goldweber, JB Jeannin, M Kapritsos, B Kasikci
2022 USENIX Annual Technical Conference (USENIX ATC 22), 151-166, 2022
52022
Bad: Bandwidth adaptive dissemination or (the case for bad trees)
M Kapritsos, P Triantafillou
Proceedings of the 2007 ACM/IFIP/USENIX international conference on …, 2007
42007
Armada: Automated verification of concurrent code with sound semantic extensibility
JR Lorch, Y Chen, M Kapritsos, H Ma, B Parno, S Qadeer, U Sharma, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (2), 1-39, 2022
32022
Performal: Formal Verification of Latency Properties for Distributed Systems
TN Zhang, U Sharma, M Kapritsos
Proceedings of the ACM on Programming Languages 7 (PLDI), 368-393, 2023
22023
All about Eve: Execute-verify replication for multicore servers (extended version)
M Kapritsos, Y Wang, V Quema, A Clement, L Alvisi, M Dahlin
Technical Report TR-12-23, Department of Computer Science, The University of …, 2012
22012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20