Technical Reports - 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 Asanovic, 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