Koushik Sen

发表

Effective static deadlock detection

David Gay, Koushik Sen, Chang-Seo Park, 2009, 2009 IEEE 31st International Conference on Software Engineering.

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

Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, 2013, ESEC/FSE 2013.

Effective random testing of concurrent programs

Koushik Sen, Koushik Sen, 2007, ASE.

The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View

Edward A. Lee, Katherine Yelick, James Demmel, 2008 .

DART: directed automated random testing

Koushik Sen, Nils Klarlund, Patrice Godefroid, 2005, PLDI '05.

CUTE: a concolic unit testing engine for C

Koushik Sen, Darko Marinov, Gul A. Agha, 2005, ESEC/FSE-13.

Using Language Inference to Verify Omega-Regular Properties

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2005, TACAS.

Learning continuous time Markov chains from sample executions

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Model-Checking ω-Regular Properties of Interval Markov Chains

T. Henzinger, K. Chatterjee, Koushik Sen, 2008 .

A view of the parallel computing landscape

James Demmel, Kurt Keutzer, Katherine A. Yelick, 2009, CACM.

Hybrid Concolic Testing

Rupak Majumdar, Koushik Sen, Koushik Sen, 2007, 29th International Conference on Software Engineering (ICSE'07).

The Parallel Computing Laboratory at U . C .

Edward A. Lee, J. Demmel, J. Kubiatowicz, 2008 .

Symbolic execution for software testing: three decades later

Koushik Sen, Cristian Cadar, Koushik Sen, 2013, CACM.

Chapter 10 Par Lab Progress on Correctness Tools for Parallel Programs

Chang-Seo Park, Koushik Sen, Tayfun Elmas, 2013 .

CONCURRIT: a domain specific language for reproducing concurrency bugs

Koushik Sen, Jacob Burnim, Tayfun Elmas, 2013, PLDI.

Koushik Sen's Research Statement

Koushik Sen, 2011 .

Proceedings of the Second international conference on Runtime verification

Sarfraz Khurshid, Koushik Sen, Koushik Sen, 2011 .

CONCURRIT: a domain specific language for reproducing concurrency bugs

George C. Necula, Koushik Sen, Jacob Burnim, 2013, PLDI.

Probabilistic Rewrite Theories

G. Agha, J. Meseguer, Koushik Sen, 2003 .

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Koushik Sen, Tevfik Bultan, Koushik Sen, 2017, ISSTA.

Monitors by Collecting Facts and Generating Obligations

Koushik Sen, K. Havelund, H. Barringer, 2003 .

13 Thin Middleware for Ubiquitous Computing

G. Agha, Koushik Sen, 2007 .

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks

Koushik Sen, M. Prasad, Shadaj Laddad, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Combining Test Case Generation with Run-time Verification

Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2005 .

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity

Yves Le Traon, Koushik Sen, Mike Papadakis, 2022, ECCV.

Algorithm-Centric Error Mitigation

Koushik Sen, Costin Iancu, Wim Lavrijsen, 2019 .

RFUZZ

J. Bachrach, Koushik Sen, Donggyu Kim, 2018, Proceedings of the International Conference on Computer-Aided Design.

Concolic Testing of Multithreaded Programs and Its Application to Testing Security Protocols

Gul Agha, Koushik Sen, G. Agha, 2006 .

Ansor : Generating High-Performance Tensor Programs for Deep Learning

Cody Hao Yu, Jun Yang, Koushik Sen, 2020, OSDI.

Selecting fault revealing mutants

Koushik Sen, Tegawendé F. Bissyandé, Mike Papadakis, 2018, Empirical Software Engineering.

RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs

Koushik Sen, Donggyu Kim, Jonathan Bachrach, 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

When deep learning met code search

Koushik Sen, Satish Chandra, Hongyu Li, 2019, ESEC/SIGSOFT FSE.

VESTA: A statistical model-checker and analyzer for probabilistic systems

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05).

On Statistical Model Checking of Stochastic Systems

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2005, CAV.

Statistical Model Checking of Black-Box Probabilistic Systems

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, CAV.

Retrieval on source code: a neural code search

Koushik Sen, Hongyu Li, Satish Chandra, 2018, MAPL@PLDI.

DeepBugs: a learning approach to name-based bug detection

Koushik Sen, Michael Pradel, Koushik Sen, 2018, Proc. ACM Program. Lang..

Benchmarking Language Models for Code Syntax Understanding

Xinyun Chen, Koushik Sen, Da Shen, 2022, EMNLP.

Growing a Test Corpus with Bonsai Fuzzing

Koushik Sen, Rohan Padhye, Vasudev Vikram, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).

Learning continuous time Markov chains from sample executions

