Koushik Sen
- LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code
2024/03/12 by Naman Jain, Jain, Naman, King Han +17 · 1 voice · 570 citations
Computer Science · #Model-Driven Software Engineering Techniques #Software Engineering Research #cs.CL #cs.LG #cs.SE
- Type-Constrained Code Generation with Language Models
2025/04/12 by Niels Mündler, Jingxuan He, Hao Wang +3 · 17 voices · 23 citations
Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Software Testing and Debugging Techniques
- GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
2025/04/27 by Lakshya A Agrawal, Shangyin Tan, Agrawal, Lakshya A +33 · 7 voices · 72 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
- Ansor: Generating High-Performance Tensor Programs for Deep Learning
2020/06/11 by Lianmin Zheng, Chengfan Jia, Zheng, Lianmin +21 · 55 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, Cheng, Audrey, Shu Liu +32 · 4 voices · 10 citations
Social Sciences · #Ethics and Social Impacts of AI #cs.AI
- FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage
2017/09/20 by Caroline Lemieux, Koushik Sen · 1 voice · 7 citations
Computer Science · #Advanced Malware Detection Techniques #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.CR #cs.SE
- Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
2024/12/18 by Manish Shetty, Naman Jain, Shetty, Manish +7 · 1 voice · 11 citations
#cs.SE #cs.AI #cs.LG #cs.PL
- The Sky Above The Clouds
2022/05/14 by Sarah Chasins, Alvin Cheung, Chasins, Sarah +32 · 2 voices
Business, Management and Accounting · Engineering · Computer Science · #Digital Platforms and Economics #Green IT and Sustainability #Cloud Computing and Resource Management
- GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents
2025/05/29 by Manish Shetty, Naman Jain, Shetty, Manish +9 · 2 voices · 13 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
- Challenges and Paths Towards AI for Software Engineering
2025/03/28 by Alex Gu, Naman Jain, Gu, Alex +17 · 4 voices · 6 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 · 7 citations
Computer Science · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Parallel Computing and Optimization Techniques
- ItyFuzz: Snapshot-Based Fuzzer for Smart Contract
2023/06/29 by Chaofan Shou, Shou, Chaofan, Shangyin Tan +3 · 8 citations
Computer Science · #Advanced Malware Detection Techniques #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Security and Verification in Computing #Software Engineering (cs.SE)
- Semantic Fuzzing with Zest
2018/11/30 by Rohan Padhye, Caroline Lemieux, Koushik Sen +2 · 1 voice · 1 citation
Computer Science · #cs.SE
- LLM-Assisted Code Cleaning For Training Accurate Code Generators
2023/11/25 by Naman Jain, Tianjun Zhang, Jain, Naman +9 · 7 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques
- DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
2023/12/20 by Arnav Singhvi, Singhvi, Arnav, Manish Shetty +11 · 7 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 Ed Younis, Younis, Ed, Koushik Sen +5 · 3 citations
Computer Science · #FOS: Physical sciences #Parallel Computing and Optimization Techniques #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Quantum-Dot Cellular Automata
- Benchmarking Language Models for Code Syntax Understanding
2022/10/26 by Da Shen, Shen, Da, Xinyun Chen +7 · 4 citations
Computer Science · #Advanced Malware Detection Techniques #Computation and Language (cs.CL) #FOS: Computer and information sciences #Software Engineering Research #Software System Performance and Reliability
- Heuristics for Quantum Compiling with a Continuous Gate Set
2019/12/05 by Marc Davis, Davis, Marc Grau, Ethan Smith +9 · 4 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)
- LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity
2022/07/26 by Martin Gubri, Gubri, Martin, Maxime Cordy +7 · 3 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)
- SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics
2023/05/29 by Arash Ardakani, Altan Haan, Ardakani, Arash +11 · 3 citations
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
- LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
2024/01/20 by Chaofan Shou, Shou, Chaofan, Jing Liu +5 · 3 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
- Selecting Fault Revealing Mutants
2018/03/21 by Thierry Titcheu Chekam, Mike Papadakis, Chekam, Thierry Titcheu +7 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
- optimizeanything: Unified Text Optimization can Outperform Specialized Systems
2026/05/19 by Lakshya A Agrawal, Donghyun Lee, Shangyin Tan +11 · 1 voice
Computer Science · #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG #cs.NE #cs.SE
- CodeScholar: Growing Idiomatic Code Examples
2023/12/23 by Manish Shetty, Shetty, Manish, Koushik Sen +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Open Source Software Innovations #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Engineering Techniques and Practices
- 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
- LangProBe: a Language Programs Benchmark
2025/02/27 by Shangyin Tan, Tan, Shangyin, Lakshya A Agrawal +17 · 1 voice · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Natural Language Processing Techniques #Parallel Computing and Optimization Techniques #cs.AI #cs.CL #cs.IR #cs.LG
- RECEIPT: Deterministic, Reward-Hacking-Resistant Verification for White-Box Agentic XSS Discovery
2026/07/20 by Muxi Lyu, Karen Shieh, Yiwei Hou +3
#cs.CR