http://srl.cs.berkeley.edu/~ksen/ 2009-11-07T01:16:27-08:00 http://srl.cs.berkeley.edu/~ksen/ http://srl.cs.berkeley.edu/~ksen/lib/images/favicon.ico text/html 2009-10-03T20:10:12-08:00 Koushik Sen http://srl.cs.berkeley.edu/~ksen/doku.php?id=publications&rev=1254625812&do=diff1254625812 [DBLP] text/html 2009-09-13T23:38:49-08:00 Koushik Sen http://srl.cs.berkeley.edu/~ksen/doku.php?id=pc&rev=1252910329&do=diff1252910329 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 2009-09-06T20:11:22-08:00 Koushik Sen http://srl.cs.berkeley.edu/~ksen/doku.php?id=home&rev=1252293082&do=diff1252293082 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-23T22:54:13-08:00 Koushik Sen http://srl.cs.berkeley.edu/~ksen/doku.php?id=teaching&rev=1251093253&do=diff1251093253 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) text/html 2009-08-05T19:08:41-08:00 Koushik Sen http://srl.cs.berkeley.edu/~ksen/doku.php?id=menu1&rev=1249524521&do=diff1249524521 * Home * Students * Teaching * Projects * Publications * Service-------------------------------------- text/html 2009-08-02T01:10:54-08:00 Koushik Sen http://srl.cs.berkeley.edu/~ksen/doku.php?id=projects&rev=1249200654&do=diff1249200654 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…