Koushik Sen
- Assistant Professor
- ksen@cs.berkeley.edu
- Website: EECS Homepage
- Address:
- 581 Soda Hall
- Additional:
- UC Berkeley
- City:
- Berkeley
, - State:
- California
- Zip Code:
- 94720-1776
- Country:
- United States
Publications
- 9999, Inferring Likely Atomic Code Blocks in Concurrent Programs
- 2009, A View of the Parallel Computing Landscape
- 2009, Asserting and Checking Determinism for Multithreaded Programs
- 2009, An Extensible Active Testing Framework for Concurrent Programs
- 2009, A randomized dynamic program analysis technique for detecting real deadlocks
- 2009, Effective Static Deadlock Detection
- 2009, WISE: Automated Test Generation for Worst-Case Complexity
- 2009, Looper: Lightweight Detection of Infinite Loops at Runtime
- 2008, Randomized Active Atomicity Violation Detection in Concurrent Programs
- 2008, Predictive Typestate Checking of Multithreaded Java Programs
- 2008, Race Directed Randomized Dynamic Analysis of Concurrent Programs
- 2008, The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View
- 2008, Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation
- 2008, Heuristics for Scalable Dynamic Test Generation
- 2008, Protocol Inference Using Static Path Profiles
- 2008, Model-Checking omega-Regular Properties of Interval Markov Chains
