Formal Methods, Software Engineering, and Programming Languages (with an emphasis on Software Reliability): Software Testing, Debugging, Verification, Model-Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic. Currently, I am working on active testing of concurrent programs. See our ASE’07, PLDI’08, FSE’08, PLDI’09, CAV’09 papers for details. In my thesis research I worked on concolic testing. Here is a video of my talk on concolic testing (DART and CUTE.) Stream lower quality video from Google.

Koushik Sen is an assistant professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. His research interest lies in Software Engineering, Programming Languages, and Formal methods. He is interested in developing software tools and methodologies that improve programmer productivity and software quality. He is best known for his work on directed automated random testing and concolic testing. His paper on concolic testing won the ACM SIGSOFT Distinguished Paper Award at ESEC/FSE ’05. He received the C.L. and Jane W-S. Liu Award in 2004 for exceptional research promise, the C. W. Gear Outstanding Graduate Award in 2005, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007 from the UIUC Department of Computer Science. He has received a NSF CAREER Award in 2008. He is a co-winner of 2009 Haifa Verification Conference (HVC) Award which recognizes the most promising contribution to fields of verification and test in the last five years. He is a co-winner of ACM SIGSOFT Distinguished Paper Awards in 2009 for the papers titled “Asserting and Checking Determinism for Multithreaded Programs” and “Effective Static Deadlock Detection”. He holds a B.Tech from Indian Institute of Technology, Kanpur, and M.S. and Ph.D. in CS from University of Illinois at Urbana-Champaign.

CUTE Homework

RaceFuzzer Homework