Ansor: Generating High-Performance Tensor Programs for Deep Learning (EECS-2023-34)
Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Yu, Ali Ameri, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph Gonzalez and Ion Stoica

ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State (EECS-2021-29)
Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa and Koushik Sen

SJS: a Typed Subset of JavaScript with Fixed Object Layout (EECS-2015-13)
Philip Wontae Choi, Satish Chandra, George Necula and Koushik Sen

DLint: Dynamically Checking Bad Coding Practices in JavaScript (EECS-2015-5)
Liang Gong, Michael Pradel, Manu Sridharan and Koushik Sen

MultiSE: Multi-Path Symbolic Execution using Value Summaries (EECS-2014-173)
Koushik Sen, George Necula, Liang Gong and Philip Wontae Choi

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (EECS-2014-171)
Michael Pradel, Parker Schuh and Koushik Sen

JITProf: Pinpointing JIT-unfriendly JavaScript Code (EECS-2014-144)
Liang Gong, Michael Pradel and Koushik Sen

Multi-level Debugging for Multi-stage, Parallelizing Compilers (EECS-2012-227)
Richard Xia, Tayfun Elmas, Shoaib Ashraf Kamil, Armando Fox and Koushik Sen

Concurrent Breakpoints (EECS-2011-159)
Chang Seo Park and Koushik Sen

NDetermin: Inferring Nondeterministic Sequential Specifications for Parallelism Correctness (EECS-2011-143)
Jacob Burnim, Tayfun Elmas, George Necula and Koushik Sen

PreFail: A Programmable Failure-Injection Framework (EECS-2011-30)
Pallavi Joshi, Haryadi S. Gunawi and Koushik Sen

PreFail: Programmable and Efficient Failure Testing Framework (EECS-2011-3)
Pallavi Joshi, Haryadi S. Gunawi and Koushik Sen

FATE and DESTINI: A Framework for Cloud Recovery Testing (EECS-2010-127)
Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Jungmin Yun, Jin-su Oh, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen and Dhruba Borthakur

Towards Automatically Checking Thousands of Failures with Micro-specifications (EECS-2010-98)
Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau and Koushik Sen

Towards Automatically Checking Thousands of Failures with Micro-specifications (EECS-2010-97)
Haryadi Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea Arpaci-Dusseau, Remzi Arpaci-Dusseau and Koushik Sen

Testing Concurrent Programs on Relaxed Memory Models (EECS-2010-32)
Jacob Burnim, Koushik Sen and Christos Stergiou

Sound and Complete Monitoring of Sequential Consistency in Relaxed Memory Models (EECS-2010-31)
Jacob Burnim, Koushik Sen and Christos Stergiou

Path Slicing per Object for Better Testing, Debugging, and Usage Discovery (EECS-2009-132)
Sudeep Juvekar, Jacob Burnim and Koushik Sen

Heuristics for Scalable Dynamic Test Generation (EECS-2008-123)
Jacob Burnim and Koushik Sen

The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View (EECS-2008-23)
Krste Asanović, Ras Bodik, James Demmel, Tony Keaveny, Kurt Keutzer, John D. Kubiatowicz, Edward A. Lee, Nelson Morgan, George Necula, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel and Katherine A. Yelick

LATEST : Lazy Dynamic Test Input Generation (EECS-2007-36)
Rupak Majumdar and Koushik Sen

Predictive Testing: Amplifying the Effectiveness of Software Testing (EECS-2007-35)
Pallavi Joshi, Koushik Sen and Mark Shlimovich