Petros Maniatis
- Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities
2025/07/07 by Gheorghe Comanici, Comanici, Gheorghe, Eric Bieber +6844 · 8 voices · 1359 citations
#cs.CL #cs.AI
- SpreadsheetCoder: Formula Prediction from Semi-structured Context
2021/06/26 by Xinyun Chen, Chen, Xinyun, Petros Maniatis +11 · 4 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Spreadsheets and End-User Computing
- CodeQueries: A Dataset of Semantic Queries over Code
2022/09/17 by Surya Prakash Sahu, Sahu, Surya Prakash, Madhurima Mandal +9 · 4 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Engineering Research #Topic Modeling
- Customizing an LLM for Enterprise Software Engineering
2026/05/15 by Aditya Kini, Satish Chandra, Milad Hashemi +15 · 2 voices
#cs.SE
- KGym: A Platform and Dataset to Benchmark Large Language Models on Linux Kernel Crash Resolution
2024/07/02 by Alex Mathai, Chenxi Huang, Mathai, Alex +11 · 5 citations
Computer Science · Engineering · #Software System Performance and Reliability #Advanced Data Processing Techniques
- Neural Program Repair by Jointly Learning to Localize and Repair
2019/04/03 by Marko Vasić, Vasic, Marko, Aditya Kanade +7 · 2 citations
Computer Science · Engineering · #Advanced Memory and Neural Computing #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Neural Networks and Applications #Software Engineering Research
- CRQBench: A Benchmark of Code Reasoning Questions
2024/08/15 by Elizabeth Dinella, Satish Chandra, Dinella, Elizabeth +3 · 2 citations
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research
- kAgent: An execution-guided crash resolution agent for the Linux kernel
2025/04/29 by Alex Mathai, Mathai, Alex, Chenxi Huang +16 · 2 citations
Computer Science · #Security and Verification in Computing #Software System Performance and Reliability #Software Engineering Research
- Enabling the Long-Term Archival of Signed Documents through Time Stamping
2001/06/28 by Petros Maniatis, T. J. Giuli, Thomas J. Giuli +4 · 2 citations
Arts and Humanities · Computer Science · #C.2.4 #Cryptography and Security (cs.CR) #Digital Humanities and Scholarship #Distributed #FOS: Computer and information sciences #H.3.4 #K.6.5 #Parallel #and Cluster Computing (cs.DC) #cs.CR #cs.DC
- TRIM: Reducing AI-Generated CodeSlop via Agent Trajectory Minimization
2026/07/20 by Alex Mathai, Shobini Iyer, Aleksandr Nogikh +4
#cs.SE #cs.AI #cs.OS