✦ LIBER ✦

[ACM Press the 8th ACM European Conference - Prague, Czech Republic (2013.04.15-2013.04.17)] Proceedings of the 8th ACM European Conference on Computer Systems - EuroSys '13 - Resolving the conflict between generality and plausibility in verified computation

✍ Scribed by Setty, Srinath; Braun, Benjamin; Vu, Victor; Blumberg, Andrew J.; Parno, Bryan; Walfish, Michael

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 8th ACM European Conferen

✍ Cruz, Francisco; Maia, Francisco; Matos, Miguel; Oliveira, Rui; Paulo, João; Per 📂 Article 📅 2013 🏛 ACM Press ⚖ 474 KB

[ACM Press the 8th ACM European Conferen

✍ Venkataraman, Shivaram; Bodzsar, Erik; Roy, Indrajit; AuYoung, Alvin; Schreiber, 📂 Article 📅 2013 🏛 ACM Press ⚖ 470 KB

[ACM Press the 8th ACM European Conferen

✍ Zhang, Xiao; Tune, Eric; Hagmann, Robert; Jnagal, Rohit; Gokhale, Vrigo; Wilkes, 📂 Article 📅 2013 🏛 ACM Press ⚖ 460 KB

[ACM Press the 5th European conference -

✍ Koufaty, David; Reddy, Dheeraj; Hahn, Scott 📂 Article 📅 2010 🏛 ACM Press ⚖ 1003 KB

[ACM Press the 16th international confer

✍ Sanfelice, Ricardo; Copp, David; Nanez, Pablo 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 599 KB