http://srl.cs.berkeley.edu/~ksen/ 2009-11-24T13:25:32-08:00 http://srl.cs.berkeley.edu/~ksen/ http://srl.cs.berkeley.edu/~ksen/lib/images/favicon.ico text/html 2009-07-30T12:03:22-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=awards&rev=1248980602 Awards * ACM SIGSOFT Distinguished Paper Award, ESEC/FSE’09, for the paper titled “Asserting and Checking Determinism for Multithreaded Programs.” * ACM SIGSOFT Distinguished Paper Award, ICSE’09, for the paper titled “Effective Static Deadlock Detection.” * National Science Foundation CAREER Award, 2008. * David J. Kuck Outstanding Ph.D. Thesis Award, Department of Computer Science, University of Illinois, 2007. * ACM SIGSOFT Distinguished Paper Award, ESEC/FSE’05, … text/html 2009-04-02T12:23:09-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=calfuzzer&rev=1238700189 Introduction Active testing has recently been introduced to effectively test concurrent programs. Active testing can quickly discover real data races, deadlocks, and atomicity violations. Active testing works in two phases. It first uses imprecise off-the-shelf static or dynamic program analyses to identify potential concurrency bugs, such as data races, deadlocks, and atomicity violations. In the second phase, active testing uses the reports from these imprecise analyses to explicitly control… text/html 2009-02-05T11:15:30-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=co-authors&rev=1233861330 Co-authors * Gul Agha * Cyrille Artho * Howard Barringer * Jacob Burnim * Krishnendu Chatterjee * Michael Emmi * Patrice Godefroid * Allen Goldberg * Ananth Grama * Michael Greenwald * Carl Gunter * Klaus Havelund * Thomas Henzinger * Suresh Jagannathan * Pallavi Joshi * Yamini Kannan * Sanjeev Khanna * Sarfraz Khurshid * Nils Klarlund * Nirman Kumar * Michael Lowry * Rupak Majumdar * Darko Marinov * Narciso Marti-Oliet * Jose Meseguer * … text/html 2009-09-06T20:11:22-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=home&rev=1252293082 Koushik Sen Ph.D., University of Illinois at Urbana Champaign. Assistant Professor, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley. Contact Information 581 Soda Hall # 1776 Berkeley, CA 94720-1776 Phone: (510) 642-2420 Fax: (510) 643-1534 Email: ksen (at) cs.berkeley.edu Assistant: Tammy Johnson [(510) 643-4816, tamille at eecs.berkeley.edu] text/html 2009-08-05T19:08:41-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=menu1&rev=1249524521 * Home * Students * Teaching * Projects * Publications * Service-------------------------------------- text/html 2009-03-26T12:32:33-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=osq09&rev=1238095953 Wednesday May 13 * 2:00pm For Berkeley students: Bus leaves Soda Hall * 7:30pm Dinner. Thursday, May 14: * 8:30am Continental breakfast * 9am Kick off, quick introductions * 10:30am coffee break * 10:45am * 12:00pm lunch * 1:30 pm “8-minute madness” text/html 2009-09-13T23:38:49-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=pc&rev=1252910329 Program Committees * ISPASS 2010, ICSE NIER 2010, NFM 2010 * ICST 2009, ICDCS 2009, FASE 2009, ICDCN 2009, SPIN 2009, NFM 2009, DEFECTS 2009, SAVCBS 2009 * CAV 2008, ASE 2008, APLAS 2008, QEST 2008, SPIN 2008, AFM 2008, STEP 2008, YR-CONCUR 2008, ICST Student Track 2008. * CAV 2007, OOPSLA 2007, RT 2007, SAS II 2007 text/html 2008-08-25T01:58:11-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=photos&rev=1219654691 Durga Puja 07 ---------- Big Sur (March 07) text/html 2009-08-02T01:10:54-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=projects&rev=1249200654 Cool Projects Current * CREST, CUTE and DART: Combining concrete and symbolic analysis to test sequential and parallel C and Java programs. See our PLDI 05, FSE 05, FASE 06, HVC 06, CAV 06, ISSTA 07, ICSE 07, ASE 08 papers. * CalFuzzer: An active random testing tool for multi-threaded Java. See our ASE 07, PLDI 08, FSE 08, PLDI 09, CAV 09, and FSE 09 papers. * Pretex: Predictive Testing: Combining static and dynamic program analysis to amplify the effectiveness of testing sequential an… text/html 2009-10-03T20:10:12-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=publications&rev=1254625812 [DBLP] text/html 2007-05-27T15:49:34-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=slides&rev=1180306174 Selected Presentations * (ppt) “Hybrid Concolic Testing“, ICSE 2007, Minneapolis, MN, May 25. * (ppt) “Verification and Testing: Bridging the Gap“, OSQ Retreat, May 10, 2007. * “Concolic Testing of Sequential and Concurrent Programs“, Agitar Software Inc., Mountain View, CA, January 12, 2007. * “Concolic Testing of Sequential and Concurrent Programs“, Stanford University, December 4, 2006. * “Concolic Testing of Sequential and Concurrent Programs“, Fujitsu, Sun… text/html 2009-07-18T10:00:53-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=students&rev=1247936453 Amazing Students Advising * Jacob Burnim * Nicholas Jalbert * Pallavi Joshi * Sudeep Juvekar * Chang-Seo Park * Christos Stergiou Graduated * Yamini Kannan (MS) * David Eitan Poll (MS) [Microsoft] * Mark Shlimovich (MS) [Microsoft] text/html 2009-08-23T22:54:13-08:00 http://srl.cs.berkeley.edu/~ksen/doku.php?id=teaching&rev=1251093253 Teaching * Fall 2009: * CS 265: Dynamic Program Analysis, Testing, and Debugging * Spring 2009: * CS 294: Dynamic Program Analysis, Testing, and Debugging (with several guest lectures from leading PL and SE researchers.) * CS 294-33: Towards Highly-Productive Parallel Programming Languages (co-taught with Prof. Krste Asanovic and Prof. Dave Patterson)