Koushik Sen

According to our database1, Koushik Sen authored at least 136 papers between 2002 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Software Engineering Notes, 2020

Selecting fault revealing mutants.
Empirical Software Engineering, 2020

Hindsight Logging for Model Training.
CoRR, 2020

Ansor : Generating High-Performance Tensor Programs for Deep Learning.
CoRR, 2020

Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms.
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.
ACM SIGSOFT Software Engineering Notes, 2019

FuzzFactory: domain-specific fuzzing with waypoints.
Proc. ACM Program. Lang., 2019

Aroma: code recommendation via structural code search.
Proc. ACM Program. Lang., 2019

AutoPandas: neural-backed generators for program synthesis.
Proc. ACM Program. Lang., 2019

Heuristics for Quantum Compiling with a Continuous Gate Set.
CoRR, 2019

When deep learning met code search.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Efficient fail-fast dynamic subtype checking.
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Semantic fuzzing with zest.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

JQF: coverage-guided property-based testing in Java.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Validity fuzzing and parametric generators for effective random testing.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

EIGER: automated IOC generation for accurate and interpretable endpoint malware detection.
Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018
Combining Model Checking and Testing.
Proceedings of the Handbook of Model Checking., 2018

DeepBugs: a learning approach to name-based bug detection.
Proc. ACM Program. Lang., 2018

Aroma: Code Recommendation via Structural Code Search.
CoRR, 2018

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.
CoRR, 2018

Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts.
CoRR, 2018

Retrieval on source code: a neural code search.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

PerfFuzz: automatically generating pathological inputs.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Accelerating Search-Based Program Repair.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Efficient sampling of SAT solutions for testing.
Proceedings of the 40th International Conference on Software Engineering, 2018

DetReduce: minimizing Android GUI test suites for regression testing.
Proceedings of the 40th International Conference on Software Engineering, 2018

RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.
Proceedings of the International Conference on Computer-Aided Design, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.
Proceedings of the International Conference on Computer-Aided Design, 2018

Maximizing Communication Overlap with Dynamic Program Analysis.
Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region, 2018

2017
A Survey of Dynamic Analysis and Test Generation for JavaScript.
ACM Comput. Surv., 2017

FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.
CoRR, 2017

Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC.
CoRR, 2017

Travioli: a dynamic analysis for detecting data-structure traversals.
Proceedings of the 39th International Conference on Software Engineering, 2017

Repairing event race errors by controlling nondeterminism.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version).
CoRR, 2016

Technical Perspective: Veritesting tackles path-explosion problem.
Commun. ACM, 2016

OPR: deterministic group replay for one-sided communication.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Floating-point precision tuning using blame analysis.
Proceedings of the 38th International Conference on Software Engineering, 2016

Feedback-directed instrumentation for deployed JavaScript applications.
Proceedings of the 38th International Conference on Software Engineering, 2016

SReplay: Deterministic Sub-Group Replay for One-Sided Communication.
Proceedings of the 2016 International Conference on Supercomputing, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.
Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015
MultiSE: multi-path symbolic execution using value summaries.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

MemInsight: platform-independent memory debugging for JavaScript.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

JITProf: pinpointing JIT-unfriendly JavaScript code.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

SJS: A Type System for JavaScript with Fixed Object Layout.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Barrier elision for production parallel programs.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Concolic testing: a decade later (keynote).
Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

DLint: dynamically checking bad coding practices in JavaScript.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Automated Test Generation Using Concolic Testing.
Proceedings of the 8th India Software Engineering Conference, 2015

Generating Succinct Test Cases Using Don't Care Analysis.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

GuideSE: Annotations for Guiding Concolic Testing.
Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).
Dagstuhl Reports, 2014

EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

CodeHint: dynamic and interactive synthesis of code snippets.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Symbolic execution for software testing: three decades later.
Commun. ACM, 2013

Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Jalangi: a selective record-replay and dynamic analysis framework for JavaScript.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Precimonious: tuning assistant for floating-point precision.
Proceedings of the International Conference for High Performance Computing, 2013

Scalable data race detection for partitioned global address space programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

CONCURRIT: a domain specific language for reproducing concurrency bugs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Guided GUI testing of android apps with minimal restart and approximate learning.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Scaling data race detection for partitioned global address space programs.
Proceedings of the International Conference on Supercomputing, 2013

2012
Symbolic Execution.
Proceedings of the Runtime Verification, Third International Conference, 2012

Concurrent breakpoints.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.
Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Efficient data race detection for distributed memory parallel programs.
Proceedings of the Conference on High Performance Computing Networking, 2011

Concolic Testing and Constraint Satisfaction.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

PREFAIL: a programmable tool for multiple-failure injection.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

FATE and DESTINI: A Framework for Cloud Recovery Testing.
Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

Testing concurrent programs on relaxed memory models.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Symbolic execution for software testing in practice: preliminary assessment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

RADBench: A Concurrency Bug Benchmark Suite.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

Specifying and checking semantic atomicity for multithreaded programs.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Asserting and checking determinism for multithreaded programs.
Commun. ACM, 2010

An effective dynamic analysis for detecting generalized deadlocks.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A trace simplification technique for effective debugging of concurrent programs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

DETERMIN: inferring likely deterministic specifications of multithreaded programs.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Towards Automatically Checking Thousands of Failures with Micro-specifications.
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2009
A view of the parallel computing landscape.
Commun. ACM, 2009

A randomized dynamic program analysis technique for detecting real deadlocks.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Looper: Lightweight Detection of Infinite Loops at Runtime.
Proceedings of the ASE 2009, 2009

Effective static deadlock detection.
Proceedings of the 31st International Conference on Software Engineering, 2009

WISE: Automated test generation for worst-case complexity.
Proceedings of the 31st International Conference on Software Engineering, 2009

DART: Directed Automated Random Testing.
Proceedings of the Hardware and Software: Verification and Testing, 2009

SNIFF: A Search Engine for Java Using Free-Form Queries.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Randomized active atomicity violation detection in concurrent programs.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Protocol Inference Using Static Path Profiles.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Race directed random testing of concurrent programs.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Predictive Typestate Checking of Multithreaded Java Programs.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Heuristics for Scalable Dynamic Test Generation.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Universal symbolic execution and its application to likely data structure invariant generation.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Model-Checking omega-Regular Properties of Interval Markov Chains.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007
An instrumentation technique for online analysis of multithreaded programs.
Concurr. Comput. Pract. Exp., 2007

Predictive testing: amplifying the effectiveness of software testing.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Concolic testing.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Effective random testing of concurrent programs.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Dynamic test input generation for database applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Hybrid Concolic Testing.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Online efficient predictive safety analysis of multithreaded programs.
Int. J. Softw. Tools Technol. Transf., 2006

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.
Electron. Notes Theor. Comput. Sci., 2006

Model-Checking Markov Chains in the Presence of Uncertainties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Decentralized runtime analysis of multithreaded applications.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs.
Proceedings of the Hardware and Software, 2006

Automated Systematic Testing of Open Distributed Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2006

Model Checking Multithreaded Programs with Asynchronous Atomic Methods.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Combining test case generation and runtime verification.
Theor. Comput. Sci., 2005

Using Language Inference to Verify Omega-Regular Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

DART: directed automated random testing.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

On Statistical Model Checking of Stochastic Systems.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Rule-Based Runtime Verification.
Proceedings of the Verification, 2004

Learning Continuous Time Markov Chains from Sample Executions.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Program Monitoring with LTL in EAGLE.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.
Proceedings of the Formal Methods and Software Engineering, 2004

Actively Learning to Verify Safety for FIFO Automata.
Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

A Temporal Logic Based Framework for Intrusion Detection.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003
Generating Optimal Monitors for Extended Regular Expressions.
Electron. Notes Theor. Comput. Sci., 2003

Runtime safety analysis of multithreaded programs.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A Rewriting Based Model for Probabilistic Distributed Object Systems.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.
Proceedings of the Advances in Computing Science, 2003

2002
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.
Electron. Notes Theor. Comput. Sci., 2002


  Loading...