Petros Maniatis

According to our database, Petros Maniatis authored at least 75 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

CodeQueries: A Dataset of Semantic Queries over Code.

Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade

Proceedings of the 17th Innovations in Software Engineering Conference, 2024

2023

Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor.

Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract.

Christian Navasca, Martin Maas, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu

Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, 2023

2022

Learning to Answer Semantic Queries over Code.

Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade

CoRR, 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, Daniel Tarlow

CoRR, 2022

CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation.

Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik

Proceedings of the Tenth International Conference on Learning Representations, 2022

2021

Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.

Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 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

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

SpreadsheetCoder: Formula Prediction from Semi-structured Context.

Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou

Proceedings of the 38th International Conference on Machine Learning, 2021

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

Neural Program Synthesis with a Differentiable Fixer.

Matej Balog, Rishabh Singh, Petros Maniatis, Charles Sutton

CoRR, 2020

Pre-trained Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

CoRR, 2020

Learning and Evaluating Contextual Embedding of Source Code.

Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi

Proceedings of the 37th International Conference on Machine Learning, 2020

Global Relational Models of Source Code.

Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber

Proceedings of the 8th International Conference on Learning Representations, 2020

2019

Neural Program Repair by Jointly Learning to Localize and Repair.

Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh

Proceedings of the 7th International Conference on Learning Representations, 2019

2018

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

Proceedings of the Digital Heritage. Progress in Cultural Heritage: Documentation, Preservation, and Protection, 2018

2017

Oblivious Stash Shuffle.

Petros Maniatis, Ilya Mironov, Kunal Talwar

CoRR, 2017

Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers.

Thurston H. Y. Dang, Petros Maniatis, David A. Wagner

Proceedings of the 26th USENIX Security Symposium, 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

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Glimmers: Resolving the Privacy/Trust Quagmire.

David Lie, Petros Maniatis

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor.

Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta

Proceedings of the 25th USENIX Security Symposium, 2016

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, Petros Maniatis, Mayur Naik, Yunheung Paek

IEEE Trans. Mob. Comput., 2015

The Performance Cost of Shadow Stacks and Stack Canaries.

Thurston H. Y. Dang, Petros Maniatis, David A. Wagner

Proceedings of the 10th ACM Symposium on Information, 2015

2013

Towards verifiable resource accounting for outsourced computation.

Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar

Proceedings of the ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (co-located with ASPLOS 2013), 2013

Mantis: Automatic Performance Prediction for Smartphone Applications.

Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Symbolic software model validation.

Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2012

Verification with small and short worlds.

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Path-exploration lifting: hi-fi tests for lo-fi emulators.

Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis

Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, 2012

2011

Small trusted primitives for dependable systems.

Petros Maniatis, Byung-Gon Chun

ACM SIGOPS Oper. Syst. Rev., 2011

Secure Data Preservers for Web Services.

Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun

Proceedings of the 2nd USENIX Conference on Web Application Development, 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

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

CloneCloud: elastic execution between mobile device and cloud.

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti

Proceedings of the European Conference on Computer Systems, 2011

Verifiable resource accounting for cloud computing services.

Vyas Sekar, Petros Maniatis

Proceedings of the 3rd ACM Cloud Computing Security Workshop, 2011

2010

Mantis: Predicting System Performance through Program Analysis and Modeling

Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik

CoRR, 2010

CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution

Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik

CoRR, 2010

A Data Capsule Framework For Web Services: Providing Flexible Data Access Control To Users

Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun

CoRR, 2010

Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression.

Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik

Proceedings of the Advances in Neural Information Processing Systems 23: 24th Annual Conference on Neural Information Processing Systems 2010. Proceedings of a meeting held 6-9 December 2010, 2010

Verifiable network-performance measurements.

Katerina J. Argyraki, Petros Maniatis, Ankit Singla

Proceedings of the 2010 ACM Conference on Emerging Networking Experiments and Technology, 2010

2009

Declarative networking.

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica

Commun. ACM, 2009

Zeno: Eventually Consistent Byzantine-Fault Tolerance.

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks.

Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, Sylvia Ratnasamy

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Augmented Smartphone Applications Through Clone Cloud Execution.

