Petros Maniatis
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
20
Active years
2002–2025
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPLOS | Snowplow: Effective Kernel Fuzzing with a Learned White-box Test Mutator. | Sishuai Gong, Wang Rui, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2024 | ICSE | Resolving Code Review Comments with Machine Learning. | Alexander Frmmgen, 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 |
| 2023 | SOSP | Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor. | Sishuai Gong, Dinglan Peng, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2022 | ICLR | CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. | Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik |
| 2021 | ICML | SpreadsheetCoder: Formula Prediction from Semi-structured Context. | Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou |
| 2021 | SOSP | Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. | Sishuai Gong, Deniz Altinbken, Pedro Fonseca, Petros Maniatis |
| 2020 | ICLR | Global Relational Models of Source Code. | Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber |
| 2020 | ICML | Learning and Evaluating Contextual Embedding of Source Code. | Aditya Kanade, Petros Maniatis, Gogul Balakrishnan, Kensen Shi |
| 2019 | ICLR | Neural Program Repair by Jointly Learning to Localize and Repair. | Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh |
| 2017 | HotOS | Glimmers: Resolving the Privacy/Trust Quagmire. | David Lie, Petros Maniatis |
| 2017 | SOSP | 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 Tinns, Bernhard Seefeld |
| 2015 | CCS | The Performance Cost of Shadow Stacks and Stack Canaries. | Thurston H. Y. Dang, Petros Maniatis, David A. Wagner |
| 2013 | MEMOCODE | 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 |
| 2013 | USENIX | 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 |
| 2013 | VEE | Towards verifiable resource accounting for outsourced computation. | Chen Chen, Petros Maniatis, Adrian Perrig, Amit Vasudevan, Vyas Sekar |
| 2012 | ASPLOS | Path-exploration lifting: hi-fi tests for lo-fi emulators. | Lorenzo Martignoni, Stephen McCamant, Pongsin Poosankam, Dawn Song, Petros Maniatis |
| 2012 | FMCAD | Verification with small and short worlds. | Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner |
| 2011 | CCS | Verifiable resource accounting for cloud computing services. | Vyas Sekar, Petros Maniatis |
| 2011 | EuroSys | CloneCloud: elastic execution between mobile device and cloud. | Byung-Gon Chun, Sunghwan Ihm, Petros Maniatis, Mayur Naik, Ashwin Patti |
| 2011 | HotOS | 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 |
| 2010 | CoNEXT | Verifiable network-performance measurements. | Katerina J. Argyraki, Petros Maniatis, Ankit Singla |
| 2009 | FAST | Tiered Fault Tolerance for Long-Term Integrity. | Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz |
| 2009 | HotOS | Augmented Smartphone Applications Through Clone Cloud Execution. | Byung-Gon Chun, Petros Maniatis |
| 2009 | NSDI | Not-a-Bot: Improving Service Availability in the Face of Botnet Attacks. | Ramakrishna Gummadi, Hari Balakrishnan, Petros Maniatis, Sylvia Ratnasamy |
| 2009 | NSDI | Zeno: Eventually Consistent Byzantine-Fault Tolerance. | Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis |
| 2008 | NSDI | BFT Protocols Under Fire. | Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe |
| 2008 | USENIX | Diverse Replication for Single-Machine Byzantine-Fault Tolerance. | Byung-Gon Chun, Petros Maniatis, Scott Shenker |
| 2007 | CIDR | Public Health for the Internet (PHI). | Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft |
| 2007 | ICDE | Proof Sketches: Verifiable In-Network Aggregation. | Minos N. Garofalakis, Joseph M. Hellerstein, Petros Maniatis |
| 2007 | ICNP | Loss and Delay Accountability for the Internet. | Katerina J. Argyraki, Petros Maniatis, Olga Irzak, Subramanian Ashish, Scott Shenker |
| 2007 | NSDI | Friday: Global Comprehension for Distributed Replay. | Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica |
| 2007 | SOSP | Attested append-only memory: making adversaries stick to their word. | Byung-Gon Chun, Petros Maniatis, Scott Shenker, John Kubiatowicz |
| 2006 | EuroSys | 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 |
| 2006 | EuroSys | Using queries for distributed monitoring and forensics. | Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel |
| 2006 | NDSS | Induced Churn as Shelter from Routing-Table Poisoning. | Tyson Condie, Varun Kacholia, Sriram Sank, Joseph M. Hellerstein, Petros Maniatis |
| 2006 | SIGMOD | 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 |
| 2005 | CIDR | 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 |
| 2005 | HotOS | 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 |
| 2005 | USENIX | Attrition Defenses for a Peer-to-Peer Digital Preservation System. | Thomas J. Giuli, Petros Maniatis, Mary Baker, David S. H. Rosenthal, Mema Roussopoulos |
| 2005 | SOSP | A need for componentized transport protocols. | Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Sean C. Rhea, Timothy Roscoe |
| 2005 | SOSP | Implementing declarative overlays. | Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica |
| 2003 | SOSP | Preserving peer replicas by rate-limited sampled voting. | Petros Maniatis, David S. H. Rosenthal, Mema Roussopoulos, Mary Baker, Thomas J. Giuli, Yanto Muliadi |
| 2002 | FAST | Enabling the Archival Storage of Signed Documents. | Petros Maniatis, Mary Baker |