Koushik Sen

Registered user since Fri 15 Jul 2016

Name: Koushik Sen

Bio: Koushik Sen is an associate 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, and an Okawa Foundation Research Grant in 2015. 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.

Country: United States

Affiliation: University of California, Berkeley

Personal website: https://people.eecs.berkeley.edu/~ksen/

Research interests: Software Engineering, Programming Languages, Formal Methods

Contributions

ICST 2020Committee Member in Program Committee within the Research Papers-track
MAPL 2019Committee Member in Program Committee within the MAPL 2019-track
SPLASH 2019Author of Neural-Backed Generators for Program Synthesis within the OOPSLA-track
Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track
Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track
ISSTA 2019Author of Semantic Fuzzing with Zest within the Technical Papers-track
Author of JQF: Coverage-guided Property-based Testing in Java within the Tool Demonstration-track
ECOOP 2019Author of Using ML for Code Discovery at Facebook within the Curry On-track
MAPL 2018Author of Retrieval on source code: a neural code search within the MAPL 2018-track
SPLASH 2018Author of DeepBugs: A Learning Approach to Name-based Bug Detection within the OOPSLA-track
Author of DeepBugs: A Learning Approach to Name-based Bug Detection within the Posters-track
ICSE 2019Author of Validity Fuzzing and Parametric Generators for Effective Random Testing within the Posters-track
Committee Member in Program Board within the Technical Track-track
Author of Platform-Independent Dynamic Taint Analysis for JavaScript within the Journal-First Papers-track
PLDI 2018Committee Member in External Review Committee
ISSTA 2017Chair in Program Committee
Program Chair in Organizing Committee
Program Chair of ISSTA 2017 Closing within the Agenda-track
Session Chair of Monday Keynote (part of Keynotes)
Program Chair of ISSTA 2017 Opening within the Agenda-track
JSTools 2016Author of Cancelled: Monitoring JavaScript Programs with Jalangi within the JSTools-track
VORTEX 2016Author of Cancelled: Monitoring JavaScript Programs with Jalangi within the VORTEX-track
ISSTA 2018Author of PerfFuzz: Automatically Generating Pathological Inputs within the ISSTA Technical Papers-track
ECOOP and ISSTAAuthor of PerfFuzz: Automatically Generating Pathological Inputs within the Posters-track
PLDI 2017Committee Member in External Program Committee
* ICSE 2018 *Author of Efficient Sampling of SAT Solutions for Testing within the Technical Papers -track
Author of DetReduce: Minimizing Android GUI Test Suites for Regression Testing within the Technical Papers -track
PLDI 2016Program Chair of Dynamic analysis of JavaScript with Jalangi within the Tutorials-track
ECOOP 2016Author of Trace Typing: An Approach for Evaluating Retrofitted Type Systems within the Research Track-track
WODA 2015Speaker of Concolic Testing: A Decade Later within the WODA-track
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
SOAP 2015Invited speaker of Jalangi: A Dynamic Analyses Framework for JavaScript within the SOAP-track
JSTools 2015Author of Jalangi: A Dynamic Analyses Framework for JavaScript within the JSTools-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015Author of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the Research Track-track
SPLASH 2014Author of EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation within the OOPSLA-track
SPLASH 2013Committee Member in Program Committee within the OOPSLA-track
Author of Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning within the OOPSLA-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track