Koushik Sen

Registered user since Fri 15 Jul 2016

Name:Koushik Sen
Bio:

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 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.

Affiliation:University of California, Berkeley
Research interests:Software Engineering, Programming Languages, Formal Methods

Contributions

ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
MAPS 2021 Keynote Speaker of Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond within the MAPS 2021-track
ASE 2021 Author of VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks within the Research Papers-track
Author of Learning Highly Recursive Input Grammars within the Research Papers-track
SPLASH 2021 Author of Gauss: Program Synthesis by Reasoning Over Graphs within the OOPSLA-track
SPLASH 2010
PPoPP 2021 Committee Member in External Review Committee
Scala 2020 Author of ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs within the Scala-track
ISSTA 2021 PC Member in Program Committee
MAPL 2020 General Chair in Organizing Committee within the MAPL-track
GPCE 2020 Author of Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types within the GPCE-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ICST 2021 Committee Member in Program Committee within the Research Papers-track
ISSTA 2020 Committee Member in Program Committee within the Technical Papers-track
ESEC/FSE 2020 Author of Exempla Gratis (E.G.): Code Examples for Free within the Industry Papers-track
Committee Member in Program Committee within the Visions and Reflections -track
Author of Selecting Fault Revealing Mutants within the Journal First-track
CC 2020 Author of Is Stateful Packrat Parsing Really Linear in Practice? -- A Counter-Example, An Improved Grammar and Its Parsing Algorithms -- within the Main Conference-track
ICST 2020 Committee Member in Program Committee within the Research Papers-track
VMIL 2019 Author of Efficient Fail-Fast Dynamic Subtype Checking within the VMIL 2019-track
MAPL 2019 Committee Member in Program Committee within the MAPL 2019-track
ICSE 2021 Author of Growing A Test Corpus with Bonsai Fuzzing within the Technical Track-track
SPLASH 2019 Author of ChocoPy: A Programming Language for Compilers Courses within the SPLASH-E-track
Author of AutoPandas: Neural-Backed Generators for Program Synthesis within the OOPSLA-track
Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA Artifacts-track
Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track
Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track
Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track
ISSTA 2019 Author 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 2019 Author of Using ML for Code Discovery at Facebook within the Curry On-track
MAPL 2018 Author of Retrieval on source code: a neural code search within the MAPL 2018-track
ICSE 2020 Author of Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning within the Technical Papers-track
SPLASH 2018 Author 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 2019 Author 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 2018 Committee Member in External Review Committee
ISSTA 2017 Chair 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 2016 Author of Cancelled: Monitoring JavaScript Programs with Jalangi within the JSTools-track
VORTEX 2016 Author of Cancelled: Monitoring JavaScript Programs with Jalangi within the VORTEX-track
ISSTA 2018 Author of PerfFuzz: Automatically Generating Pathological Inputs within the ISSTA Technical Papers-track
ECOOP and ISSTA 2018 Author of PerfFuzz: Automatically Generating Pathological Inputs within the Posters-track
PLDI 2017 Committee 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 2016 Program Chair of Dynamic analysis of JavaScript with Jalangi within the Tutorials-track
ECOOP 2016 Author of Trace Typing: An Approach for Evaluating Retrofitted Type Systems within the Research Track-track
WODA 2015 Speaker of Concolic Testing: A Decade Later within the WODA-track
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
SOAP 2015 Invited Speaker of Jalangi: A Dynamic Analyses Framework for JavaScript within the SOAP-track
JSTools 2015 Author of Jalangi: A Dynamic Analyses Framework for JavaScript within the JSTools-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
ECOOP 2015 Author of The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript within the Research Track-track
SPLASH 2014 Author of EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation within the OOPSLA-track
SPLASH 2013 Committee 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 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track
SPLASH 2011 Committee Member in External Reviewers within the OOPSLA-track
Author of PREFAIL: A Programmable Tool for Multiple-Failure Injection within the OOPSLA-track