Koushik Sen

18.5k total citations · 7 hit papers
156 papers, 10.1k citations indexed

About

Koushik Sen is a scholar working on Software, Information Systems and Computer Networks and Communications. According to data from OpenAlex, Koushik Sen has authored 156 papers receiving a total of 10.1k indexed citations (citations by other indexed papers that have themselves been cited), including 101 papers in Software, 62 papers in Information Systems and 45 papers in Computer Networks and Communications. Recurrent topics in Koushik Sen's work include Software Testing and Debugging Techniques (95 papers), Software Reliability and Analysis Research (56 papers) and Software Engineering Research (47 papers). Koushik Sen is often cited by papers focused on Software Testing and Debugging Techniques (95 papers), Software Reliability and Analysis Research (56 papers) and Software Engineering Research (47 papers). Koushik Sen collaborates with scholars based in United States, Germany and Japan. Koushik Sen's co-authors include Patrice Godefroid, Nils Klarlund, Gul Agha, Darko Marinov, Jacob Burnim, Cristian Cadar, Rupak Majumdar, Michael Pradel, George C. Necula and Chang‐Seo Park and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and IEEE Transactions on Software Engineering.

In The Last Decade

Koushik Sen

151 papers receiving 9.6k citations

Hit Papers

DART 2005 2026 2012 2019 2005 2005 2005 2013 2009 400 800 1.2k
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. DART
    2005 1.4k citations Koushik Sen et al. profile →
  2. DART
    2005 1.2k citations Koushik Sen et al. profile →
  3. CUTE
    2005 1.1k citations Koushik Sen, Gul Agha et al. profile →
  4. Symbolic execution for software testing
    2013 435 citations Koushik Sen et al. profile →
  5. A view of the parallel computing landscape
    2009 369 citations Krste Asanović, Koushik Sen et al. profile →
  6. Race directed random testing of concurrent programs
    2008 324 citations Koushik Sen profile →
  7. DeepBugs: a learning approach to name-based bug detection
    2018 205 citations Michael Pradel, Koushik Sen profile →

Peers

Koushik Sen
Patrice Godefroid United States
Dawson Engler United States
Thomas Reps United States
Alex Aiken United States
Zhendong Su United States
Martin Rinard United States
Rastislav Bodík United States
Mary Jean Harrold United States
Barbara G. Ryder United States
Jeanne Ferrante United States
Patrice Godefroid United States
Koushik Sen
Citations per year, relative to Koushik Sen Koushik Sen (= 1×) peers Patrice Godefroid

Countries citing papers authored by Koushik Sen

Since Specialization
Citations

This map shows the geographic impact of Koushik Sen's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Koushik Sen with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Koushik Sen more than expected).

Fields of papers citing papers by Koushik Sen

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Koushik Sen. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Koushik Sen. The network helps show where Koushik Sen may publish in the future.

Co-authorship network of co-authors of Koushik Sen

This figure shows the co-authorship network connecting the top 25 collaborators of Koushik Sen. A scholar is included among the top collaborators of Koushik Sen based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Koushik Sen. Koushik Sen is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Zhao, Jerry, et al.. (2024). Zoomie: A Software-like Debugging Tool for FPGAs. 1048–1062.
2.
Nikolić, Borivoje, et al.. (2024). RTL-Repair: Fast Symbolic Repair of Hardware Design Code. 867–881. 4 indexed citations
3.
Noller, Yannic, et al.. (2023). Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. IEEE Software. 41(1). 98–104. 2 indexed citations
4.
Sen, Koushik, et al.. (2023). ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. 322–333. 37 indexed citations
5.
Chen, Xinyun, et al.. (2022). Benchmarking Language Models for Code Syntax Understanding. 3071–3093. 7 indexed citations
6.
Poddar, Rishabh, et al.. (2021). ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. USENIX Security Symposium. 2219–2236. 3 indexed citations
7.
Harrison, Lee H., Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, & Michael Grace. (2020). {PARTEMU}: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. USENIX Security Symposium. 789–806. 21 indexed citations
8.
Padhye, Rohan, Caroline Lemieux, Koushik Sen, Mike Papadakis, & Yves Le Traon. (2019). Validity Fuzzing and Parametric Generators for Effective Random Testing. Open Repository and Bibliography (University of Luxembourg). 266–267. 8 indexed citations
9.
Padhye, Rohan, Caroline Lemieux, Koushik Sen, Mike Papadakis, & Yves Le Traon. (2018). Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. arXiv (Cornell University). 5 indexed citations
10.
Gong, Liang, et al.. (2017). A Survey of Dynamic Analysis and Test Generation for JavaScript. ACM Computing Surveys. 50(5). 1–36. 58 indexed citations
11.
Pradel, Michael, Parker Schuh, & Koushik Sen. (2015). TypeDevil: dynamic type inconsistency analysis for JavaScript. International Conference on Software Engineering. 1. 314–324. 43 indexed citations
12.
Pradel, Michael, Parker Schuh, George C. Necula, & Koushik Sen. (2015). EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.. 131. 7 indexed citations
13.
Elmas, Tayfun, Jacob Burnim, George C. Necula, & Koushik Sen. (2013). CONCURRIT. 153–164. 21 indexed citations
14.
Burnim, Jacob, Tayfun Elmas, George C. Necula, & Koushik Sen. (2012). CONCURRIT: testing concurrent programs with programmable state-space exploration. 16–16. 6 indexed citations
15.
Pereira, Cristiano, et al.. (2011). RADBench: a concurrency bug benchmark suite. 2–2. 25 indexed citations
16.
Gunawi, Haryadi S., Thanh Do, Pallavi Joshi, et al.. (2011). FATE and DESTINI: a framework for cloud recovery testing. Networked Systems Design and Implementation. 238–252. 83 indexed citations
17.
Gunawi, Haryadi S., Thanh Do, Pallavi Joshi, et al.. (2010). Towards automatically checking thousands of failures with micro-specifications. UC Berkeley. 1–8. 10 indexed citations
18.
Burnim, Jacob, George C. Necula, & Koushik Sen. (2010). Separating functional and parallel correctness using nondeterministic sequential specifications. 6–6. 3 indexed citations
19.
Artho, Cyrille, Howard Barringer, Allen Goldberg, et al.. (2004). Combining test case generation and runtime verification. Theoretical Computer Science. 336(2-3). 209–234. 56 indexed citations
20.
Sen, Koushik, et al.. (2003). A rewriting based model for probabilistic distributed object systems. Lecture notes in computer science. 2884. 32–46. 2 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Patrice Godefroid Breakdown of academic impact, for papers by Dawson Engler Breakdown of academic impact, for papers by Thomas Reps Breakdown of academic impact, for papers by Alex Aiken Breakdown of academic impact, for papers by Zhendong Su Breakdown of academic impact, for papers by Martin Rinard Breakdown of academic impact, for papers by Rastislav Bodík Breakdown of academic impact, for papers by Mary Jean Harrold Breakdown of academic impact, for papers by Barbara G. Ryder Breakdown of academic impact, for papers by Jeanne Ferrante
Rankless by CCL
2026