Koushik Sen

216 papers A* 39A 33B 16C 3Misc 4Journal 65Unranked 52
YearRankTypeTitle / Venue / Authors
2026 J jnl
AdaEvolve: Adaptive LLM Driven Zeroth-Order Optimization.
CoRR
Mert Cemri, Shubham Agrawal, Akshat Gupta, Shu Liu, Audrey Cheng, Qiuyang Mang, Ashwin Naren, Lutfi Eren Erdogan, Koushik Sen, Matei Zaharia, Alex Dimakis, Ion Stoica
2026 J jnl
EvoX: Meta-Evolution for Automated Discovery.
CoRR
Shu Liu, Shubham Agarwal, Monishwaran Maheswaran, Mert Cemri, Zhifei Li, Qiuyang Mang, Ashwin Naren, Ethan Boneh, Audrey Cheng, Melissa Z. Pan, Alexander Du, Kurt Keutzer, Alexandros G. Dimakis, Koushik Sen, Matei Zaharia, Ion Stoica
2025 J jnl
Barbarians at the Gate: How AI is Upending Systems Research.
CoRR
Audrey Cheng, Shu Liu, Melissa Z. Pan, Zhifei Li, Bowen Wang, Alex Krentsel, Tian Xia, Mert Cemri, Jongseok Park, Shuo Yang, Jeff Chen, Lakshya A. Agrawal, Aditya Desai, Jiarong Xing, Koushik Sen, Matei Zaharia, Ion Stoica
2025 J jnl
Challenges and Paths Towards AI for Software Engineering.
CoRR
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
2025 J jnl
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning.
CoRR
Lakshya A. Agrawal, Shangyin Tan, Dilara Soylu, Noah Ziems, Rishi Khare, Krista Opsahl-Ong, Arnav Singhvi, Herumb Shandilya, Michael J. Ryan, Meng Jiang, Christopher Potts, Koushik Sen, Alexandros G. Dimakis, Ion Stoica, Daniel Klein, Matei Zaharia, Omar Khattab
2025 J jnl
GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents.
CoRR
Manish Shetty, Naman Jain, Jinjian Liu, Vijay Kethanaboyina, Koushik Sen, Ion Stoica
2025 — conf
LangProBe: a Language Program Benchmark.
EMNLP (Findings)
Shangyin Tan, Lakshya A. Agrawal, Arnav Singhvi, Liheng Lai, Michael J. Ryan, Daniel Klein, Omar Khattab, Koushik Sen, Matei Zaharia
2025 J jnl
LangProBe: a Language Programs Benchmark.
CoRR
Shangyin Tan, Lakshya A. Agrawal, Arnav Singhvi, Liheng Lai, Michael J. Ryan, Dan Klein, Omar Khattab, Koushik Sen, Matei Zaharia
2025 J jnl
Let the Barbarians In: How AI Can Accelerate Systems Performance Research.
CoRR
Audrey Cheng, Shu Liu, Melissa Z. Pan, Zhifei Li, Shubham Agarwal, Mert Cemri, Bowen Wang, Alexander Krentsel, Tian Xia, Jongseok Park, Shuo Yang, Jeff Chen, Lakshya A. Agrawal, Ashwin Naren, Shulu Li, Ruiying Ma, Aditya Desai, Jiarong Xing, Koushik Sen, Matei Zaharia, Ion Stoica
2025 A* conf
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.
ICLR
Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica
2025 J jnl
Measuring Agents in Production.
CoRR
Melissa Z. Pan, Negar Arabzadeh, Riccardo Cogo, Yuxuan Zhu, Alexander Xiong, Lakshya A. Agrawal, Huanzhi Mao, Emma Shen, Sid Pallerla, Liana Patel, Shu Liu, Tianneng Shi, Xiaoyuan Liu, Jared Quincy Davis, Emmanuele Lacavalla, Alessandro Basile, Shuyi Yang, Paul Castro, Daniel Kang, Joseph E. Gonzalez, Koushik Sen, Dawn Song, Ion Stoica, Matei Zaharia, Marquita Ellis
2025 — conf
Position: Future Research and Challenges Remain Towards AI for Software Engineering.
ICML (Position Papers)
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Kevin Ellis, Koushik Sen, Armando Solar-Lezama
2025 J jnl
R2E-Gym: Procedural Environments and Hybrid Verifiers for Scaling Open-Weights SWE Agents.
CoRR
Naman Jain, Jaskirat Singh, Manish Shetty, Liang Zheng, Koushik Sen, Ion Stoica
2025 J jnl
SCGAgent: Recreating the Benefits of Reasoning Models for Secure Code Generation with Agentic Workflows.
CoRR
Rebecca Saul, Hao Wang, Koushik Sen, David A. Wagner
2025 J jnl
Type-Constrained Code Generation with Language Models.
CoRR
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2025 J jnl
Type-Constrained Code Generation with Language Models.
Proc. ACM Program. Lang.
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, Martin T. Vechev
2024 J jnl
BACKRUNNER: Mitigating Smart Contract Attacks in the Real World.
CoRR
Chaofan Shou, Yuanyu Ke, Yupeng Yang, Qi Su, Or Dadosh, Assaf Eli, David Benchimol, Doudou Lu, Daniel Tong, Dex Chen, Zoey Tan, Jacob Chia, Koushik Sen, Wenke Lee
2024 — conf
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs.
ICSE-SEIP
Dan Zheng, Koushik Sen
2024 J jnl
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.
IEEE Softw.
Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
2024 A* conf
LLM-Assisted Code Cleaning For Training Accurate Code Generators.
ICLR
Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica
2024 J jnl
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models.
CoRR
Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen
2024 J jnl
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.
CoRR
Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica
2024 A* conf
R2E: Turning any Github Repository into a Programming Agent Environment.
ICML
Naman Jain, Manish Shetty, Tianjun Zhang, King Han, Koushik Sen, Ion Stoica
2024 — conf
RTL-Repair: Fast Symbolic Repair of Hardware Design Code.
ASPLOS (3)
Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen
2024 — conf
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics.
NAACL-HLT
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
2024 J jnl
Specifications: The missing link to making the development of LLM systems an engineering discipline.
CoRR
Ion Stoica, Matei Zaharia, Joseph Gonzalez, Ken Goldberg, Koushik Sen, Hao Zhang, Anastasios Angelopoulos, Shishir G. Patil, Lingjiao Chen, Wei-Lin Chiang, Jared Quincy Davis
2024 J jnl
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis.
CoRR
Manish Shetty, Naman Jain, Adwait Godbole, Sanjit A. Seshia, Koushik Sen
2024 — conf
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
ACL (Findings)
Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
2024 J jnl
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?
CoRR
Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama
2024 — conf
To Tile or not to Tile, That is the Question.
IPDPS (Workshops)
Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung
2024 — conf
Zoomie: A Software-like Debugging Tool for FPGAs.
ASPLOS (3)
Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic
2023 J jnl
CodeScholar: Growing Idiomatic Code Examples.
CoRR
Manish Shetty, Koushik Sen, Ion Stoica
2023 J jnl
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines.
CoRR
Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab
2023 A conf
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.
ISSTA
Chaofan Shou, Shangyin Tan, Koushik Sen
2023 J jnl
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.
CoRR
Chaofan Shou, Shangyin Tan, Koushik Sen
2023 J jnl
LLM-Assisted Code Cleaning For Training Accurate Code Generators.
CoRR
Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica
2023 J jnl
Multiversion Hindsight Logging for Continuous Training.
CoRR
Rolando Garcia, Anusha Dandamudi, Gabriel Matute, Lehan Wan, Joseph Gonzalez, Joseph M. Hellerstein, Koushik Sen
2023 — conf
Simulator Independent Coverage for RTL Hardware Languages.
ASPLOS (3)
Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen
2023 J jnl
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics.
CoRR
Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen
2023 Misc conf
Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications.
HiPC
Koushik Sen, Sathish Vadhiyar, P. N. Vinayachandran
2022 — conf
Benchmarking Language Models for Code Syntax Understanding.
EMNLP (Findings)
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
2022 J jnl
Benchmarking Language Models for Code Syntax Understanding.
CoRR
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
2022 A conf
Efficient and transferable adversarial examples from bayesian neural networks.
UAI
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022 — conf
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.
ECCV (4)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022 J jnl
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.
CoRR
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
2022 — conf
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion.
EMNLP (Findings)
Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song
2022 J jnl
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion.
CoRR
Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song
2022 J jnl
The Sky Above The Clouds.
CoRR
Sarah E. Chasins, Alvin Cheung, Natacha Crooks, Ali Ghodsi, Ken Goldberg, Joseph E. Gonzalez, Joseph M. Hellerstein, Michael I. Jordan, Anthony D. Joseph, Michael W. Mahoney, Aditya G. Parameswaran, David A. Patterson, Raluca Ada Popa, Koushik Sen, Scott Shenker, Dawn Song, Ion Stoica
2021 J jnl
FairFuzz-TC: a fuzzer targeting rare branches.
Int. J. Softw. Tools Technol. Transf.
Caroline Lemieux, Koushik Sen
2021 J jnl
Gauss: program synthesis by reasoning over graphs.
Proc. ACM Program. Lang.
Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica
2021 A* conf
Growing A Test Corpus with Bonsai Fuzzing.
ICSE
Vasudev Vikram, Rohan Padhye, Koushik Sen
2021 J jnl
Growing a Test Corpus with Bonsai Fuzzing.
CoRR
Vasudev Vikram, Rohan Padhye, Koushik Sen
2021 A* conf
Learning Highly Recursive Input Grammars.
ASE
Neil Kulkarni, Caroline Lemieux, Koushik Sen
2021 J jnl
Learning Highly Recursive Input Grammars.
CoRR
Neil Kulkarni, Caroline Lemieux, Koushik Sen
2021 A* conf
ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State.
USENIX Security Symposium
Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, Koushik Sen
2021 Misc conf
QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis.
QCE
Ed Younis, Koushik Sen, Katherine A. Yelick, Costin Iancu
2021 A* conf
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.
ASE
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
2020 J jnl
Ansor : Generating High-Performance Tensor Programs for Deep Learning.
CoRR
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 A* conf
Ansor: Generating High-Performance Tensor Programs for Deep Learning.
OSDI
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 J jnl
Exempla Gratis (E.G.): Code Examples for Free.
CoRR
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
2020 — conf
Exempla gratis (E.G.): code examples for free.
ESEC/SIGSOFT FSE
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
2020 B conf
Fluid quotes: metaprogramming across abstraction boundaries with dependent types.
GPCE
Shadaj Laddad, Koushik Sen
2020 J jnl
Hindsight Logging for Model Training.
CoRR
Rolando Garcia, Eric Liu, Vikram Sreekanti, Bobby Yan, Anusha Dandamudi, Joseph E. Gonzalez, Joseph M. Hellerstein, Koushik Sen
2020 J jnl
Hindsight Logging for Model Training.
Proc. VLDB Endow.
Rolando Garcia, Eric Liu, Vikram Sreekanti, Bobby Yan, Anusha Dandamudi, Joseph Gonzalez, Joseph M. Hellerstein, Koushik Sen
2020 B conf
Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms.
CC
Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen
2020 A* conf
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation.
USENIX Security Symposium
Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace
2020 J jnl
Platform-Independent Dynamic Taint Analysis for JavaScript.
IEEE Trans. Software Eng.
Rezwana Karim, Frank Tip, Alena Sochurková, Koushik Sen
2020 — ed.
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020
MAPL@PLDI
Koushik Sen, Mayur Naik
2020 A* conf
Quickly generating diverse valid test inputs with reinforcement learning.
ICSE
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen
2020 — conf
ScalaPy: seamless Python interoperability for cross-platform Scala programs.
SCALA@SPLASH
Shadaj Laddad, Koushik Sen
2020 J jnl
Selecting fault revealing mutants.
Empir. Softw. Eng.
Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2020 Misc conf
Towards Optimal Topology Aware Quantum Circuit Synthesis.
QCE
Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu
2019 J jnl
Aroma: code recommendation via structural code search.
Proc. ACM Program. Lang.
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra
2019 J jnl
AutoPandas: neural-backed generators for program synthesis.
Proc. ACM Program. Lang.
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica
2019 — conf
ChocoPy: a programming language for compilers courses.
SPLASH-E
Rohan Padhye, Koushik Sen, Paul N. Hilfinger
2019 A conf
EIGER: automated IOC generation for accurate and interpretable endpoint malware detection.
ACSAC
Yuma Kurogome, Yuto Otsuki, Yuhei Kawakoya, Makoto Iwamura, Syogo Hayashi, Tatsuya Mori, Koushik Sen
2019 — conf
Efficient fail-fast dynamic subtype checking.
VMIL@SPLASH
Rohan Padhye, Koushik Sen
2019 J jnl
FuzzFactory: domain-specific fuzzing with waypoints.
Proc. ACM Program. Lang.
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
2019 B conf
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.
FMCAD
Rafael Dutra, Jonathan Bachrach, Koushik Sen
2019 J jnl
Heuristics for Quantum Compiling with a Continuous Gate Set.
CoRR
Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu
2019 A conf
JQF: coverage-guided property-based testing in Java.
ISSTA
Rohan Padhye, Caroline Lemieux, Koushik Sen
2019 J jnl
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.
ACM SIGSOFT Softw. Eng. Notes
Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
2019 A conf
Semantic fuzzing with zest.
ISSTA
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 — conf
Validity fuzzing and parametric generators for effective random testing.
ICSE (Companion Volume)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 J jnl
When Deep Learning Met Code Search.
CoRR
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
2019 — conf
When deep learning met code search.
ESEC/SIGSOFT FSE
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
2018 A conf
Accelerating Search-Based Program Repair.
ICST
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
2018 J jnl
Aroma: Code Recommendation via Structural Code Search.
CoRR
Sifei Luan, Di Yang, Koushik Sen, Satish Chandra
2018 — ch.
Combining Model Checking and Testing.
Handbook of Model Checking
Patrice Godefroid, Koushik Sen
2018 J jnl
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts.
CoRR
Rohan Bavishi, Michael Pradel, Koushik Sen
2018 J jnl
DeepBugs: A Learning Approach to Name-based Bug Detection.
CoRR
Michael Pradel, Koushik Sen
2018 J jnl
DeepBugs: a learning approach to name-based bug detection.
Proc. ACM Program. Lang.
Michael Pradel, Koushik Sen
2018 A* conf
DetReduce: minimizing Android GUI test suites for regression testing.
ICSE
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
2018 A* conf
Efficient sampling of SAT solutions for testing.
ICSE
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen
2018 A* conf
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage.
ASE
Caroline Lemieux, Koushik Sen
2018 C conf
Maximizing Communication Overlap with Dynamic Program Analysis.
HPC Asia
Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu
2018 A conf
PerfFuzz: automatically generating pathological inputs.
ISSTA
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
2018 A conf
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.
ICCAD
Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen
2018 — conf
Retrieval on source code: a neural code search.
MAPL@PLDI
Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra
2018 A conf
SMTSampler: efficient stimulus generation from complex SMT constraints.
ICCAD
Rafael Dutra, Jonathan Bachrach, Koushik Sen
2018 J jnl
Selecting Fault Revealing Mutants.
CoRR
Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen
2018 J jnl
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.
CoRR
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2017 J jnl
A Survey of Dynamic Analysis and Test Generation for JavaScript.
ACM Comput. Surv.
Esben Andreasen, Liang Gong, Anders Møller, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu
2017 J jnl
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.
CoRR
Caroline Lemieux, Koushik Sen
2017 A ed.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017
ISSTA
Tevfik Bultan, Koushik Sen
2017 A* conf
Repairing event race errors by controlling nondeterminism.
ICSE
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
2017 J jnl
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC.
CoRR
Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama
2017 A* conf
Travioli: a dynamic analysis for detecting data-structure traversals.
ICSE
Rohan Padhye, Koushik Sen
2016 A* conf
Feedback-directed instrumentation for deployed JavaScript applications.
ICSE
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
2016 A* conf
Floating-point precision tuning using blame analysis.
ICSE
Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough
2016 B conf
OPR: deterministic group replay for one-sided communication.
PPoPP
Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu
2016 A conf
SReplay: Deterministic Sub-Group Replay for One-Sided Communication.
ICS
Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu
2016 J jnl
Technical Perspective: Veritesting tackles path-explosion problem.
Commun. ACM
Koushik Sen
2016 J jnl
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2016 A conf
Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
ECOOP
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
2015 — conf
Automated Test Generation Using Concolic Testing.
ISEC
Koushik Sen
2015 B conf
Barrier elision for production parallel programs.
PPoPP
Milind Chabbi, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John M. Mellor-Crummey, Costin Iancu
2015 — conf
Concolic testing: a decade later (keynote).
WODA@SPLASH
Koushik Sen
2015 A conf
DLint: dynamically checking bad coding practices in JavaScript.
ISSTA
Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen
2015 — conf
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.
Software Engineering & Management
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
2015 A conf
Generating Succinct Test Cases Using Don't Care Analysis.
ICST
Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen
2015 — conf
GuideSE: Annotations for Guiding Concolic Testing.
AST@ICSE
Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino
2015 — conf
JITProf: pinpointing JIT-unfriendly JavaScript code.
ESEC/SIGSOFT FSE
Liang Gong, Michael Pradel, Koushik Sen
2015 — conf
MemInsight: platform-independent memory debugging for JavaScript.
ESEC/SIGSOFT FSE
Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra
2015 — conf
MultiSE: multi-path symbolic execution using value summaries.
ESEC/SIGSOFT FSE
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi
2015 B conf
SJS: A Type System for JavaScript with Fixed Object Layout.
SAS
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
2015 — conf
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications.
ICSE (2)
Haruto Tanno, Xiaojing Zhang, Takashi Hoshino, Koushik Sen
2015 A conf
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript.
ECOOP
Michael Pradel, Koushik Sen
2015 — conf
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript.
ICSE (1)
Michael Pradel, Parker Schuh, Koushik Sen
2014 — ed.
7th India Software Engineering Conference, Chennai, ISEC '14, Chennai, India - February 19 - 21, 2014
ISEC
Dharanipragada Janakiram, Koushik Sen, Vinay Kulkarni
2014 A* conf
CodeHint: dynamic and interactive synthesis of code snippets.
ICSE
Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen
2014 A conf
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation.
OOPSLA
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen
2014 J jnl
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).
Dagstuhl Reports
Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen
2013 A* conf
CONCURRIT: a domain specific language for reproducing concurrency bugs.
PLDI
Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen
2013 A conf
Guided GUI testing of android apps with minimal restart and approximate learning.
OOPSLA
Wontae Choi, George C. Necula, Koushik Sen
2013 — conf
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript.
ESEC/SIGSOFT FSE
Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs
2013 — conf
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript.
ESEC/SIGSOFT FSE
Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs
2013 A conf
Precimonious: tuning assistant for floating-point precision.
SC
Cindy Rubio-González, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough
2013 B conf
Scalable data race detection for partitioned global address space programs.
PPoPP
Chang-Seo Park, Koushik Sen, Costin Iancu
2013 A conf
Scaling data race detection for partitioned global address space programs.
ICS
Chang-Seo Park, Koushik Sen, Costin Iancu
2013 J jnl
Symbolic execution for software testing: three decades later.
Commun. ACM
Cristian Cadar, Koushik Sen
2012 — conf
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.
HotPar
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2012 B conf
Concurrent breakpoints.
PPoPP
Chang-Seo Park, Koushik Sen
2012 B conf
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
PPoPP
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2012 B ed.
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
RV
Sarfraz Khurshid, Koushik Sen
2012 B conf
Symbolic Execution.
RV
Cristian Cadar, Koushik Sen
2011 A conf
Concolic Testing and Constraint Satisfaction.
SAT
Koushik Sen
2011 A conf
Efficient data race detection for distributed memory parallel programs.
SC
Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu
2011 Misc conf
FATE and DESTINI: A Framework for Cloud Recovery Testing.
NSDI
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 A* conf
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
PLDI
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen
2011 A conf
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.
ICST
Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu
2011 A conf
PREFAIL: a programmable tool for multiple-failure injection.
OOPSLA
Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen
2011 — conf
RADBench: A Concurrency Bug Benchmark Suite.
HotPar
Nicholas Jalbert, Cristiano Pereira, Gilles Pokam, Koushik Sen
2011 A conf
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.
TACAS
Jacob Burnim, Koushik Sen, Christos Stergiou
2011 A* conf
Specifying and checking semantic atomicity for multithreaded programs.
ASPLOS
Jacob Burnim, George C. Necula, Koushik Sen
2011 A* conf
Symbolic execution for software testing in practice: preliminary assessment.
ICSE
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011 A conf
Testing concurrent programs on relaxed memory models.
ISSTA
Jacob Burnim, Koushik Sen, Christos Stergiou
2010 — conf
A trace simplification technique for effective debugging of concurrent programs.
SIGSOFT FSE
Nicholas Jalbert, Koushik Sen
2010 — conf
An effective dynamic analysis for detecting generalized deadlocks.
SIGSOFT FSE
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay
2010 J jnl
Asserting and checking determinism for multithreaded programs.
Commun. ACM
Jacob Burnim, Koushik Sen
2010 — conf
DETERMIN: inferring likely deterministic specifications of multithreaded programs.
ICSE (1)
Jacob Burnim, Koushik Sen
2010 — conf
Towards Automatically Checking Thousands of Failures with Micro-specifications.
HotDep
Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen
2009 A* conf
A randomized dynamic program analysis technique for detecting real deadlocks.
PLDI
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik
2009 J jnl
A view of the parallel computing landscape.
Commun. ACM
Krste Asanovic, Rastislav Bodík, James Demmel, Tony M. Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick
2009 — conf
Asserting and checking determinism for multithreaded programs.
ESEC/SIGSOFT FSE
Jacob Burnim, Koushik Sen
2009 A* conf
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
CAV
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen
2009 — conf
DART: Directed Automated Random Testing.
Haifa Verification Conference
Koushik Sen
2009 A* conf
Effective static deadlock detection.
ICSE
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
2009 A* conf
Looper: Lightweight Detection of Infinite Loops at Runtime.
ASE
Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen
2009 B conf
SNIFF: A Search Engine for Java Using Free-Form Queries.
FASE
Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen
2009 A* conf
WISE: Automated test generation for worst-case complexity.
ICSE
Jacob Burnim, Sudeep Juvekar, Koushik Sen
2008 A* conf
Heuristics for Scalable Dynamic Test Generation.
ASE
Jacob Burnim, Koushik Sen
2008 B conf
Model-Checking omega-Regular Properties of Interval Markov Chains.
FoSSaCS
Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger
2008 A* conf
Predictive Typestate Checking of Multithreaded Java Programs.
ASE
Pallavi Joshi, Koushik Sen
2008 B conf
Protocol Inference Using Static Path Profiles.
SAS
Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan
2008 A* conf
Race directed random testing of concurrent programs.
PLDI
Koushik Sen
2008 — conf
Randomized active atomicity violation detection in concurrent programs.
SIGSOFT FSE
Chang-Seo Park, Koushik Sen
2008 A conf
Universal symbolic execution and its application to likely data structure invariant generation.
ISSTA
Yamini Kannan, Koushik Sen
2007 J jnl
An instrumentation technique for online analysis of multithreaded programs.
Concurr. Comput. Pract. Exp.
Grigore Rosu, Koushik Sen
2007 A* conf
Concolic testing.
ASE
Koushik Sen
2007 A conf
Dynamic test input generation for database applications.
ISSTA
Michael Emmi, Rupak Majumdar, Koushik Sen
2007 A* conf
Effective random testing of concurrent programs.
ASE
Koushik Sen
2007 A* conf
Hybrid Concolic Testing.
ICSE
Rupak Majumdar, Koushik Sen
2007 — conf
Predictive testing: amplifying the effectiveness of software testing.
ESEC/SIGSOFT FSE
Pallavi Joshi, Koushik Sen, Mark Shlimovich
2006 — conf
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.
Haifa Verification Conference
Koushik Sen, Gul Agha
2006 B conf
Automated Systematic Testing of Open Distributed Programs.
FASE
Koushik Sen, Gul Agha
2006 A* conf
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.
CAV
Koushik Sen, Gul Agha
2006 A conf
Decentralized runtime analysis of multithreaded applications.
IPDPS
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
2006 A* conf
Model Checking Multithreaded Programs with Asynchronous Atomic Methods.
CAV
Koushik Sen, Mahesh Viswanathan
2006 A conf
Model-Checking Markov Chains in the Presence of Uncertainties.
TACAS
Koushik Sen, Mahesh Viswanathan, Gul Agha
2006 J jnl
Online efficient predictive safety analysis of multithreaded programs.
Int. J. Softw. Tools Technol. Transf.
Koushik Sen, Grigore Rosu, Gul Agha
2006 — —
Scalable Automated Methods for Dynamic Program Analysis
Koushik Sen
2005 — conf
CUTE: a concolic unit testing engine for C.
ESEC/SIGSOFT FSE
Koushik Sen, Darko Marinov, Gul Agha
2005 J jnl
Combining test case generation and runtime verification.
Theor. Comput. Sci.
Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005 A* conf
DART: directed automated random testing.
PLDI
Patrice Godefroid, Nils Klarlund, Koushik Sen
2005 — conf
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.
FMOODS
Koushik Sen, Grigore Rosu, Gul Agha
2005 A* conf
On Statistical Model Checking of Stochastic Systems.
CAV
Koushik Sen, Mahesh Viswanathan, Gul Agha
2005 — conf
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.
QAPL
Gul A. Agha, José Meseguer, Koushik Sen
2005 A conf
Using Language Inference to Verify Omega-Regular Properties.
TACAS
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2005 — conf
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.
QEST
Koushik Sen, Mahesh Viswanathan, Gul A. Agha
2004 C conf
A Temporal Logic Based Framework for Intrusion Detection.
FORTE
Prasad Naldurg, Koushik Sen, Prasanna Thati
2004 — conf
Actively Learning to Verify Safety for FIFO Automata.
FSTTCS
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004 A conf
An Instrumentation Technique for Online Analysis of Multithreaded Programs.
IPDPS
Grigore Rosu, Koushik Sen
2004 A* conf
Efficient Decentralized Monitoring of Safety in Distributed Systems.
ICSE
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
2004 — conf
Learning Continuous Time Markov Chains from Sample Executions.
QEST
Koushik Sen, Mahesh Viswanathan, Gul Agha
2004 C conf
Learning to Verify Safety Properties.
ICFEM
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha
2004 A conf
Online Efficient Predictive Safety Analysis of Multithreaded Programs.
TACAS
Koushik Sen, Grigore Rosu, Gul Agha
2004 A conf
Program Monitoring with LTL in EAGLE.
IPDPS
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
2004 B conf
Rule-Based Runtime Verification.
VMCAI
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen
2004 A* conf
Statistical Model Checking of Black-Box Probabilistic Systems.
CAV
Koushik Sen, Mahesh Viswanathan, Gul Agha
2003 — conf
A Rewriting Based Model for Probabilistic Distributed Object Systems.
FMOODS
Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha
2003 — conf
Generating Optimal Linear Temporal Logic Monitors by Coinduction.
ASIAN
Koushik Sen, Grigore Rosu, Gul Agha
2003 — conf
Generating Optimal Monitors for Extended Regular Expressions.
RV@CAV
Koushik Sen, Grigore Rosu
2003 — conf
Runtime safety analysis of multithreaded programs.
ESEC / SIGSOFT FSE
Koushik Sen, Grigore Rosu, Gul Agha
2002 — conf
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
WRLA
Prasanna Thati, Koushik Sen, Narciso Martí-Oliet