Mahesh Viswanathan, G. Agha, Koushik Sen, 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

Precimonious: Tuning assistant for floating-point precision

James Demmel, William Kahan, Koushik Sen, 2013, 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC).

Concurrent breakpoints

Koushik Sen, Chang-Seo Park, Chang-Seo Park, 2012, PPoPP '12.

An effective dynamic analysis for detecting generalized deadlocks

David Gay, Koushik Sen, Pallavi Joshi, 2010, FSE '10.

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

Koushik Sen, Pallavi Joshi, Chang-Seo Park, 2009, CAV.

A randomized dynamic program analysis technique for detecting real deadlocks

Koushik Sen, Pallavi Joshi, Chang-Seo Park, 2009, PLDI '09.

Randomized active atomicity violation detection in concurrent programs

Koushik Sen, Chang-Seo Park, Chang-Seo Park, 2008, SIGSOFT '08/FSE-16.

Race directed random testing of concurrent programs

Koushik Sen, Koushik Sen, 2008, PLDI '08.

Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions

Koushik Sen, Grigore Rosu, Gul A. Agha, 2005, FMOODS.

A Parametric Model for Large Scale Agent Systems

Gul Agha, Koushik Sen, G. Agha, 2005 .

Dynamic test input generation for database applications

Rupak Majumdar, Koushik Sen, Michael Emmi, 2007, ISSTA '07.

Barrier elision for production parallel programs

Koushik Sen, John M. Mellor-Crummey, Milind Chabbi, 2015, PPoPP.

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

Koushik Sen, Gul A. Agha, G. Agha, 2006, CAV.

Automated Systematic Testing of Open Distributed Programs

Koushik Sen, Gul A. Agha, G. Agha, 2006, FASE.

Gauss: program synthesis by reasoning over graphs

Koushik Sen, Ion Stoica, Caroline Lemieux, 2021, Proc. ACM Program. Lang..

Model-Checking omega-Regular Properties of Interval Markov Chains

Krishnendu Chatterjee, Thomas A. Henzinger, Koushik Sen, 2008, FoSSaCS.

Model-Checking Markov Chains in the Presence of Uncertainties

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2006, TACAS.

Efficient Sampling of SAT Solutions for Testing

Koushik Sen, Jonathan Bachrach, Rafael Dutra, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

AutoPandas: neural-backed generators for program synthesis

Koushik Sen, Roy Fox, Ion Stoica, 2019, Proc. ACM Program. Lang..

SNIFF: A Search Engine for Java Using Free-Form Queries

Koushik Sen, Shaunak Chatterjee, Sudeep Juvekar, 2009, FASE.

Accelerating Search-Based Program Repair

Sarfraz Khurshid, Koushik Sen, Hiroaki Yoshida, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage pdf

Koushik Sen, Caroline Lemieux, Koushik Sen, 2017, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Aroma: code recommendation via structural code search

Koushik Sen, Satish Chandra, Di Yang, 2018, Proc. ACM Program. Lang..

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

George C. Necula, Koushik Sen, Jacob Burnim, 2011, PLDI '11.

Separating functional and parallel correctness using nondeterministic sequential specifications

George C. Necula, Koushik Sen, Jacob Burnim, 2010 .

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

Mahesh Viswanathan, Koushik Sen, Mahesh Viswanathan, 2006, CAV.

GuideSE: Annotations for Guiding Concolic Testing

Koushik Sen, Xiaojing Zhang, Takashi Hoshino, 2015, 2015 IEEE/ACM 10th International Workshop on Automation of Software Test.

DetReduce: Minimizing Android GUI Test Suites for Regression Testing

George C. Necula, Koushik Sen, Wenyu Wang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

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

George C. Necula, Koushik Sen, Wontae Choi, 2013, OOPSLA.

Heuristics for Quantum Compiling with a Continuous Gate Set pdf

Koushik Sen, Costin Iancu, Ethan Smith, 2019, ArXiv.

QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis

K. Yelick, Koushik Sen, Costin Iancu, 2021, 2021 IEEE International Conference on Quantum Computing and Engineering (QCE).

Concolic testing

Koushik Sen, Koushik Sen, 2007, ASE.

A Survey of Dynamic Analysis and Test Generation for JavaScript

Koushik Sen, Liang Gong, Michael Pradel, 2017, ACM Comput. Surv..

Learning Highly Recursive Input Grammars

Koushik Sen, Caroline Lemieux, Neil Kulkarni, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis

Koushik Sen, Rohan Padhye, Willem Visser, 2019, SOEN.

Semantic fuzzing with zest

Yves Le Traon, Koushik Sen, Rohan Padhye, 2018, ISSTA.

Validity Fuzzing and Parametric Generators for Effective Random Testing

