Updates

  • Slides on concolic testing from my ACM SIGSOFT Impact Award Keynote at ESEC/FSE 2019, Tallinn, Estonia.

  • Slides on smart fuzzing from my keynote, colloquium, distinguished lecture, and invited talk at SEFM, UT Austin, MPI SWS, and Uber Science Symposium, respectively.

  • Congratulations to Caroline and Rohan for ACM SIGSOFT Distinguished Paper Award for the PerfFuzz paper.

  • Efficient sampling of millions of solutions from SAT/SMT constraints. QuickSampler [ICSE'18] and SMTSampler [ICCAD'18] can sample 100X-1000X faster than existing techniques.

  • ISSTA 2017 Website

  • A video of my talk on "MultiSE: Multi-Path Symbolic Execution using Value Summaries" at UIUC 2014. Here is a link to the paper and associated slides. Winner of an ACM SIGSOFT Distinguished Paper Award at ESEC/FSE 2015.

  • Recently gave an invited talk on Jalangi2 at SOAP 2015, a PLDI workshop.

  • SJS, a typed subset of JavaScript, got accepted at SAS 2015. SJS is like asm.js, but supports objects, prototypes, higher-order functions.

  • Redesigned webpage with KMS, a minimal single-page single-file content management system that I wrote in my spare time.

  • Jalangi2 is now available. Liang Gong and Michael Pradel built DLint (a dynamic bad-coding-practice checker for JavaScript) and JITProf (a JIT-unfriendly code snippet detector) on top of Jalangi. MemInsight (a memory-profiler for JavaScript and HTML5) is built on top of Jalangi2.

  • Checkout Jalangi for JavaScript. I have incorporated some of the best ideas that I developed in the original DART, CUTE, and CalFuzzer tools. Development of Jalangi is supported by Samsung Research America.

  • Here is a video of my talk on our work on “DART: Directed Automated Random Testing”, PLDI’05 and “CUTE: A Concolic Unit Testing Engine for C”, FSE’05.

Koushik Sen

Koushik Sen


Professor,
Computer Sciences Division,
University of California, Berkeley.

Contact Information


(Please read this before you contact me.)
735 Soda Hall
MC 1776
Berkeley, CA 94720-1776
Phone: (510) 289-3391
Fax: (510) 643-1534
Email: ksen (at) cs.berkeley.edu
Assistant: Tamille Chouteau, tamille at berkeley.edu

Students and Post-docs

Current Students

Former Students

  • Aayan Kumar
  • Rohan Bavishi (Adept.ai)
  • Griffin Prechter (co-advised with Raluca Ada Popa)
  • Caroline Lemieux (Faculty at UBC starting 2022)
  • Rohan Padhye (Faculty at CMU)
  • Rafael Dutra (Post-doc at CISPA Helmholtz Center for Information Security)
  • Ed Younis (Computer Systems Engineer, LBL)
  • Liang Gong (Research Scientist at Facebook)
  • Philip Wontae Choi (PhD) [Google]
  • Joel Galenson (PhD) [Qualcomm Research -> Google]
  • Chang-Seo Park]] (PhD) [Google-> Corporate VP and Head of Software Engineering Research at Samsung Electronics DS]
  • Jacob Burnim] (PhD) [Startup, Sift Science -> Google]
  • Pallavi Joshi (PhD) [NEC Labs America-> Cloudera -> Google]
  • Christos Stergiou (PhD) [Post Doc at UPenn -> Google]
  • Benjamin Mehne (MS) [Facebook.com]
  • Cuong Nguyen (MS) [Facebook.com]
  • Nicholas Jalbert (MS) [Startup, Captricity]
  • Sudeep Juvekar(MS)
  • Yamini Kannan (MS)
  • David Eitan Poll (MS) [Microsoft]
  • Mark Shlimovich (MS) [Microsoft]

Post Docs

Former postdocs
  • Emmanuelle Saillard [Tenured Research Scientist at Inria Bordeaux - Sud-Ouest]
  • Xuehai Qian [Faculty at USC]
  • Cindy Rubio-González (jointly with James Demmel and Costin Iancu) [Faculty at UC Davis]
  • Michael Pradel [Faculty at TU Darmstadt]
  • Tayfun Elmas (jointly with George Necula) [Now at Google]
  • Guillaume Revy (jointly with James Demmel) [Faculty at Université de Perpignan Via Domitia]

CV and Research Statement

Research Interests

Software Engineering, Formal Methods, and Programming Languages (with an emphasis on Software Reliability): Dynamic Program Analysis, Software Testing, Debugging, Verification, Model-Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.

Biography

Koushik Sen is a 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 “DART: Directed Automated Random Testing” and concolic testing. He has received a NSF CAREER Award in 2008, a Haifa Verification Conference (HVC) Award in 2009, a IFIP TC2 Manfred Paul Award for Excellence in Software: Theory and Practice in 2010, a Sloan Foundation Fellowship in 2011, a Professor R. Narasimhan Lecture Award in 2014, an Okawa Foundation Research Grant in 2015, and an ACM SIGSOFT Impact Paper Award in 2019. He has won several ACM SIGSOFT Distinguished Paper Awards. He received the C.L. and Jane W-S. Liu Award in 2004, the C. W. Gear Outstanding Graduate Award in 2005, and the David J. Kuck Outstanding Ph.D. Thesis Award in 2007, and a Distinguished Alumni Educator Award in 2014 from the UIUC Department of Computer Science. 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.

Concolic Testing Homework

CUTE Homework for Java, CUTE Homework for C

Active Testing Homework

RaceFuzzer Homework

© 2015 Koushik Sen

        ...