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

The mobile people architecture. - Petros Maniatis; Mema Roussopoulos; Edward Swierk; Kevin Lai 002; Guido Appenzeller; Xinhua Zhao; Mary Baker (ACM SIGMOBILE Mob. Comput. Commun. Rev., 1999)

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

Enabling the Archival Storage of Signed Documents. - Petros Maniatis; Mary Baker (FAST, 2002)

Peer-to-Peer Caching Schemes to Address Flash Crowds. - Tyron Stading; Petros Maniatis; Mary Baker (IPTPS, 2002)

Secure History Preservation Through Timeline Entanglement. - Petros Maniatis; Mary Baker (USENIX Security Symposium, 2002)

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

A Historic Name-Trail Service. - Petros Maniatis; Mary Baker (WMCSA, 2003)

Authenticated Append-only Skip Lists - Petros Maniatis; Mary Baker (CoRR, 2003)

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

Historic integrity in distributed systems. - Petros Maniatis (2003)

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

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

Notes On The Design Of An Internet Adversary - David S. H. Rosenthal; Petros Maniatis; Mema Roussopoulos; Thomas J. Giuli; Mary Baker (CoRR, 2004)

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

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

A need for componentized transport protocols. - Tyson Condie; Joseph M. Hellerstein; Petros Maniatis; Sean C. Rhea; Timothy Roscoe (SOSP, 2005)

Implementing declarative overlays. - Boon Thau Loo; Tyson Condie; Joseph M. Hellerstein; Petros Maniatis; Timothy Roscoe; Ion Stoica (SOSP, 2005)

Attrition Defenses for a Peer-to-Peer Digital Preservation System. - Thomas J. Giuli; Petros Maniatis; Mary Baker; David S. H. Rosenthal; Mema Roussopoulos (USENIX ATC, General Track, 2005)

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

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

Using queries for distributed monitoring and forensics. - Atul Singh; Petros Maniatis; Timothy Roscoe; Peter Druschel (EuroSys, 2006)

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

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

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

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

Loss and Delay Accountability for the Internet. - Katerina J. Argyraki; Petros Maniatis; Olga Irzak; Subramanian Ashish; Scott Shenker (ICNP, 2007)

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

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

Defining weakly consistent Byzantine fault-tolerant services. - Atul Singh; Pedro Fonseca 001; Petr Kuznetsov; Rodrigo Rodrigues 001; Petros Maniatis (LADIS, 2008)

BFT Protocols Under Fire. - Atul Singh; Tathagata Das; Petros Maniatis; Peter Druschel; Timothy Roscoe (NSDI, 2008)

Diverse Replication for Single-Machine Byzantine-Fault Tolerance. - Byung-Gon Chun; Petros Maniatis; Scott Shenker (USENIX ATC, 2008)

Evita raced: metacompilation for declarative networks. - Tyson Condie; David Chu; Joseph M. Hellerstein; Petros Maniatis (Proc. VLDB Endow., 2008)

Tiered Fault Tolerance for Long-Term Integrity. - Byung-Gon Chun; Petros Maniatis; Scott Shenker; John Kubiatowicz (FAST, 2009)

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

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

Zeno: Eventually Consistent Byzantine-Fault Tolerance. - Atul Singh; Pedro Fonseca 001; Petr Kuznetsov; Rodrigo Rodrigues 001; Petros Maniatis (NSDI, 2009)

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

Verifiable network-performance measurements. - Katerina J. Argyraki; Petros Maniatis; Ankit Singla (CoNEXT, 2010)

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

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

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

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

Verifiable resource accounting for cloud computing services. - Vyas Sekar; Petros Maniatis (CCSW, 2011)

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

Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection. - Petros Maniatis; Devdatta Akhawe; Kevin R. Fall; Elaine Shi; Dawn Song (HotOS, 2011)

Secure Data Preservers for Web Services. - Jayanthkumar Kannan; Petros Maniatis; Byung-Gon Chun (WebApps, 2011)

Small trusted primitives for dependable systems. - Petros Maniatis; Byung-Gon Chun (ACM SIGOPS Oper. Syst. Rev., 2011)

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

Verification with small and short worlds. - Rohit Sinha 001; Cynthia Sturton; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (FMCAD, 2012)

Symbolic software model validation. - Cynthia Sturton; Rohit Sinha 001; Thurston H. Y. Dang; Sakshi Jain; Michael McCoyd; Wei Yang Tan; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (MEMOCODE, 2013)

Mantis: Automatic Performance Prediction for Smartphone Applications. - Yongin Kwon; Sangmin Lee; Hayoon Yi; Donghyun Kwon; Seungjun Yang; Byung-Gon Chun; Ling Huang 001; Petros Maniatis; Mayur Naik; Yunheung Paek (USENIX ATC, 2013)

Towards verifiable resource accounting for outsourced computation. - Chen Chen 013; Petros Maniatis; Adrian Perrig; Amit Vasudevan; Vyas Sekar (VEE, 2013)

The Performance Cost of Shadow Stacks and Stack Canaries. - Thurston H. Y. Dang; Petros Maniatis; David A. Wagner 001 (AsiaCCS, 2015)

Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. - Yongin Kwon; Sangmin Lee; Hayoon Yi; Donghyun Kwon; Seungjun Yang; Byung-Gon Chun; Ling Huang 001; Petros Maniatis; Mayur Naik; Yunheung Paek (IEEE Trans. Mob. Comput., 2015)

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. - Amit Vasudevan; Sagar Chaki; Petros Maniatis; Limin Jia 001; Anupam Datta (USENIX Security Symposium, 2016)

