Sen, Koushik
- GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
2025/04/27 by Lakshya A Agrawal, Shangyin Tan, Agrawal, Lakshya A +33 · 7 voices · 70 citations
Computer Science · #Machine Learning and Data Classification #Multimodal Machine Learning Applications #Reinforcement Learning in Robotics #cs.AI #cs.CL #cs.LG #cs.SE
- Measuring Agents in Production
2025/12/02 by Melissa Z. Pan, Negar Arabzadeh, Pan, Melissa Z. +47 · 11 voices · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computers and Society (cs.CY) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #cs.AI #cs.CY #cs.LG #cs.SE
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
2024/03/12 by Naman Jain, King Han, Jain, Naman +17 · 384 citations
Computer Science · #Software Engineering Research #Model-Driven Software Engineering Techniques
- Ansor: Generating High-Performance Tensor Programs for Deep Learning
2020/06/11 by Lianmin Zheng, Chengfan Jia, Zheng, Lianmin +21 · 37 citations
Computer Science · Mathematics · #Parallel Computing and Optimization Techniques #Advanced Neural Network Applications #Tensor decomposition and applications
- Barbarians at the Gate: How AI is Upending Systems Research
2025/10/07 by Audrey Cheng, Shu Liu, Cheng, Audrey +32 · 4 voices · 10 citations
Social Sciences · #Ethics and Social Impacts of AI #cs.AI
- The Sky Above The Clouds
2022/05/14 by Sarah Chasins, Chasins, Sarah, Alvin Cheung +32 · 2 voices
Business, Management and Accounting · Engineering · Computer Science · #Digital Platforms and Economics #Green IT and Sustainability #Cloud Computing and Resource Management
- Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
2024/12/18 by Manish Shetty, Shetty, Manish, Naman Jain +7 · 1 voice · 9 citations
#cs.SE #cs.AI #cs.LG #cs.PL
- GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
2025/05/29 by Manish Shetty, Shetty, Manish, Naman Jain +9 · 2 voices · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #cs.AI #cs.CL #cs.LG #cs.SE
- Specifications: The missing link to making the development of LLM systems an engineering discipline
2024/11/25 by Ion Stoica, Matei Zaharia, Stoica, Ion +22 · 2 voices · 5 citations
Decision Sciences · Engineering · Mathematics · #Manufacturing Process and Optimization #Modeling, Simulation, and Optimization #Simulation Techniques and Applications #cs.AI #cs.CL #cs.SE
- DeepBugs: A Learning Approach to Name-based Bug Detection
2018/04/30 by Michael Pradel, Koushik Sen, Pradel, Michael +1 · 6 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents
2025/04/09 by Jain, Naman, Singh, Jaskirat, Shetty, Manish +3 · 28 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Challenges and Paths Towards AI for Software Engineering
2025/03/28 by Alex Gu, Naman Jain, Gu, Alex +17 · 4 voices · 3 citations
#cs.SE #cs.AI #cs.LG
- QFAST: Conflating Search and Numerical Optimization for Scalable Quantum\n Circuit Synthesis
2021/03/12 by Ed Younis, Koushik Sen, Younis, Ed +5 · 5 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Parallel Computing and Optimization Techniques
- When Deep Learning Met Code Search
2019/05/09 by Cambronero, Jose, Li, Hongyu, Kim, Seohyun +2 · 4 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
2023/06/29 by Shou, Chaofan, Tan, Shangyin, Sen, Koushik · 5 citations
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Heuristics for Quantum Compiling with a Continuous Gate Set
2019/12/05 by Marc Davis, Davis, Marc Grau, Ethan Smith +9 · 3 citations
Computer Science · Physics and Astronomy · #Emerging Technologies (cs.ET) #FOS: Computer and information sciences #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph)
- LLM-Assisted Code Cleaning For Training Accurate Code Generators
2023/11/25 by Jain, Naman, Zhang, Tianjun, Chiang, Wei-Lin +3 · 4 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
2023/12/20 by Arnav Singhvi, Manish Shetty, Singhvi, Arnav +11 · 4 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
- QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space
2020/03/09 by Younis, Ed, Sen, Koushik, Yelick, Katherine +1 · 2 citations
#FOS: Physical sciences #Quantum Physics (quant-ph)
- LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity
2022/07/26 by Martin Gubri, Gubri, Martin, Maxime Cordy +7 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Adversarial Robustness in Machine Learning #Bacillus and Francisella bacterial research #Computer Vision and Pattern Recognition (cs.CV) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
- Benchmarking Language Models for Code Syntax Understanding
2022/10/26 by Shen, Da, Chen, Xinyun, Wang, Chenguang +2 · 2 citations
#Computation and Language (cs.CL) #FOS: Computer and information sciences
- Selecting Fault Revealing Mutants
2018/03/21 by Chekam, Thierry Titcheu, Papadakis, Mike, Bissyandé, Tegawendé +2 · 1 citation
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts
2018/08/31 by Bavishi, Rohan, Pradel, Michael, Sen, Koushik · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
2024/01/20 by Chaofan Shou, Jing Liu, Shou, Chaofan +5 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research
- The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
2024/02/29 by Gu, Alex, Li, Wen-Ding, Jain, Naman +4 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
2023/05/29 by Arash Ardakani, Altan Haan, Ardakani, Arash +11 · 1 citation
Computer Science · Engineering · #Advanced Neural Network Applications #Computation and Language (cs.CL) #Domain Adaptation and Few-Shot Learning #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices
- CodeScholar: Growing Idiomatic Code Examples
2023/12/23 by Shetty, Manish, Sen, Koushik, Stoica, Ion · 1 citation
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- BACKRUNNER: Mitigating Smart Contract Attacks in the Real World
2024/09/10 by Chaofan Shou, Shou, Chaofan, Yuanyu Ke +23 · 1 citation
Business, Management and Accounting · Computer Science · Economics, Econometrics and Finance · #Blockchain Technology Applications and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FinTech, Crowdfunding, Digital Finance #Insurance and Financial Risk Management