Petros Maniatis

97 papers A* 19A 14B 3C 2Misc 4Journal 34Unranked 19

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Outrunning LLM Cutoffs: A Live Kernel Crash Resolution Benchmark for All. CoRR Chenxi Huang, Alex Mathai, Feiyang Yu, Aleksandr Nogikh, Petros Maniatis, Franjo Ivancic, Eugene Wu, Kostis Kaffes, Junfeng Yang, Baishakhi Ray
2026	J	`jnl`	RubberDuckBench: A Benchmark for AI Coding Assistants. CoRR Ferida Mohammad, Fatma Ayad, Petros Maniatis, Satish Chandra, Elizabeth Dinella
2025	J	`jnl`	CrashFixer: A crash resolution agent for the Linux kernel. CoRR Alex Mathai, Chenxi Huang, Suwei Ma, Jihwan Kim, Hailie Mitchell, Aleksandr Nogikh, Petros Maniatis, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
2025	—	`conf`	Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. ASPLOS (2) Sishuai Gong, Wang Rui, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
2024	—	`conf`	AI-Assisted Assessment of Coding Practices in Modern Code Review. AIware 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
2024	J	`jnl`	AI-Assisted Assessment of Coding Practices in Modern Code Review. CoRR 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
2024	J	`jnl`	CRQBench: A Benchmark of Code Reasoning Questions. CoRR Elizabeth Dinella, Satish Chandra, Petros Maniatis
2024	—	`conf`	CodeQueries: A Dataset of Semantic Queries over Code. ISEC Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
2024	J	`jnl`	KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution. CoRR Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
2024	—	`conf`	Resolving Code Review Comments with Machine Learning. ICSE-SEIP 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
2024	A*	`conf`	kGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution. NeurIPS Alex Mathai, Chenxi Huang, Petros Maniatis, Aleksandr Nogikh, Franjo Ivancic, Junfeng Yang, Baishakhi Ray
2023	C	`conf`	Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract. ISMM Christian Navasca, Martin Maas, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu
2023	A*	`conf`	Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. SOSP Sishuai Gong, Dinglan Peng, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
2022	J	`jnl`	A Library for Representing Python Programs as Graphs for Machine Learning. CoRR David Bieber, Kensen Shi, Petros Maniatis, Charles Sutton, Vincent J. Hellendoorn, Daniel D. Johnson, Daniel Tarlow
2022	A*	`conf`	CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
2022	J	`jnl`	Learning to Answer Semantic Queries over Code. CoRR Surya Prakash Sahu, Madhurima Mandal, Shikhar Bharadwaj, Aditya Kanade, Petros Maniatis, Shirish K. Shevade
2021	A*	`conf`	PLUR: A Unifying, Graph-Based View of Program Learning, Understanding, and Repair. NeurIPS Zimin Chen, Vincent J. Hellendoorn, Pascal Lamblin, Petros Maniatis, Pierre-Antoine Manzagol, Daniel Tarlow, Subhodeep Moitra
2021	A*	`conf`	Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. SOSP Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis
2021	A*	`conf`	SpreadsheetCoder: Formula Prediction from Semi-structured Context. ICML Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou
2021	J	`jnl`	SpreadsheetCoder: Formula Prediction from Semi-structured Context. CoRR Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou
2020	A*	`conf`	Global Relational Models of Source Code. ICLR Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber
2020	A*	`conf`	Learning and Evaluating Contextual Embedding of Source Code. ICML Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2020	J	`jnl`	Neural Program Synthesis with a Differentiable Fixer. CoRR Matej Balog, Rishabh Singh, Petros Maniatis, Charles Sutton
2020	J	`jnl`	Pre-trained Contextual Embedding of Source Code. CoRR Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi
2020	J	`jnl`	überSpark: Practical, Provable, End-to-End Guarantees on Commodity Heterogenous Interconnected Computing Platforms. ACM SIGOPS Oper. Syst. Rev. Amit Vasudevan, Petros Maniatis, Ruben Martins
2019	—	`conf`	Neural Program Repair by Jointly Learning to Localize and Repair. ICLR (Poster) Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2019	J	`jnl`	Neural Program Repair by Jointly Learning to Localize and Repair. CoRR Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2018	—	`conf`	The Use of CT Scans and 3D Modeling as a Powerful Tool to Assist Fossil Vertebrate Taxonomy. EuroMed (1) George Theodorou, Yiannis Bassiakos, Evangelos Tsakalos, Evyenia Yiannouli, Petros Maniatis
2017	A	`conf`	Glimmers: Resolving the Privacy/Trust Quagmire. HotOS David Lie, Petros Maniatis
2017	J	`jnl`	Glimmers: Resolving the Privacy/Trust Quagmire. CoRR David Lie, Petros Maniatis
2017	J	`jnl`	Oblivious Stash Shuffle. CoRR Petros Maniatis, Ilya Mironov, Kunal Talwar
2017	A*	`conf`	Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers. USENIX Security Symposium Thurston H. Y. Dang, Petros Maniatis, David A. Wagner
2017	A*	`conf`	Prochlo: Strong Privacy for Analytics in the Crowd. SOSP Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld
2017	J	`jnl`	Prochlo: Strong Privacy for Analytics in the Crowd. CoRR Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld
2016	A*	`conf`	überSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. USENIX Security Symposium Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, Anupam Datta
2015	J	`jnl`	Mantis: Efficient Predictions of Execution Time, Energy Usage, Memory Usage and Network Usage on Smart Mobile Devices. IEEE Trans. Mob. Comput. Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
2015	A	`conf`	The Performance Cost of Shadow Stacks and Stack Canaries. AsiaCCS Thurston H. Y. Dang, Petros Maniatis, David A. Wagner
2013	A	`ed.`	14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA, May 13-15, 2013 HotOS Petros Maniatis
2013	—	`conf`	Mantis: Automatic Performance Prediction for Smartphone Applications. USENIX ATC Yongin Kwon, Sangmin Lee, Hayoon Yi, Donghyun Kwon, Seungjun Yang, Byung-Gon Chun, Ling Huang, Petros Maniatis, Mayur Naik, Yunheung Paek
2013	C	`conf`	Symbolic software model validation. MEMOCODE Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
2013	B	`conf`	Towards verifiable resource accounting for outsourced computation. VEE Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar
2012	A*	`conf`	Path-exploration lifting: hi-fi tests for lo-fi emulators. ASPLOS Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis
2012	B	`conf`	Verification with small and short worlds. FMCAD Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
2011	A	`conf`	CloneCloud: elastic execution between mobile device and cloud. EuroSys Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti
2011	A	`conf`	Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection. HotOS Petros Maniatis, Devdatta Akhawe, Kevin R. Fall, Elaine Shi, Dawn Song
2011	—	`conf`	Secure Data Preservers for Web Services. WebApps Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun
2011	J	`jnl`	Small trusted primitives for dependable systems. ACM SIGOPS Oper. Syst. Rev. Petros Maniatis, Byung-Gon Chun
2011	—	`conf`	Verifiable resource accounting for cloud computing services. CCSW Vyas Sekar, Petros Maniatis
2010	J	`jnl`	A Data Capsule Framework For Web Services: Providing Flexible Data Access Control To Users CoRR Jayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun
2010	J	`jnl`	CloneCloud: Boosting Mobile Device Applications Through Cloud Clone Execution CoRR Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik
2010	J	`jnl`	Mantis: Predicting System Performance through Program Analysis and Modeling CoRR Byung-Gon Chun, Ling Huang, Sangmin Lee, Petros Maniatis, Mayur Naik
2010	—	`conf`	Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression. NIPS Ling Huang, Jinzhu Jia, Bin Yu, Byung-Gon Chun, Petros Maniatis, Mayur Naik
2010	J	`jnl`	Verifiable Network-Performance Measurements CoRR Katerina J. Argyraki, Petros Maniatis, Ankit Singla
2010	A	`conf`	Verifiable network-performance measurements. CoNEXT Katerina J. Argyraki, Petros Maniatis, Ankit Singla
2009	A	`conf`	Augmented Smartphone Applications Through Clone Cloud Execution. HotOS Byung-Gon Chun, Petros Maniatis
2009	J	`jnl`	Declarative networking. Commun. ACM Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
2009	Misc	`conf`	Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks. NSDI Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, Sylvia Ratnasamy
2009	A	`conf`	Tiered Fault Tolerance for Long-Term Integrity. FAST Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz
2009	Misc	`conf`	Zeno: Eventually Consistent Byzantine-Fault Tolerance. NSDI Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
2008	Misc	`conf`	BFT Protocols Under Fire. NSDI Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe
2008	—	`conf`	Defining weakly consistent Byzantine fault-tolerant services. LADIS Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis
2008	—	`conf`	Diverse Replication for Single-Machine Byzantine-Fault Tolerance. USENIX ATC Byung-Gon Chun, Petros Maniatis, Scott Shenker
2008	J	`jnl`	Evita raced: metacompilation for declarative networks. Proc. VLDB Endow. Tyson Condie, David Chu, Joseph M. Hellerstein, Petros Maniatis
2008	—	`ed.`	Proceedings of the Fourth Workshop on Hot Topics in System Dependability, HotDep 2008, San Diego, CA, USA, December 7, 2008 HotDep Lorenzo Alvisi, Petros Maniatis
2007	A*	`conf`	Attested append-only memory: making adversaries stick to their word. SOSP Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz
2007	Misc	`conf`	Friday: Global Comprehension for Distributed Replay. NSDI Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica
2007	B	`conf`	Loss and Delay Accountability for the Internet. ICNP Katerina J. Argyraki, Petros Maniatis, Olga Irzak, Subramanian Ashish, Scott Shenker
2007	A*	`conf`	Proof Sketches: Verifiable In-Network Aggregation. ICDE Minos N. Garofalakis, Joseph M. Hellerstein, Petros Maniatis
2007	A	`conf`	Public Health for the Internet (PHI). CIDR Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft
2006	A	`conf`	A fresh look at the reliability of long-term digital storage. EuroSys Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale
2006	—	`conf`	Declarative networking: language, execution and optimization. SIGMOD Conference Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
2006	A*	`conf`	Induced Churn as Shelter from Routing-Table Poisoning. NDSS Tyson Condie, Varun Kacholia, Sriram Sank, Joseph M. Hellerstein, Petros Maniatis
2006	A	`conf`	Using queries for distributed monitoring and forensics. EuroSys Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel
2005	J	`jnl`	A Fresh Look at the Reliability of Long-term Digital Storage CoRR Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale
2005	A*	`conf`	A need for componentized transport protocols. SOSP Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Sean C. Rhea, Timothy Roscoe
2005	—	`conf`	Attrition Defenses for a Peer-to-Peer Digital Preservation System. USENIX ATC, General Track Thomas J. Giuli, Petros Maniatis, Mary Baker, David S. H. Rosenthal, Mema Roussopoulos
2005	A*	`conf`	Implementing declarative overlays. SOSP Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica
2005	A	`conf`	The Architecture of PIER: an Internet-Scale Query Processor. CIDR Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi
2005	J	`jnl`	The LOCKSS peer-to-peer digital preservation system. ACM Trans. Comput. Syst. Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, David S. H. Rosenthal, Mary Baker
2005	A	`conf`	The Many Faces of Systems Research - and How to Evaluate Them. HotOS Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, Michael L. Scott
2004	—	`conf`	2 P2P or Not 2 P2P? IPTPS Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul
2004	—	`conf`	Impeding attrition attacks in P2P systems. ACM SIGOPS European Workshop Petros Maniatis, Thomas J. Giuli, Mema Roussopoulos, David S. H. Rosenthal, Mary Baker
2004	J	`jnl`	Notes On The Design Of An Internet Adversary CoRR David S. H. Rosenthal, Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, Mary Baker
2003	J	`jnl`	2 P2P or Not 2 P2P? CoRR Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul
2003	—	`conf`	A Historic Name-Trail Service. WMCSA Petros Maniatis, Mary Baker
2003	J	`jnl`	Authenticated Append-only Skip Lists CoRR Petros Maniatis, Mary Baker
2003	—	`—`	Historic integrity in distributed systems. Petros Maniatis
2003	J	`jnl`	Preserving Peer Replicas By Rate-Limited Sampled Voting in LOCKSS CoRR Petros Maniatis, Mema Roussopoulos, Thomas J. Giuli, David S. H. Rosenthal, Mary Baker, Yanto Muliadi
2003	A*	`conf`	Preserving peer replicas by rate-limited sampled voting. SOSP Petros Maniatis, David S. H. Rosenthal, Mema Roussopoulos, Mary Baker, Thomas J. Giuli, Yanto Muliadi
2002	J	`jnl`	A Historic Name-Trail Service CoRR Petros Maniatis, Mary Baker
2002	A	`conf`	Enabling the Archival Storage of Signed Documents. FAST Petros Maniatis, Mary Baker
2002	—	`conf`	Peer-to-Peer Caching Schemes to Address Flash Crowds. IPTPS Tyron Stading, Petros Maniatis, Mary Baker
2002	J	`jnl`	Secure History Preservation Through Timeline Entanglement CoRR Petros Maniatis, Mary Baker
2002	A*	`conf`	Secure History Preservation Through Timeline Entanglement. USENIX Security Symposium Petros Maniatis, Mary Baker
2001	J	`jnl`	Enabling the Long-Term Archival of Signed Documents through Time Stamping CoRR Petros Maniatis, Thomas J. Giuli, Mary Baker
1999	—	`conf`	Person-level Routing in the Mobile People Architecture. USENIX Symposium on Internet Technologies and Systems Mema Roussopoulos, Petros Maniatis, Edward Swierk, Kevin Lai, Guido Appenzeller, Mary Baker
1999	J	`jnl`	The mobile people architecture. ACM SIGMOBILE Mob. Comput. Commun. Rev. Petros Maniatis, Mema Roussopoulos, Edward Swierk, Kevin Lai, Guido Appenzeller, Xinhua Zhao, Mary Baker