Petros Maniatis

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 31

Top Topics

Machine Learning

Relational Models

Program Synthesis

Top Venues

USENIX Security Symposium

Publications

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, Kevin Villela, Daniel Zheng, Satish Chandra, Petros Maniatis
Resolving Code Review Comments with Machine Learning. ICSE-SEIP (2024)
Manushree Vijayvergiya, Malgorzata Salawa, Ivan Budiselic, Dan Zheng, Pascal Lamblin, Marko Ivankovic, Juanjo Carin, Mateusz Lewko, Jovan Andonov, Goran Petrovic, Daniel Tarlow, Petros Maniatis, René Just
AI-Assisted Assessment of Coding Practices in Modern Code Review. CoRR (2024)
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
CodeQueries: A Dataset of Semantic Queries over Code. ISEC (2024)
Manushree Vijayvergiya, Malgorzata Salawa, Ivan Budiselic, Dan Zheng, Pascal Lamblin, Marko Ivankovic, Juanjo Carin, Mateusz Lewko, Jovan Andonov, Goran Petrovic, Daniel Tarlow, Petros Maniatis, René Just
AI-Assisted Assessment of Coding Practices in Modern Code Review. AIware (2024)
Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution. CoRR (2024)
Christian Navasca, Martin Maas, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract. ISMM (2023)
Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. SOSP (2023)
Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
Learning to Answer Semantic Queries over Code. CoRR (2022)
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR (2022)
David Bieber, Kensen Shi, Petros Maniatis, Charles Sutton, Vincent J. Hellendoorn, Daniel D. Johnson, Daniel Tarlow
A Library for Representing Python Programs as Graphs for Machine Learning. CoRR (2022)
Zimin Chen, Vincent J. Hellendoorn, Pascal Lamblin, Petros Maniatis, Pierre-Antoine Manzagol, Daniel Tarlow, Subhodeep Moitra
PLUR: A Unifying, Graph-Based View of Program Learning, Understanding, and Repair. NeurIPS (2021)
Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. SOSP (2021)
Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou
SpreadsheetCoder: Formula Prediction from Semi-structured Context. CoRR (2021)
Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou
SpreadsheetCoder: Formula Prediction from Semi-structured Context. ICML (2021)
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
Learning and Evaluating Contextual Embedding of Source Code. ICML (2020)
Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
Pre-trained Contextual Embedding of Source Code. CoRR (2020)
Matej Balog, Rishabh Singh, Petros Maniatis, Charles Sutton
Neural Program Synthesis with a Differentiable Fixer. CoRR (2020)
Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber
Global Relational Models of Source Code. ICLR (2020)
Amit Vasudevan, Petros Maniatis, Ruben Martins
überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. ACM SIGOPS Oper. Syst. Rev. 54 (1) (2020)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
Neural Program Repair by Jointly Learning to Localize and Repair. ICLR (Poster) (2019)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
Neural Program Repair by Jointly Learning to Localize and Repair. CoRR (2019)
George Theodorou, Yiannis Bassiakos, Evangelos Tsakalos, Evyenia Yiannouli, Petros Maniatis
The Use of CT Scans and 3D Modeling as a Powerful Tool to Assist Fossil Vertebrate Taxonomy. EuroMed (1) (2018)
Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld
Prochlo: Strong Privacy for Analytics in the Crowd. SOSP (2017)
David Lie, Petros Maniatis
Glimmers: Resolving the Privacy/Trust Quagmire. CoRR (2017)
David Lie, Petros Maniatis
Glimmers: Resolving the Privacy/Trust Quagmire. HotOS (2017)
Thurston H. Y. Dang, Petros Maniatis, David A. Wagner
Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers. USENIX Security Symposium (2017)
Petros Maniatis, Ilya Mironov, Kunal Talwar
Oblivious Stash Shuffle. CoRR (2017)
Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld
Prochlo: Strong Privacy for Analytics in the Crowd. CoRR (2017)
Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta
überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. USENIX Security Symposium (2016)
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. IEEE Trans. Mob. Comput. 14 (10) (2015)
Thurston H. Y. Dang, Petros Maniatis, David A. Wagner
The Performance Cost of Shadow Stacks and Stack Canaries. AsiaCCS (2015)
Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar
Towards verifiable resource accounting for outsourced computation. VEE (2013)
Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
Mantis: Automatic Performance Prediction for Smartphone Applications. USENIX Annual Technical Conference (2013)
Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
Symbolic software model validation. MEMOCODE (2013)
Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis
Path-exploration lifting: hi-fi tests for lo-fi emulators. ASPLOS (2012)
Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
Verification with small and short worlds. FMCAD (2012)
Petros Maniatis, Devdatta Akhawe, Kevin R. Fall, Elaine Shi, Dawn Song
Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection. HotOS (2011)
Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti
CloneCloud: elastic execution between mobile device and cloud. EuroSys (2011)
Vyas Sekar, Petros Maniatis
Verifiable resource accounting for cloud computing services. CCSW (2011)
Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun
Secure Data Preservers for Web Services. WebApps (2011)
Petros Maniatis, Byung-Gon Chun
Small trusted primitives for dependable systems. ACM SIGOPS Oper. Syst. Rev. 45 (1) (2011)
Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun
A Data Capsule Framework For Web Services: Providing Flexible Data Access Control To Users CoRR (2010)
Katerina J. Argyraki, Petros Maniatis, Ankit Singla
Verifiable Network-Performance Measurements CoRR (2010)
Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik
CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution CoRR (2010)
Katerina J. Argyraki, Petros Maniatis, Ankit Singla
Verifiable network-performance measurements. CoNEXT (2010)
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)
Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik
Mantis: Predicting System Performance through Program Analysis and Modeling CoRR (2010)
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
Zeno: Eventually Consistent Byzantine-Fault Tolerance. NSDI (2009)
Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz
Tiered Fault Tolerance for Long-Term Integrity. FAST (2009)
Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, Sylvia Ratnasamy
Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks. NSDI (2009)
Byung-Gon Chun, Petros Maniatis
Augmented Smartphone Applications Through Clone Cloud Execution. HotOS (2009)
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) (2009)
Byung-Gon Chun, Petros Maniatis, Scott Shenker
Diverse Replication for Single-Machine Byzantine-Fault Tolerance. USENIX Annual Technical Conference (2008)
Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
Defining weakly consistent Byzantine fault-tolerant services. LADIS (2008)
Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe
BFT Protocols Under Fire. NSDI (2008)
Tyson Condie, David Chu, Joseph M. Hellerstein, Petros Maniatis
Evita raced: metacompilation for declarative networks. Proc. VLDB Endow. 1 (1) (2008)
Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz
Attested append-only memory: making adversaries stick to their word. SOSP (2007)
Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica
Friday: Global Comprehension for Distributed Replay. NSDI (2007)
Minos N. Garofalakis, Joseph M. Hellerstein, Petros Maniatis
Proof Sketches: Verifiable In-Network Aggregation. ICDE (2007)
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)
Katerina J. Argyraki, Petros Maniatis, Olga Irzak, Subramanian Ashish, Scott Shenker
Loss and Delay Accountability for the Internet. ICNP (2007)
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)
Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel
Using queries for distributed monitoring and forensics. EuroSys (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)
Tyson Condie, Varun Kacholia, Sriram Sank, Joseph M. Hellerstein, Petros Maniatis
Induced Churn as Shelter from Routing-Table Poisoning. NDSS (2006)
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 (2005)
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)
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)
Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica
Implementing declarative overlays. SOSP (2005)
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) (2005)
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)
Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul
2 P2P or Not 2 P2P? IPTPS (2004)
Petros Maniatis, Thomas J. Giuli, Mema Roussopoulos, David S. H. Rosenthal, Mary Baker
Impeding attrition attacks in P2P systems. ACM SIGOPS European Workshop (2004)
David S. H. Rosenthal, Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, Mary Baker
Notes On The Design Of An Internet Adversary CoRR (2004)
Petros Maniatis, Mary Baker
Authenticated Append-only Skip Lists CoRR (2003)
Petros Maniatis, Mary Baker
A Historic Name-Trail Service. WMCSA (2003)
Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul
2 P2P or Not 2 P2P? CoRR (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 (2003)
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)
Petros Maniatis, Mary Baker
A Historic Name-Trail Service CoRR (2002)
Petros Maniatis, Mary Baker
Secure History Preservation Through Timeline Entanglement. USENIX Security Symposium (2002)
Petros Maniatis, Mary Baker
Enabling the Archival Storage of Signed Documents. FAST (2002)
Petros Maniatis, Mary Baker
Secure History Preservation Through Timeline Entanglement CoRR (2002)
Tyron Stading, Petros Maniatis, Mary Baker
Peer-to-Peer Caching Schemes to Address Flash Crowds. IPTPS (2002)
Petros Maniatis, Thomas J. Giuli, Mary Baker
Enabling the Long-Term Archival of Signed Documents through Time Stamping CoRR (2001)
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)
Petros Maniatis, Mema Roussopoulos, Edward Swierk, Kevin Lai, Guido Appenzeller, Xinhua Zhao, Mary Baker
The mobile people architecture. ACM SIGMOBILE Mob. Comput. Commun. Rev. 3 (3) (1999)