Byung-Gon Chun, Petros Maniatis

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

Tiered Fault Tolerance for Long-Term Integrity.

Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz

Proceedings of the 7th USENIX Conference on File and Storage Technologies, 2009

2008

Evita raced: metacompilation for declarative networks.

Tyson Condie, David Chu, Joseph M. Hellerstein, Petros Maniatis

Proc. VLDB Endow., 2008

Diverse Replication for Single-Machine Byzantine-Fault Tolerance.

Byung-Gon Chun, Petros Maniatis, Scott Shenker

Proceedings of the 2008 USENIX Annual Technical Conference, 2008

BFT Protocols Under Fire.

Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Defining weakly consistent Byzantine fault-tolerant services.

Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis

Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 2008

2007

Attested append-only memory: making adversaries stick to their word.

Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Friday: Global Comprehension for Distributed Replay.

Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica

Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

Loss and Delay Accountability for the Internet.

Katerina J. Argyraki, Petros Maniatis, Olga Irzak, Subramanian Ashish, Scott Shenker

Proceedings of the IEEE International Conference on Network Protocols, 2007

Proof Sketches: Verifiable In-Network Aggregation.

Minos N. Garofalakis, Joseph M. Hellerstein, Petros Maniatis

Proceedings of the 23rd International Conference on Data Engineering, 2007

Public Health for the Internet (PHI).

Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft

Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007

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, Timothy Roscoe, Ion Stoica

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

Induced Churn as Shelter from Routing-Table Poisoning.

Tyson Condie, Varun Kacholia, Sriram Sank, Joseph M. Hellerstein, Petros Maniatis

Proceedings of the Network and Distributed System Security Symposium, 2006

Using queries for distributed monitoring and forensics.

Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

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

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

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

Attrition Defenses for a Peer-to-Peer Digital Preservation System.

Thomas J. Giuli, Petros Maniatis, Mary Baker, David S. H. Rosenthal, Mema Roussopoulos

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

Implementing declarative overlays.

Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 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

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

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

Proceedings of the Second Biennial Conference on Innovative Data Systems Research, 2005

2004

Notes On The Design Of An Internet Adversary

David S. H. Rosenthal, Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, Mary Baker

CoRR, 2004

Impeding attrition attacks in P2P systems.

Petros Maniatis, Thomas J. Giuli, Mema Roussopoulos, David S. H. Rosenthal, Mary Baker

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

2 P2P or Not 2 P2P?

Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul

Proceedings of the Peer-to-Peer Systems III, Third International Workshop, 2004

2003

Historic integrity in distributed systems.

Petros Maniatis

PhD thesis, 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

Authenticated Append-only Skip Lists

Petros Maniatis, Mary Baker

CoRR, 2003

A Historic Name-Trail Service.

Petros Maniatis, Mary Baker

Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003

Preserving peer replicas by rate-limited sampled voting.

Petros Maniatis, David S. H. Rosenthal, Mema Roussopoulos, Mary Baker, Thomas J. Giuli, Yanto Muliadi

Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, 2003

2002

Secure History Preservation Through Timeline Entanglement.

Petros Maniatis, Mary Baker

Proceedings of the 11th USENIX Security Symposium, 2002

Peer-to-Peer Caching Schemes to Address Flash Crowds.

Tyron Stading, Petros Maniatis, Mary Baker

Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

Enabling the Archival Storage of Signed Documents.

Petros Maniatis, Mary Baker

Proceedings of the FAST '02 Conference on File and Storage Technologies, 2002

2001

Enabling the Long-Term Archival of Signed Documents through Time Stamping

Petros Maniatis, Thomas J. Giuli, Mary Baker

CoRR, 2001

1999

The mobile people architecture.

Petros Maniatis, Mema Roussopoulos, Edward Swierk, Kevin Lai, Guido Appenzeller, Xinhua Zhao, Mary Baker

ACM SIGMOBILE Mob. Comput. Commun. Rev., 1999

Person-level Routing in the Mobile People Architecture.

Mema Roussopoulos, Petros Maniatis, Edward Swierk, Kevin Lai, Guido Appenzeller, Mary Baker

Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999