Glimmers: Resolving the Privacy/Trust Quagmire. - David Lie; Petros Maniatis (HotOS, 2017)

Prochlo: Strong Privacy for Analytics in the Crowd. - Andrea Bittau; Úlfar Erlingsson; Petros Maniatis; Ilya Mironov; Ananth Raghunathan; David Lie; Mitch Rudominer; Ushasree Kode; Julien Tinnés; Bernhard Seefeld (SOSP, 2017)

Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers. - Thurston H. Y. Dang; Petros Maniatis; David A. Wagner 001 (USENIX Security Symposium, 2017)

Oblivious Stash Shuffle. - Petros Maniatis; Ilya Mironov; Kunal Talwar (CoRR, 2017)

The Use of CT Scans and 3D Modeling as a Powerful Tool to Assist Fossil Vertebrate Taxonomy. - George Theodorou; Yiannis Bassiakos; Evangelos Tsakalos; Evyenia Yiannouli; Petros Maniatis (EuroMed (1), 2018)

Neural Program Repair by Jointly Learning to Localize and Repair. - Marko Vasic; Aditya Kanade 001; Petros Maniatis; David Bieber; Rishabh Singh (ICLR (Poster), 2019)

Global Relational Models of Source Code. - Vincent J. Hellendoorn; Charles Sutton; Rishabh Singh; Petros Maniatis; David Bieber (ICLR, 2020)

Learning and Evaluating Contextual Embedding of Source Code. - Aditya Kanade 001; Petros Maniatis; Gogul Balakrishnan; Kensen Shi (ICML, 2020)

Pre-trained Contextual Embedding of Source Code. - Aditya Kanade 001; Petros Maniatis; Gogul Balakrishnan; Kensen Shi (CoRR, 2020)

Neural Program Synthesis with a Differentiable Fixer. - Matej Balog; Rishabh Singh; Petros Maniatis; Charles Sutton (CoRR, 2020)

überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. - Amit Vasudevan; Petros Maniatis; Ruben Martins (ACM SIGOPS Oper. Syst. Rev., 2020)

SpreadsheetCoder: Formula Prediction from Semi-structured Context. - Xinyun Chen; Petros Maniatis; Rishabh Singh; Charles Sutton; Hanjun Dai; Max Lin; Denny Zhou (ICML, 2021)

PLUR: A Unifying, Graph-Based View of Program Learning, Understanding, and Repair. - Zimin Chen; Vincent J. Hellendoorn; Pascal Lamblin; Petros Maniatis; Pierre-Antoine Manzagol; Daniel Tarlow; Subhodeep Moitra (NeurIPS, 2021)

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. - Sishuai Gong; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (SOSP, 2021)

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. - Pardis Pashakhanloo; Aaditya Naik; Yuepeng Wang 001; Hanjun Dai; Petros Maniatis; Mayur Naik (ICLR, 2022)

A Library for Representing Python Programs as Graphs for Machine Learning. - David Bieber; Kensen Shi; Petros Maniatis; Charles Sutton; Vincent J. Hellendoorn; Daniel D. Johnson 001; Daniel Tarlow (CoRR, 2022)

Learning to Answer Semantic Queries over Code. - Surya Prakash Sahu; Madhurima Mandal; Shikhar Bharadwaj; Aditya Kanade 001; Petros Maniatis; Shirish K. Shevade (CoRR, 2022)

Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract. - Christian Navasca; Martin Maas 001; Petros Maniatis; Hyeontaek Lim; Guoqing Harry Xu (ISMM, 2023)

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. - Sishuai Gong; Dinglan Peng; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (SOSP, 2023)

AI-Assisted Assessment of Coding Practices in Modern Code Review. - Manushree Vijayvergiya; Malgorzata Salawa; Ivan Budiselic; Dan Zheng; Pascal Lamblin; Marko Ivankovic; Juanjo Carin; Mateusz Lewko; Jovan Andonov; Goran Petrovic; Daniel Tarlow; Petros Maniatis; et al. (AIware, 2024)

Resolving Code Review Comments with Machine Learning. - Alexander Frömmgen; Jacob Austin; Peter Choy; Nimesh Ghelani; Lera Kharatyan; Gabriela Surita; Elena Khrapko; Pascal Lamblin; Pierre-Antoine Manzagol; Marcus Revaj; Maxim Tabachnyk; Daniel Tarlow; et al. (ICSE-SEIP, 2024)

CodeQueries: A Dataset of Semantic Queries over Code. - Surya Prakash Sahu; Madhurima Mandal; Shikhar Bharadwaj; Aditya Kanade 001; Petros Maniatis; Shirish K. Shevade (ISEC, 2024)

kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution. - Alex Mathai; Chenxi Huang; Petros Maniatis; Aleksandr Nogikh; Franjo Ivancic; Junfeng Yang; Baishakhi Ray (NeurIPS, 2024)

CRQBench: A Benchmark of Code Reasoning Questions. - Elizabeth Dinella; Satish Chandra 001; Petros Maniatis (CoRR, 2024)

Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. - Sishuai Gong; Wang Rui; Deniz Altinbüken; Pedro Fonseca 001; Petros Maniatis (ASPLOS (2), 2025)

CrashFixer: A crash resolution agent for the Linux kernel. - Alex Mathai; Chenxi Huang; Suwei Ma; Jihwan Kim; Hailie Mitchell; Aleksandr Nogikh; Petros Maniatis; Franjo Ivancic; Junfeng Yang; Baishakhi Ray (CoRR, 2025)