Yves Le Traon, Koushik Sen, Rohan Padhye, 2018, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage

Koushik Sen, Caroline Lemieux, Koushik Sen, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Learning to Verify Safety Properties

Mahesh Viswanathan, Koushik Sen, Gul A. Agha, 2004, ICFEM.

SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics

Koushik Sen, Costin Iancu, Doru-Thom Popovici, 2023, ArXiv.

SReplay: Deterministic Sub-Group Replay for One-Sided Communication

Koushik Sen, Xuehai Qian, Costin Iancu, 2016, ICS.

A trace simplification technique for effective debugging of concurrent programs

Koushik Sen, Nicholas Jalbert, Koushik Sen, 2010, FSE '10.

Rule-Based Runtime Verification

Koushik Sen, Howard Barringer, Klaus Havelund, 2004, VMCAI.

Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts pdf

Koushik Sen, Michael Pradel, Rohan Bavishi, 2017, ArXiv.

Towards Optimal Topology Aware Quantum Circuit Synthesis

Costin Iancu, Irfan Siddiqi, Marc G. Davis, 2020, 2020 IEEE International Conference on Quantum Computing and Engineering (QCE).

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness

George C. Necula, Koushik Sen, Jacob Burnim, 2012, PPoPP '12.

Looper: Lightweight Detection of Infinite Loops at Runtime

Koushik Sen, Nicholas Jalbert, Jacob Burnim, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Predictive Typestate Checking of Multithreaded Java Programs

Koushik Sen, Pallavi Joshi, Koushik Sen, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Universal symbolic execution and its application to likely data structure invariant generation

Koushik Sen, Yamini Kannan, Yamini Kannan, 2008, ISSTA '08.

Concolic Testing of Sequential and Concurrent Programs

Gul Agha, Koushik Sen, Darko Marinov, 2006 .

Scalable Automated Methods for Dynamic Program Analysis

Gul Agha, Koushik Sen, G. Agha, 2006 .

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (Tools Paper)

G. Agha, Koushik Sen, 2006 .

JQF: coverage-guided property-based testing in Java

Koushik Sen, Rohan Padhye, Caroline Lemieux, 2019, ISSTA.

Combining Model Checking and Testing

Koushik Sen, Patrice Godefroid, Patrice Godefroid, 2018, Handbook of Model Checking.

Model-Checking ω-Regular Properties of Interval Markov Chains

T. Henzinger, K. Chatterjee, Koushik Sen, 2008 .

Heuristics for Scalable Dynamic Test Generation

Koushik Sen, Jacob Burnim, Koushik Sen, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion

Koushik Sen, Chenguang Wang, Ye Yuan, 2022, EMNLP.

Deep Learning to Find Bugs

Koushik Sen, Michael Pradel, Koushik Sen, 2017 .

WISE: Automated test generation for worst-case complexity

Koushik Sen, Jacob Burnim, Sudeep Juvekar, 2009, 2009 IEEE 31st International Conference on Software Engineering.

PerfFuzz: automatically generating pathological inputs

Dawn Xiaodong Song, Koushik Sen, Rohan Padhye, 2018, ISSTA.

Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals

Koushik Sen, Rohan Padhye, Koushik Sen, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

Symbolic execution for software testing in practice: preliminary assessment

Sarfraz Khurshid, Koushik Sen, Nikolai Tillmann, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

FuzzFactory: domain-specific fuzzing with waypoints

Koushik Sen, Rohan Padhye, Laurent Simon, 2019, Proc. ACM Program. Lang..

Combining test case generation and runtime verification

Michael R. Lowry, Sarfraz Khurshid, Koushik Sen, 2005, Theor. Comput. Sci..

Floating-Point Precision Tuning Using Blame Analysis

James Demmel, William Kahan, Koushik Sen, 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

MultiSE: multi-path symbolic execution using value summaries

Koushik Sen, Liang Gong, Wontae Choi, 2015, ESEC/SIGSOFT FSE.

Platform-Independent Dynamic Taint Analysis for JavaScript

Frank Tip, Koushik Sen, Rezwana Karim, 2020, IEEE Transactions on Software Engineering.

Automated Test Generation Using Concolic Testing

Koushik Sen, Koushik Sen, 2015, ISEC.

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

José Meseguer, Koushik Sen, Gul A. Agha, 2006, QAPL.

Probabilistic Rewrite Theories: Unifying Models, Logics and Tools

Gul Agha, José Meseguer, Koushik Sen, 2003 .

ChocoPy: a programming language for compilers courses

Koushik Sen, Rohan Padhye, Paul N. Hilfinger, 2019, SPLASH-E.

AGLE does Space Efficient LTL Monitoring

Koushik Sen, Howard Barringer, Klaus Havelund, 2003 .

Repairing Event Race Errors by Controlling Nondeterminism

Frank Tip, Manu Sridharan, Koushik Sen, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

QFAST: Quantum Synthesis Using a Hierarchical Continuous Circuit Space

Katherine Yelick, Koushik Sen, Costin Iancu, 2020, 2003.04462.

Efﬁcient and Transferable Adversarial Examples from Bayesian Neural Networks

Yves Le Traon, Koushik Sen, Mike Papadakis, 2022 .

Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning

Rohan Padhye, Caroline Lemieux, Sameer Reddy, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).

CodeHint: dynamic and interactive synthesis of code snippets

Koushik Sen, Björn Hartmann, Rastislav Bodík, 2014, ICSE.

DLint: dynamically checking bad coding practices in JavaScript

Manu Sridharan, Koushik Sen, Liang Gong, 2015, ISSTA.

PREFAIL: a programmable tool for multiple-failure injection

Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011, OOPSLA '11.

FATE and DESTINI: A Framework for Cloud Recovery Testing

Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, 2011, NSDI.

Towards Automatically Checking Thousands of Failures with Micro-specifications

Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, 2010, HotDep.

AIL : Programmable and Efficient Failure Testing Framework

Haryadi S. Gunawi, Koushik Sen, Pallavi Joshi, 2011 .

PreFail: A Programmable Failure-Injection Framework

Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011 .

PreFail: Programmable and Efficient Failure Testing Framework

Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011 .

Neural Inference of API Functions from Input–Output Examples

Koushik Sen, Ion Stoica, Roy Fox, 2018 .

ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State

Koushik Sen, Rishabh Poddar, Raluca Ada Popa, 2021, USENIX Security Symposium.

MemInsight: platform-independent memory debugging for JavaScript

Manu Sridharan, Koushik Sen, Satish Chandra, 2015, ESEC/SIGSOFT FSE.

Asserting and checking determinism for multithreaded programs

Koushik Sen, Jacob Burnim, 2010, Commun. ACM.

Asserting and checking determinism for multithreaded programs

Koushik Sen, Jacob Burnim, Koushik Sen, 2009, ESEC/FSE '09.

Automated Testing using Symbolic Model Checking and Temporal Monitoring

Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2004 .

SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

Koushik Sen, Jonathan Bachrach, Rafael Dutra, 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Generating Optimal Monitors for Extended Regular Expressions

Koushik Sen, Grigore Rosu, Koushik Sen, 2003, RV@CAV.

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

Armando Solar-Lezama, Sriram Krishnamoorthy, Koushik Sen, 2017, ArXiv.

Ansor : Generating High-Performance Tensor Programs for Deep Learning

Cody Hao Yu, I. Stoica, Joseph E. Gonzalez, 2020, OSDI.

Probabilistic Rewrite Theories

G. Agha, J. Meseguer, Koushik Sen, 2003 .

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models

Koushik Sen, Jacob Burnim, Christos Stergiou, 2011, TACAS.

Efficient decentralized monitoring of safety in distributed systems

Koushik Sen, Grigore Rosu, Gul A. Agha, 2004, Proceedings. 26th International Conference on Software Engineering.

Testing concurrent programs on relaxed memory models

Koushik Sen, Jacob Burnim, Christos Stergiou, 2011, ISSTA '11.

EIGER: automated IOC generation for accurate and interpretable endpoint malware detection

Koushik Sen, Tatsuya Mori, Makoto Iwamura, 2019, ACSAC.

An instrumentation technique for online analysis of multithreaded programs

Koushik Sen, Grigore Rosu, Koushik Sen, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript

Koushik Sen, Michael Pradel, Koushik Sen, 2015, ECOOP.

DART: directed automated random testing

Koushik Sen, Patrice Godefroid, Nils Klarlund, 2005, PLDI '05.

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models

Koushik Sen, Jacob Burnim, C. Stergiou, 2011, TACAS.

PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation

Koushik Sen, Rohan Padhye, Hayawardh Vijayakumar, 2020, USENIX Security Symposium.

JITProf: pinpointing JIT-unfriendly JavaScript code

Koushik Sen, Liang Gong, Michael Pradel, 2015, ESEC/SIGSOFT FSE.

Hindsight Logging for Model Training

J. Hellerstein, Joseph Gonzalez, Vikram Sreekanti, 2020, Proc. VLDB Endow..

EventBreak

George C. Necula, Koushik Sen, Michael Pradel, 2014, OOPSLA.

RADBench: A Concurrency Bug Benchmark Suite

Koushik Sen, Nicholas Jalbert, Gilles Pokam, 2011, HotPar.