Performal: Formal Verification of Latency Properties for Distributed Systems von Zhang, Tony Nuda, Sharma, Upamanyu, Kapritsos, Manos

Volltext

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility von Lorch, Jacob R., Chen, Yixuan, Kapritsos, Manos, Ma, Haojun, Parno, Bryan, Qadeer, Shaz, Sharma, Upamanyu, Wilcox, James R., Zhao, Xueyuan

Volltext

Picsou: Enabling Efficient Cross-Consensus Communication von Frank, Reginald, Murray, Micah, Gupta, Suyash, Xu, Ethan, Crooks, Natacha, Kapritsos, Manos

Volltext bestellen

On the Significance of Consecutive Ballots in Paxos von Goldweber, Eli, Zhang, Nuda, Kapritsos, Manos

Volltext bestellen

Formally verified asymptotic consensus in robust networks von Tekriwal, Mohit, Tachna-Fram, Avi, Jeannin, Jean-Baptiste, Kapritsos, Manos, Panagou, Dimitra

Volltext bestellen

Formally verified asymptotic consensus in robust networks von Tekriwal, Mohit, Tachna-Fram, Avi, Jeannin, Jean-Baptiste, Manos Kapritsos, Panagou, Dimitra

Volltext

Picsou: Enabling Efficient Cross-Consensus Communication von Frank, Reginald, Murray, Micah, Gupta, Suyash, Xu, Ethan, Crooks, Natacha, Manos Kapritsos

Volltext

On the Significance of Consecutive Ballots in Paxos von Goldweber, Eli, Zhang, Nuda, Manos Kapritsos

Volltext

Middleware 2007 Works in Progress von Curry, Ed, Urbieta, Aitor, Kapritsos, Manos, Triantafillou, Peter, López Rubio, Juan, Yang, Hao, Ye, Fan, Liu, Zhen, Arabshian, Knarig, Schulzrinne, Henning, Jubaer Arif, Mohammed, Karunasekera, Shanika, Kulkarni, Santosh, Speicys Cardoso, Roberto, Ben-Mokhtar, Sonia, Issarny, Valérie

Volltext

ROBUSTNESS IN A SCALABLE BLOCK STORAGE SYSTEM von DAHLIN, MICHAEL, D, MAHAJAN, PRINCE, KAPRITSOS, MANOS, SILBERSTEIN, MARK, WANG, YANG, KIRUBANANDAM, JEEVITHA, REN, ZUOCHENG, ALVISI, LORENZO, GANESH, LAKSHMI

Volltext bestellen

ROBUSTNESS IN A SCALABLE BLOCK STORAGE SYSTEM von GANESH LAKSHMI, SILBERSTEIN MARK, MAHAJAN PRINCE, KIRUBANANDAM JEEVITHA, ALVISI LORENZO, WANG YANG, REN ZUOCHENG, DAHLIN MICHAEL D, KAPRITSOS MANOS

Volltext bestellen

IronFleet: proving safety and liveness of practical distributed systems von Hawblitzel, Chris, Howell, Jon, Kapritsos, Manos, Lorch, Jacob R., Parno, Bryan, Roberts, Michael L., Setty, Srinath, Zill, Brian

Volltext