Koushik Sen
#137,937
Most Influential Person Now
Koushik Sen's AcademicInfluence.com Rankings
Koushik Sencomputer-science Degrees
Computer Science
#6437
World Rank
#6787
Historical Rank
Software Engineering
#179
World Rank
#180
Historical Rank
Database
#3524
World Rank
#3671
Historical Rank
Download Badge
Computer Science
Why Is Koushik Sen Influential?
(Suggest an Edit or Addition)Koushik Sen's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- DART: directed automated random testing (2005) (2636)
- CUTE: a concolic unit testing engine for C (2005) (1942)
- Symbolic execution for software testing: three decades later (2013) (703)
- A view of the parallel computing landscape (2009) (653)
- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (2006) (464)
- Heuristics for Scalable Dynamic Test Generation (2008) (424)
- Hybrid Concolic Testing (2007) (409)
- Rule-Based Runtime Verification (2004) (407)
- Race directed random testing of concurrent programs (2008) (399)
- Guided GUI testing of android apps with minimal restart and approximate learning (2013) (360)
- Symbolic execution for software testing in practice: preliminary assessment (2011) (332)
- Statistical Model Checking of Black-Box Probabilistic Systems (2004) (286)
- Precimonious: Tuning assistant for floating-point precision (2013) (272)
- Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (2013) (264)
- On Statistical Model Checking of Stochastic Systems (2005) (248)
- DeepBugs: a learning approach to name-based bug detection (2018) (243)
- Dynamic test input generation for database applications (2007) (226)
- FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage (2018) (219)
- A randomized dynamic program analysis technique for detecting real deadlocks (2009) (202)
- Concolic testing (2007) (187)
- VESTA: A statistical model-checker and analyzer for probabilistic systems (2005) (185)
- Effective static deadlock detection (2009) (184)
- Randomized active atomicity violation detection in concurrent programs (2008) (180)
- Efficient decentralized monitoring of safety in distributed systems (2004) (178)
- Ansor : Generating High-Performance Tensor Programs for Deep Learning (2020) (170)
- PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (2006) (168)
- SNIFF: A Search Engine for Java Using Free-Form Queries (2009) (156)
- FATE and DESTINI: A Framework for Cloud Recovery Testing (2011) (148)
- When deep learning met code search (2019) (138)
- PerfFuzz: automatically generating pathological inputs (2018) (130)
- WISE: Automated test generation for worst-case complexity (2009) (127)
- Model-Checking Markov Chains in the Presence of Uncertainties (2006) (125)
- CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (2009) (124)
- Retrieval on source code: a neural code search (2018) (123)
- Aroma: code recommendation via structural code search (2018) (121)
- Effective random testing of concurrent programs (2007) (117)
- Combining test case generation and runtime verification (2005) (117)
- CodeHint: dynamic and interactive synthesis of code snippets (2014) (117)
- Automated Systematic Testing of Open Distributed Programs (2006) (113)
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods (2006) (97)
- Generating Optimal Monitors for Extended Regular Expressions (2003) (96)
- MultiSE: multi-path symbolic execution using value summaries (2015) (95)
- Runtime safety analysis of multithreaded programs (2003) (90)
- An effective dynamic analysis for detecting generalized deadlocks (2010) (90)
- PREFAIL: a programmable tool for multiple-failure injection (2011) (90)
- FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage (2017) (80)
- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions (2005) (77)
- Asserting and checking determinism for multithreaded programs (2009) (77)
- A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs (2006) (76)
- Program monitoring with LTL in EAGLE (2004) (74)
- Model-Checking omega-Regular Properties of Interval Markov Chains (2008) (74)
- Testing concurrent programs on relaxed memory models (2011) (74)
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (2011) (73)
- TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (2015) (73)
- Efficient Sampling of SAT Solutions for Testing (2018) (70)
- DLint: dynamically checking bad coding practices in JavaScript (2015) (68)
- The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View (2008) (65)
- Online efficient predictive safety analysis of multithreaded programs (2004) (63)
- Floating-Point Precision Tuning Using Blame Analysis (2016) (63)
- A Survey of Dynamic Analysis and Test Generation for JavaScript (2017) (62)
- Semantic fuzzing with zest (2018) (62)
- JITProf: pinpointing JIT-unfriendly JavaScript code (2015) (62)
- A trace simplification technique for effective debugging of concurrent programs (2010) (58)
- A Temporal Logic Based Framework for Intrusion Detection (2004) (56)
- An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 (2004) (55)
- Looper: Lightweight Detection of Infinite Loops at Runtime (2009) (55)
- Selecting fault revealing mutants (2018) (53)
- RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs (2018) (51)
- Learning continuous time Markov chains from sample executions (2004) (47)
- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (2014) (46)
- Scalable automated methods for dynamic program analysis (2006) (45)
- FuzzFactory: domain-specific fuzzing with waypoints (2019) (45)
- Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts (2017) (45)
- A Rewriting Based Model for Probabilistic Distributed Object Systems (2003) (44)
- Validity Fuzzing and Parametric Generators for Effective Random Testing (2018) (44)
- JQF: coverage-guided property-based testing in Java (2019) (43)
- Efficient data race detection for distributed memory parallel programs (2011) (43)
- AutoPandas: neural-backed generators for program synthesis (2019) (42)
- Generating Optimal Linear Temporal Logic Monitors by Coinduction (2003) (38)
- Learning to Verify Safety Properties (2004) (38)
- CONCURRIT: a domain specific language for reproducing concurrency bugs (2013) (38)
- Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories (2005) (37)
- Using Language Inference to Verify Omega-Regular Properties (2005) (37)
- Towards Optimal Topology Aware Quantum Circuit Synthesis (2020) (35)
- Actively Learning to Verify Safety for FIFO Automata (2004) (33)
- Deep Learning to Find Bugs (2017) (32)
- The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript (2015) (31)
- RADBench: A Concurrency Bug Benchmark Suite (2011) (31)
- Repairing Event Race Errors by Controlling Nondeterminism (2017) (31)
- PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation (2020) (30)
- QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space (2020) (28)
- MemInsight: platform-independent memory debugging for JavaScript (2015) (27)
- Platform-Independent Dynamic Taint Analysis for JavaScript (2020) (27)
- Specifying and checking semantic atomicity for multithreaded programs (2011) (27)
- Predictive Typestate Checking of Multithreaded Java Programs (2008) (27)
- Decentralized runtime analysis of multithreaded applications (2006) (26)
- DetReduce: Minimizing Android GUI Test Suites for Regression Testing (2018) (26)
- Combining Model Checking and Testing (2018) (25)
- Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC (2017) (25)
- Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning (2020) (25)
- LATEST : Lazy Dynamic Test Input Generation (2007) (25)
- Model-Checking ω-Regular Properties of Interval Markov Chains (2008) (24)
- QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis (2021) (24)
- DETERMIN: inferring likely deterministic specifications of multithreaded programs (2010) (23)
- Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols (2006) (21)
- TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (2015) (21)
- Predictive testing: amplifying the effectiveness of software testing (2007) (21)
- Probabilistic Rewrite Theories: Unifying Models, Logics and Tools (2003) (19)
- Universal symbolic execution and its application to likely data structure invariant generation (2008) (19)
- EAGLE does Space Efficient LTL Monitoring (2003) (19)
- NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (2011) (19)
- Feedback-Directed Instrumentation for Deployed JavaScript Applications (2016) (18)
- Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (2013) (17)
- Heuristics for Quantum Compiling with a Continuous Gate Set (2019) (17)
- SJS: A Type System for JavaScript with Fixed Object Layout (2015) (16)
- Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis (2019) (16)
- Accelerating Search-Based Program Repair (2018) (16)
- Concurrent breakpoints (2012) (15)
- An instrumentation technique for online analysis of multithreaded programs (2004) (15)
- Towards Automatically Checking Thousands of Failures with Micro-specifications (2010) (15)
- Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals (2017) (14)
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints (2018) (13)
- Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (2011) (13)
- CONCURRIT: testing concurrent programs with programmable state-space exploration (2012) (13)
- EAGLE Monitors by Collecting Facts and Generating Obligations (2003) (13)
- Barrier elision for production parallel programs (2015) (10)
- Predictive testing: amplifying the effectiveness of software testing (2007) (10)
- Scaling data race detection for partitioned global address space programs (2013) (10)
- EIGER: automated IOC generation for accurate and interpretable endpoint malware detection (2019) (10)
- ChocoPy: a programming language for compilers courses (2019) (9)
- Symbolic Execution (2012) (9)
- Automated Test Generation Using Concolic Testing (2015) (9)
- Generating Succinct Test Cases Using Don't Care Analysis (2015) (8)
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems (2016) (7)
- Growing a Test Corpus with Bonsai Fuzzing (2021) (7)
- PreFail: A Programmable Failure-Injection Framework (2011) (6)
- Asserting and checking determinism for multithreaded programs (2010) (6)
- Separating functional and parallel correctness using nondeterministic sequential specifications (2010) (6)
- GuideSE: Annotations for Guiding Concolic Testing (2015) (6)
- OPR: deterministic group replay for one-sided communication (2016) (5)
- LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity (2022) (5)
- Hindsight Logging for Model Training (2020) (5)
- Automated Testing of Multithreaded Programs Using Race-Detection and Flipping (2006) (5)
- SReplay: Deterministic Sub-Group Replay for One-Sided Communication (2016) (5)
- Concolic Testing and Constraint Satisfaction (2011) (5)
- NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (2012) (5)
- PreFail: Programmable and Efficient Failure Testing Framework (2011) (5)
- SJS: a Typed Subset of JavaScript with Fixed Object Layout (2015) (5)
- Combining Test Case Generation with Run-time Verification (2005) (4)
- Gauss: program synthesis by reasoning over graphs (2021) (4)
- Concolic testing: a decade later (keynote) (2015) (4)
- Multi-level Debugging for Multi-stage, Parallelizing Compilers (2012) (4)
- GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions (2019) (3)
- Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442) (2014) (3)
- EIGER (2019) (3)
- The Parallel Computing Laboratory at U . C . (2008) (3)
- Scalable data race detection for partitioned global address space programs (2013) (3)
- Learning Highly Recursive Input Grammars (2021) (3)
- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (Tools Paper) (2006) (3)
- COVID-19 Forced Lockdown: Nature’s Strategy to Rejuvenate Itself (2021) (3)
- Probabilistic Rewrite Theories (2003) (3)
- On specifying and monitoring epistemic properties of distributed systems (2004) (3)
- Protocol Inference Using Static Path Profiles (2008) (3)
- Techniques for the automatic debugging of scientific floating-point programs (2010) (2)
- Saffron (2019) (2)
- VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks (2021) (2)
- Automated Testing using Symbolic Model Checking and Temporal Monitoring (2004) (2)
- Benchmarking Language Models for Code Syntax Understanding (2022) (2)
- Efficient fail-fast dynamic subtype checking (2019) (2)
- A Parametric Model for Large Scale Agent Systems (2005) (2)
- Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (2017) (2)
- FairFuzz-TC: a fuzzer targeting rare branches (2020) (2)
- A Hint in the Right Direction: Interactive Synthesis with Partial Dynamic Specifications (2012) (1)
- EventBreak (2014) (1)
- RFUZZ (2018) (1)
- AGLE does Space Efficient LTL Monitoring (2003) (1)
- Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing (2023) (1)
- Concolic Testing of Sequential and Concurrent Programs (2006) (1)
- Technical Perspective: Veritesting tackles path-explosion problem (2016) (1)
- Neural Inference of API Functions from Input–Output Examples (2018) (1)
- Maximizing Communication Overlap with Dynamic Program Analysis (2018) (1)
- ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State (2021) (1)
- Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms (2020) (1)
- Proceedings of the Second international conference on Runtime verification (2011) (1)
- Predictive Safety Analysis of Concurrent Programs List of Tables List of Figures (0)
- PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion (2022) (0)
- Simulator Independent Coverage for RTL Hardware Languages (2023) (0)
- CS 70 Discrete Mathematics and Probability Theory Spring 2022 Course Notes Note 20 Prediction ! (2022) (0)
- EAGLE can do Efficient LTL Monitoring (2003) (0)
- ScalaPy: seamless Python interoperability for cross-platform Scala programs (2020) (0)
- Replication Package for "Semantic Fuzzing with Zest" (2019) (0)
- 13 Thin Middleware for Ubiquitous Computing (2007) (0)
- The Java Pathfinder Workshop 2019 (2020) (0)
- CS 70 Discrete Mathematics and Probability Theory Fall 2022 Course Notes Note 6 1 Modular Arithmetic (2017) (0)
- Monitors by Collecting Facts and Generating Obligations (2003) (0)
- AIL : Programmable and Efficient Failure Testing Framework (2011) (0)
- CORVETTE : Program Correctness , Verification , and Testing for Exascale (2012) (0)
- Efficient and Transferable Adversarial Examples from Bayesian Neural Networks (2022) (0)
- Koushik Sen's Research Statement (2011) (0)
- Program Correctness, Verification and Testing for Exascale (Corvette) (2018) (0)
- The Java Pathfinder Workshop 2019 (2021) (0)
- Thin Middleware for Ubiquitous Computing (2020) (0)
- Algorithm-Centric Error Mitigation (2019) (0)
- CS 70 Discrete Mathematics and Probability Theory Spring 2022 Course Notes Note 18 Three Killer Applications : Hashing , Collecting , and Load Balancing (2022) (0)
- Properties of OptL, #L and UL and their relation with NL (2003) (0)
- Proceedings of the 7th India Software Engineering Conference (2014) (0)
- Artifacts for Article (2019) (0)
- WhenDeep LearningMet Code Search (2019) (0)
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface (2012) (0)
- Chapter 10 Par Lab Progress on Correctness Tools for Parallel Programs (2013) (0)
- The Sky Above The Clouds (2022) (0)
- 100 14442 – Symbolic Execution and Constraint Solving 2 Table of Contents (2015) (0)
- Selecting fault revealing mutants (2019) (0)
- Session details: Symbolic execution (2013) (0)
- Session details: Symbolic execution (2013) (0)
- Fluid quotes: metaprogramming across abstraction boundaries with dependent types (2020) (0)
- SMTS ampler (2018) (0)
This paper list is powered by the following services:
