| 2025 | EMNLP | LangProBe: a Language Program Benchmark. | Shangyin Tan, Lakshya A. Agrawal, Arnav Singhvi, Liheng Lai, Michael J. Ryan, Daniel Klein, Omar Khattab, Koushik Sen, Matei Zaharia |
| 2025 | ICLR | LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. | Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica |
| 2025 | ICML | Position: Future Research and Challenges Remain Towards AI for Software Engineering. | Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama |
| 2024 | ACL | The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? | Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama |
| 2024 | ASPLOS | RTL-Repair: Fast Symbolic Repair of Hardware Design Code. | Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen |
| 2024 | ASPLOS | Zoomie: A Software-like Debugging Tool for FPGAs. | Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic |
| 2024 | ICLR | LLM-Assisted Code Cleaning For Training Accurate Code Generators. | Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica |
| 2024 | ICML | R2E: Turning any Github Repository into a Programming Agent Environment. | Naman Jain, Manish Shetty, Tianjun Zhang, King Han, Koushik Sen, Ion Stoica |
| 2024 | ICSE | Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs. | Dan Zheng, Koushik Sen |
| 2024 | NAACL | SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. | Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen |
| 2023 | ASPLOS | Simulator Independent Coverage for RTL Hardware Languages. | Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen |
| 2023 | HiPC | Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications. | Koushik Sen, Sathish Vadhiyar, P. N. Vinayachandran |
| 2023 | ISSTA | ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. | Chaofan Shou, Shangyin Tan, Koushik Sen |
| 2022 | ECCV | LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. | Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen |
| 2022 | EMNLP | Benchmarking Language Models for Code Syntax Understanding. | Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song |
| 2022 | EMNLP | PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. | Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song |
| 2022 | UAI | Efficient and transferable adversarial examples from bayesian neural networks. | Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen |
| 2021 | ICSE | Growing A Test Corpus with Bonsai Fuzzing. | Vasudev Vikram, Rohan Padhye, Koushik Sen |
| 2021 | QCE | QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis. | Ed Younis, Koushik Sen, Katherine A. Yelick, Costin Iancu |
| 2020 | CC | Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms. | Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen |
| 2020 | GPCE | Fluid quotes: metaprogramming across abstraction boundaries with dependent types. | Shadaj Laddad, Koushik Sen |
| 2020 | ICSE | Quickly generating diverse valid test inputs with reinforcement learning. | Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen |
| 2020 | OSDI | Ansor: Generating High-Performance Tensor Programs for Deep Learning. | Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica |
| 2020 | QCE | Towards Optimal Topology Aware Quantum Circuit Synthesis. | Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu |
| 2019 | ACSAC | EIGER: automated IOC generation for accurate and interpretable endpoint malware detection. | Yuma Kurogome, Yuto Otsuki, Yuhei Kawakoya, Makoto Iwamura, Syogo Hayashi, Tatsuya Mori, Koushik Sen |
| 2019 | FMCAD | GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
| 2019 | ICSE | Validity fuzzing and parametric generators for effective random testing. | Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
| 2019 | ISSTA | JQF: coverage-guided property-based testing in Java. | Rohan Padhye, Caroline Lemieux, Koushik Sen |
| 2019 | ISSTA | Semantic fuzzing with zest. | Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
| 2019 | OOPSLA | Efficient fail-fast dynamic subtype checking. | Rohan Padhye, Koushik Sen |
| 2018 | ICCAD | SMTSampler: efficient stimulus generation from complex SMT constraints. | Rafael Dutra, Jonathan Bachrach, Koushik Sen |
| 2018 | ICCAD | RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. | Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen |
| 2018 | ICSE | DetReduce: minimizing Android GUI test suites for regression testing. | Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang |
| 2018 | ICSE | Efficient sampling of SAT solutions for testing. | Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen |
| 2018 | ICST | Accelerating Search-Based Program Repair. | Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid |
| 2018 | ISSTA | PerfFuzz: automatically generating pathological inputs. | Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song |
| 2018 | PLDI | Retrieval on source code: a neural code search. | Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra |
| 2017 | ICSE | Repairing event race errors by controlling nondeterminism. | Christoffer Quist Adamsen, Anders Mller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen |
| 2017 | ICSE | Travioli: a dynamic analysis for detecting data-structure traversals. | Rohan Padhye, Koushik Sen |
| 2016 | ECOOP | Trace Typing: An Approach for Evaluating Retrofitted Type Systems. | Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
| 2016 | ICS | SReplay: Deterministic Sub-Group Replay for One-Sided Communication. | Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu |
| 2016 | ICSE | Feedback-directed instrumentation for deployed JavaScript applications. | Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Mller |
| 2016 | ICSE | Floating-point precision tuning using blame analysis. | Cindy Rubio-Gonzlez, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough |
| 2016 | PPoPP | OPR: deterministic group replay for one-sided communication. | Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu |
| 2015 | ECOOP | The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. | Michael Pradel, Koushik Sen |
| 2015 | ICSE | TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. | Michael Pradel, Parker Schuh, Koushik Sen |
| 2015 | ICSE | GuideSE: Annotations for Guiding Concolic Testing. | Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino |
| 2015 | ICSE | TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications. | Haruto Tanno, Xiaojing Zhang, Takashi Hoshino, Koushik Sen |
| 2015 | ICST | Generating Succinct Test Cases Using Don't Care Analysis. | Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen |
| 2015 | ISSTA | DLint: dynamically checking bad coding practices in JavaScript. | Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
| 2015 | OOPSLA | Concolic testing: a decade later (keynote). | Koushik Sen |
| 2015 | PPoPP | Barrier elision for production parallel programs. | Milind Chabbi, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John M. Mellor-Crummey, Costin Iancu |
| 2015 | SAS | SJS: A Type System for JavaScript with Fixed Object Layout. | Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen |
| 2014 | ICSE | CodeHint: dynamic and interactive synthesis of code snippets. | Joel Galenson, Philip Reames, Rastislav Bodk, Bjrn Hartmann, Koushik Sen |
| 2014 | OOPSLA | EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. | Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen |
| 2013 | ICS | Scaling data race detection for partitioned global address space programs. | Chang-Seo Park, Koushik Sen, Costin Iancu |
| 2013 | OOPSLA | Guided GUI testing of android apps with minimal restart and approximate learning. | Wontae Choi, George C. Necula, Koushik Sen |
| 2013 | PLDI | CONCURRIT: a domain specific language for reproducing concurrency bugs. | Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen |
| 2013 | PPoPP | Scalable data race detection for partitioned global address space programs. | Chang-Seo Park, Koushik Sen, Costin Iancu |
| 2013 | SC | Precimonious: tuning assistant for floating-point precision. | Cindy Rubio-Gonzlez, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough |
| 2012 | PPoPP | NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
| 2012 | PPoPP | Concurrent breakpoints. | Chang-Seo Park, Koushik Sen |
| 2012 | RV | Symbolic Execution. | Cristian Cadar, Koushik Sen |
| 2011 | ASPLOS | Specifying and checking semantic atomicity for multithreaded programs. | Jacob Burnim, George C. Necula, Koushik Sen |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ICST | Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. | Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu |
| 2011 | ISSTA | Testing concurrent programs on relaxed memory models. | Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2011 | NSDI | FATE and DESTINI: A Framework for Cloud Recovery Testing. | Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, Dhruba Borthakur |
| 2011 | OOPSLA | PREFAIL: a programmable tool for multiple-failure injection. | Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen |
| 2011 | PLDI | NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
| 2011 | SC | Efficient data race detection for distributed memory parallel programs. | Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu |
| 2011 | SAT | Concolic Testing and Constraint Satisfaction. | Koushik Sen |
| 2011 | TACAS | Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. | Jacob Burnim, Koushik Sen, Christos Stergiou |
| 2010 | ICSE | DETERMIN: inferring likely deterministic specifications of multithreaded programs. | Jacob Burnim, Koushik Sen |
| 2009 | CAV | CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
| 2009 | FASE | SNIFF: A Search Engine for Java Using Free-Form Queries. | Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen |
| 2009 | ICSE | WISE: Automated test generation for worst-case complexity. | Jacob Burnim, Sudeep Juvekar, Koushik Sen |
| 2009 | ICSE | Effective static deadlock detection. | Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay |
| 2009 | PLDI | A randomized dynamic program analysis technique for detecting real deadlocks. | Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik |
| 2008 | FOSSACS | Model-Checking omega-Regular Properties of Interval Markov Chains. | Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger |
| 2008 | ISSTA | Universal symbolic execution and its application to likely data structure invariant generation. | Yamini Kannan, Koushik Sen |
| 2008 | PLDI | Race directed random testing of concurrent programs. | Koushik Sen |
| 2008 | SAS | Protocol Inference Using Static Path Profiles. | Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan |
| 2007 | ICSE | Hybrid Concolic Testing. | Rupak Majumdar, Koushik Sen |
| 2007 | ISSTA | Dynamic test input generation for database applications. | Michael Emmi, Rupak Majumdar, Koushik Sen |
| 2006 | CAV | CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. | Koushik Sen, Gul Agha |
| 2006 | CAV | Model Checking Multithreaded Programs with Asynchronous Atomic Methods. | Koushik Sen, Mahesh Viswanathan |
| 2006 | FASE | Automated Systematic Testing of Open Distributed Programs. | Koushik Sen, Gul Agha |
| 2006 | TACAS | Model-Checking Markov Chains in the Presence of Uncertainties. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | CAV | On Statistical Model Checking of Stochastic Systems. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2005 | PLDI | DART: directed automated random testing. | Patrice Godefroid, Nils Klarlund, Koushik Sen |
| 2005 | TACAS | Using Language Inference to Verify Omega-Regular Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | CAV | Statistical Model Checking of Black-Box Probabilistic Systems. | Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | FORTE | A Temporal Logic Based Framework for Intrusion Detection. | Prasad Naldurg, Koushik Sen, Prasanna Thati |
| 2004 | ICFEM | Learning to Verify Safety Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | ICSE | Efficient Decentralized Monitoring of Safety in Distributed Systems. | Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu |
| 2004 | TACAS | Online Efficient Predictive Safety Analysis of Multithreaded Programs. | Koushik Sen, Grigore Rosu, Gul Agha |
| 2004 | VMCAI | Rule-Based Runtime Verification. | Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen |