World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
70
Citations
23370
World Ranking
1847
National Ranking
943

Research.com Recognitions

  • 2011 - Fellow of Alfred P. Sloan Foundation

Overview

Koushik Sen is affiliated with the University of California, Berkeley, in the United States. Their research output spans primarily the field of computer science, with a substantial focus on several specialized subfields and topics.

The main research fields include:

  • Computer Science

Within this broad field, Sen's work concentrates on the following subfields:

  • Artificial Intelligence
  • Information Systems
  • Software
  • Signal Processing
  • Hardware and Architecture

Key topics consistently addressed in their research include:

  • Software Engineering Research
  • Software Testing and Debugging Techniques
  • Adversarial Robustness in Machine Learning
  • Advanced Malware Detection Techniques
  • Parallel Computing and Optimization Techniques
  • Natural Language Processing Techniques
  • Bacillus and Francisella bacterial research

Their publication record includes papers in several prominent venues, with the most frequent being:

  • arXiv (Cornell University)
  • 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • Proceedings of the ACM on Programming Languages
  • IEEE Software
  • International Journal on Software Tools for Technology Transfer

Selected recent papers authored or co-authored by Koushik Sen include:

  • Ansor: Generating High-Performance Tensor Programs for Deep Learning, 2020, arXiv (Cornell University)
  • QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space, 2020, arXiv (Cornell University)
  • Learning Highly Recursive Input Grammars, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code, 2024, arXiv (Cornell University)
  • VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Frequent collaborators include:

  • Ion Stoica
  • Caroline Lemieux
  • Joseph E. Gonzalez
  • Martin Gubri
  • Maxime Cordy

Koushik Sen has been recognized as a Fellow of the Alfred P. Sloan Foundation since 2011.

Best Publications

  • DART: directed automated random testing

    Patrice Godefroid;Nils Klarlund;Koushik Sen

  • CUTE: a concolic unit testing engine for C

    Koushik Sen;Darko Marinov;Gul Agha

  • Symbolic execution for software testing: three decades later

    Cristian Cadar;Koushik Sen

  • A view of the parallel computing landscape

    Krste Asanovic;Rastislav Bodik;James Demmel;Tony Keaveny

  • Heuristics for Scalable Dynamic Test Generation

    J. Burnim;K. Sen

  • CUTE and jCUTE: concolic unit testing and explicit path model-checking tools

    Koushik Sen;Gul Agha

  • Hybrid Concolic Testing

    Rupak Majumdar;Koushik Sen

  • Rule-Based Runtime Verification

    Howard Barringer;Allen Goldberg;Klaus Havelund;Koushik Sen

  • Symbolic execution for software testing in practice: preliminary assessment

    Cristian Cadar;Patrice Godefroid;Sarfraz Khurshid;Corina S. Pasareanu

  • Race directed random testing of concurrent programs

    Koushik Sen

  • Guided GUI testing of android apps with minimal restart and approximate learning

    Wontae Choi;George Necula;Koushik Sen

  • Statistical model checking of black-box probabilistic systems

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.

    Caroline Lemieux;Koushik Sen

  • Precimonious: tuning assistant for floating-point precision

    Cindy Rubio-González;Cuong Nguyen;Hong Diep Nguyen;James Demmel

  • DeepBugs: a learning approach to name-based bug detection

    Michael Pradel;Koushik Sen

  • Jalangi: a selective record-replay and dynamic analysis framework for JavaScript

    Koushik Sen;Swaroop Kalasapur;Tasneem Brutch;Simon Gibbs

  • FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage

    Caroline Lemieux;Koushik Sen

  • On statistical model checking of stochastic systems

    Koushik Sen;Mahesh Viswanathan;Gul Agha

  • Concolic testing

    Koushik Sen

  • Dynamic test input generation for database applications

    Michael Emmi;Rupak Majumdar;Koushik Sen

Frequent Co-Authors

Gul Agha
Gul Agha University of Illinois at Urbana-Champaign
Grigore Rosu
Grigore Rosu University of Illinois at Urbana-Champaign
Mahesh Viswanathan
Mahesh Viswanathan University of Illinois at Urbana-Champaign
George C. Necula
George C. Necula University of California, Berkeley
Michael Pradel
Michael Pradel University of Stuttgart
Howard Barringer
Howard Barringer University of Manchester
Klaus Havelund
Klaus Havelund Jet Propulsion Lab
Sarfraz Khurshid
Sarfraz Khurshid The University of Texas at Austin
Yves Le Traon
Yves Le Traon University of Luxembourg
Mike Papadakis
Mike Papadakis University of Luxembourg

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA can open the door to several related degrees and career opportunities, often available fully online. If you have an interest in sustainability and technical problem-solving, consider environmental engineering schools online. These programs combine technology with environmental awareness for impactful careers.

For those fascinated by designing, building, and improving mechanical systems, an online degree for mechanical engineering offers a practical pathway. Meanwhile, students passionate about fundamental scientific principles can pursue online physics degrees, blending theory and hands-on application.

Data is at the heart of today’s technology-driven world. Graduates with computer science backgrounds may also excel in data science programs, equipping them for high-demand roles in analytics, machine learning, and artificial intelligence.

Each of these online degree options complements computer science and can expand your career possibilities in the tech sector.

Best Scientists Citing Koushik Sen

Trending Scientists

Recently Published Articles