Petros Maniatis

Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar: Towards verifiable resource accounting for outsourced computation. VEE 2013: 167-178

Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis: Path-exploration lifting: hi-fi tests for lo-fi emulators. ASPLOS 2012: 337-348

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David Wagner: Verification with small and short worlds. FMCAD 2012: 68-77

Petros Maniatis, Byung-Gon Chun: Small trusted primitives for dependable systems. Operating Systems Review 45(1): 126-141 (2011)

Vyas Sekar, Petros Maniatis: Verifiable resource accounting for cloud computing services. CCSW 2011: 21-26

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti: CloneCloud: elastic execution between mobile device and cloud. EuroSys 2011: 301-314

Katerina J. Argyraki, Petros Maniatis, Ankit Singla: Verifiable network-performance measurements. CoNEXT 2010: 1

Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik: Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. NIPS 2010: 883-891

Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun: A Data Capsule Framework For Web Services: Providing Flexible Data Access Control To Users. CoRR abs/1002.0298 (2010)

Katerina J. Argyraki, Petros Maniatis, Ankit Singla: Verifiable Network-Performance Measurements. CoRR abs/1005.3148 (2010)

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik: CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution. CoRR abs/1009.3088 (2010)

Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik: Mantis: Predicting System Performance through Program Analysis and Modeling. CoRR abs/1010.0019 (2010)

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica: Declarative networking. Commun. ACM 52(11): 87-95 (2009)

Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz: Tiered Fault Tolerance for Long-Term Integrity. FAST 2009: 267-282

Byung-Gon Chun, Petros Maniatis: Augmented Smartphone Applications Through Clone Cloud Execution. HotOS 2009

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis: Zeno: Eventually Consistent Byzantine-Fault Tolerance. NSDI 2009: 169-184

Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, Sylvia Ratnasamy: Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks. NSDI 2009: 307-320

Tyson Condie, David Chu, Joseph M. Hellerstein, Petros Maniatis: Evita raced: metacompilation for declarative networks. PVLDB 1(1): 1153-1165 (2008)

Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe: BFT Protocols Under Fire. NSDI 2008: 189-204

Byung-Gon Chun, Petros Maniatis, Scott Shenker: Diverse Replication for Single-Machine Byzantine-Fault Tolerance. USENIX Annual Technical Conference 2008: 287-292

Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft: Public Health for the Internet (PHI). CIDR 2007: 332-340

Minos N. Garofalakis, Joseph M. Hellerstein, Petros Maniatis: Proof Sketches: Verifiable In-Network Aggregation. ICDE 2007: 996-1005

Katerina J. Argyraki, Petros Maniatis, O. Irzak, S. Ashish, Scott Shenker: Loss and Delay Accountability for the Internet. ICNP 2007: 194-205

Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica: Friday: Global Comprehension for Distributed Replay. NSDI 2007

Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz: Attested append-only memory: making adversaries stick to their word. SOSP 2007: 189-204

Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale: A fresh look at the reliability of long-term digital storage. EuroSys 2006: 221-234

Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel: Using queries for distributed monitoring and forensics. EuroSys 2006: 389-402

Tyson Condie, Varun Kacholia, Sriram Sank, Joseph M. Hellerstein, Petros Maniatis: Induced Churn as Shelter from Routing-Table Poisoning. NDSS 2006

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica: Declarative networking: language, execution and optimization. SIGMOD Conference 2006: 97-108

Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, David S. H. Rosenthal, Mary Baker: The LOCKSS peer-to-peer digital preservation system. ACM Trans. Comput. Syst. 23(1): 2-50 (2005)

Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi: The Architecture of PIER: an Internet-Scale Query Processor. CIDR 2005: 28-43

Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, Michael L. Scott: The Many Faces of Systems Research - and How to Evaluate Them. HotOS 2005

Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica: Implementing declarative overlays. SOSP 2005: 75-90

Thomas J. Giuli, Petros Maniatis, Mary Baker, David S. H. Rosenthal, Mema Roussopoulos: Attrition Defenses for a Peer-to-Peer Digital Preservation System. USENIX Annual Technical Conference, General Track 2005: 163-178

Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale: A Fresh Look at the Reliability of Long-term Digital Storage. CoRR abs/cs/0508130 (2005)

Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul: 2 P2P or Not 2 P2P? IPTPS 2004: 33-43

Petros Maniatis, Thomas J. Giuli, Mema Roussopoulos, David S. H. Rosenthal, Mary Baker: Impeding attrition attacks in P2P systems. ACM SIGOPS European Workshop 2004: 12

David S. H. Rosenthal, Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, Mary Baker: Notes On The Design Of An Internet Adversary. CoRR cs.DL/0411078 (2004)

Petros Maniatis, David S. H. Rosenthal, Mema Roussopoulos, Mary Baker, Thomas J. Giuli, Yanto Muliadi: Preserving peer replicas by rate-limited sampled voting. SOSP 2003: 44-59

Petros Maniatis, Mary Baker: A Historic Name-Trail Service. WMCSA 2003: 88-99

Petros Maniatis, Mary Baker: Authenticated Append-only Skip Lists. CoRR cs.CR/0302010 (2003)

Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, David S. H. Rosenthal, Mary Baker, Yanto Muliadi: Preserving Peer Replicas By Rate-Limited Sampled Voting in LOCKSS. CoRR cs.DC/0303026 (2003)

Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul: 2 P2P or Not 2 P2P? CoRR cs.NI/0311017 (2003)

Petros Maniatis, Mary Baker: Enabling the Archival Storage of Signed Documents. FAST 2002: 31-45

Tyron Stading, Petros Maniatis, Mary Baker: Peer-to-Peer Caching Schemes to Address Flash Crowds. IPTPS 2002: 203-213

Petros Maniatis, Mary Baker: Secure History Preservation Through Timeline Entanglement. USENIX Security Symposium 2002: 297-312

Petros Maniatis, Mary Baker: Secure History Preservation Through Timeline Entanglement. CoRR cs.DC/0202005 (2002)

Petros Maniatis, Mary Baker: A Historic Name-Trail Service. CoRR cs.NI/0210019 (2002)

Petros Maniatis, Thomas J. Giuli, Mary Baker: Enabling the Long-Term Archival of Signed Documents through Time Stamping. CoRR cs.DC/0106058 (2001)

Petros Maniatis, Mema Roussopoulos, Edward Swierk, Kevin Lai, Guido Appenzeller, Xinhua Zhao, Mary Baker: The mobile people architecture. Mobile Computing and Communications Review 3(3): 36-42 (1999)

Mema Roussopoulos, Petros Maniatis, Edward Swierk, Kevin Lai, Guido Appenzeller, Mary Baker: Person-level Routing in the Mobile People Architecture. USENIX Symposium on Internet Technologies and Systems 1999