Koushik Sen

According to our database, Koushik Sen authored at least 175 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.

Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen

IEEE Softw., 2024

BACKRUNNER: Mitigating Smart Contract Attacks in the Real World.

Chaofan Shou, Yuanyu Ke, Yupeng Yang, Qi Su, Or Dadosh, Assaf Eli, David Benchimol, Doudou Lu, Daniel Tong, Dex Chen, Zoey Tan, Jacob Chia, Koushik Sen, Wenke Lee

CoRR, 2024

LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code.

Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica

CoRR, 2024

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models.

Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen

CoRR, 2024

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

Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung, Costin Iancu, Koushik Sen

Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024

To Tile or not to Tile, That is the Question.

Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung

Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2024

Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs.

Dan Zheng, Koushik Sen

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

R2E: Turning any Github Repository into a Programming Agent Environment.

Naman Jain, Manish Shetty, Tianjun Zhang, King Han, Koushik Sen, Ion Stoica

Proceedings of the Forty-first International Conference on Machine Learning, 2024

LLM-Assisted Code Cleaning For Training Accurate Code Generators.

Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Zoomie: A Software-like Debugging Tool for FPGAs.

Tianrui Wei, Kevin Laeufer, Katie Lim, Jerry Zhao, Koushik Sen, Jonathan Balkind, Krste Asanovic

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

RTL-Repair: Fast Symbolic Repair of Hardware Design Code.

Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations?

Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama

Proceedings of the Findings of the Association for Computational Linguistics, 2024

2023

CodeScholar: Growing Idiomatic Code Examples.

Manish Shetty, Koushik Sen, Ion Stoica

CoRR, 2023

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines.

Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab

CoRR, 2023

Multiversion Hindsight Logging for Continuous Training.

Rolando Garcia, Anusha Dandamudi, Gabriel Matute, Lehan Wan, Joseph Gonzalez, Joseph M. Hellerstein, Koushik Sen

CoRR, 2023

ItyFuzz: Snapshot-Based Fuzzer for Smart Contract.

Chaofan Shou, Shangyin Tan, Koushik Sen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications.

Koushik Sen, Sathish Vadhiyar, P. N. Vinayachandran

Proceedings of the 30th IEEE International Conference on High Performance Computing, 2023

Simulator Independent Coverage for RTL Hardware Languages.

Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

The Sky Above The Clouds.

Sarah E. Chasins, Alvin Cheung, Natacha Crooks, Ali Ghodsi, Ken Goldberg, Joseph E. Gonzalez, Joseph M. Hellerstein, Michael I. Jordan, Anthony D. Joseph, Michael W. Mahoney, Aditya G. Parameswaran, David A. Patterson, Raluca Ada Popa, Koushik Sen, Scott Shenker, Dawn Song, Ion Stoica

CoRR, 2022

Efficient and transferable adversarial examples from bayesian neural networks.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen

Proceedings of the Uncertainty in Artificial Intelligence, 2022

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

Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

Benchmarking Language Models for Code Syntax Understanding.

Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity.

Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen

Proceedings of the Computer Vision - ECCV 2022, 2022

2021

FairFuzz-TC: a fuzzer targeting rare branches.

Caroline Lemieux, Koushik Sen

Int. J. Softw. Tools Technol. Transf., 2021

Gauss: program synthesis by reasoning over graphs.

Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica

Proc. ACM Program. Lang., 2021

ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State.

Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, Koushik Sen

Proceedings of the 30th USENIX Security Symposium, 2021

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

Ed Younis, Koushik Sen, Katherine A. Yelick, Costin Iancu

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021

Learning Highly Recursive Input Grammars.

Neil Kulkarni, Caroline Lemieux, Koushik Sen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.

Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Growing A Test Corpus with Bonsai Fuzzing.

Vasudev Vikram, Rohan Padhye, Koushik Sen

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Platform-Independent Dynamic Taint Analysis for JavaScript.

Rezwana Karim, Frank Tip, Alena Sochurková, Koushik Sen

IEEE Trans. Software Eng., 2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Hindsight Logging for Model Training.

Rolando Garcia, Eric Liu, Vikram Sreekanti, Bobby Yan, Anusha Dandamudi, Joseph Gonzalez, Joseph M. Hellerstein, Koushik Sen

Proc. VLDB Endow., 2020

Selecting fault revealing mutants.

Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen

Empir. Softw. Eng., 2020

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

Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace

Proceedings of the 29th USENIX Security Symposium, 2020

Exempla gratis (E.G.): code examples for free.

Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

ScalaPy: seamless Python interoperability for cross-platform Scala programs.

Shadaj Laddad, Koushik Sen

Proceedings of the SPLASH '20: Conference on Systems, 2020

Towards Optimal Topology Aware Quantum Circuit Synthesis.

Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

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

Lianmin Zheng, Chengfan Jia, Minmin Sun, Zhao Wu, Cody Hao Yu, Ameer Haj-Ali, Yida Wang, Jun Yang, Danyang Zhuo, Koushik Sen, Joseph E. Gonzalez, Ion Stoica

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Quickly generating diverse valid test inputs with reinforcement learning.

Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Fluid quotes: metaprogramming across abstraction boundaries with dependent types.

Shadaj Laddad, Koushik Sen

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms.

Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

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

Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen

ACM SIGSOFT Softw. Eng. Notes, 2019

FuzzFactory: domain-specific fuzzing with waypoints.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar

Proc. ACM Program. Lang., 2019

Aroma: code recommendation via structural code search.

Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra

Proc. ACM Program. Lang., 2019

AutoPandas: neural-backed generators for program synthesis.

Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica

Proc. ACM Program. Lang., 2019

Heuristics for Quantum Compiling with a Continuous Gate Set.

Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu

CoRR, 2019

ChocoPy: a programming language for compilers courses.

Rohan Padhye, Koushik Sen, Paul N. Hilfinger

Proceedings of the SPLASH-E '19, 2019

When deep learning met code search.

José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra

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.

Rohan Padhye, Koushik Sen

Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2019

Semantic fuzzing with zest.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

JQF: coverage-guided property-based testing in Java.

Rohan Padhye, Caroline Lemieux, Koushik Sen

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Validity fuzzing and parametric generators for effective random testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

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

Yuma Kurogome, Yuto Otsuki, Yuhei Kawakoya, Makoto Iwamura, Syogo Hayashi, Tatsuya Mori, Koushik Sen

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Combining Model Checking and Testing.

Patrice Godefroid, Koushik Sen

Proceedings of the Handbook of Model Checking., 2018

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

Michael Pradel, Koushik Sen

Proc. ACM Program. Lang., 2018

Aroma: Code Recommendation via Structural Code Search.

Sifei Luan, Di Yang, Koushik Sen, Satish Chandra

CoRR, 2018

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

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

CoRR, 2018

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

Rohan Bavishi, Michael Pradel, Koushik Sen

CoRR, 2018

Retrieval on source code: a neural code search.

Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra

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.

Caroline Lemieux, Koushik Sen

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

PerfFuzz: automatically generating pathological inputs.

Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Accelerating Search-Based Program Repair.

Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Efficient sampling of SAT solutions for testing.

Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen

Proceedings of the 40th International Conference on Software Engineering, 2018

DetReduce: minimizing Android GUI test suites for regression testing.

Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang

Proceedings of the 40th International Conference on Software Engineering, 2018

RFUZZ: coverage-directed fuzz testing of RTL on FPGAs.

Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen

Proceedings of the International Conference on Computer-Aided Design, 2018

SMTSampler: efficient stimulus generation from complex SMT constraints.

Rafael Dutra, Jonathan Bachrach, Koushik Sen

Proceedings of the International Conference on Computer-Aided Design, 2018

Maximizing Communication Overlap with Dynamic Program Analysis.

Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu

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.

Esben Andreasen, Liang Gong, Anders Møller, Michael Pradel, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu

ACM Comput. Surv., 2017

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

Caroline Lemieux, Koushik Sen

CoRR, 2017

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

Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama

CoRR, 2017

Travioli: a dynamic analysis for detecting data-structure traversals.

Rohan Padhye, Koushik Sen

Proceedings of the 39th International Conference on Software Engineering, 2017

Repairing event race errors by controlling nondeterminism.

Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

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

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

CoRR, 2016

Technical Perspective: Veritesting tackles path-explosion problem.

Koushik Sen

Commun. ACM, 2016

OPR: deterministic group replay for one-sided communication.

Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Floating-point precision tuning using blame analysis.

Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough

Proceedings of the 38th International Conference on Software Engineering, 2016

Feedback-directed instrumentation for deployed JavaScript applications.

Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller

Proceedings of the 38th International Conference on Software Engineering, 2016

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

Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu

Proceedings of the 2016 International Conference on Supercomputing, 2016

Trace Typing: An Approach for Evaluating Retrofitted Type Systems.

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2015

MultiSE: multi-path symbolic execution using value summaries.

Koushik Sen, George C. Necula, Liang Gong, Wontae Choi

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

MemInsight: platform-independent memory debugging for JavaScript.

Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

JITProf: pinpointing JIT-unfriendly JavaScript code.

Liang Gong, Michael Pradel, Koushik Sen

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation.

Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

SJS: A Type System for JavaScript with Fixed Object Layout.

Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Barrier elision for production parallel programs.

Milind Chabbi, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John M. Mellor-Crummey, Costin Iancu

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Concolic testing: a decade later (keynote).

Koushik Sen

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

DLint: dynamically checking bad coding practices in JavaScript.

Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Automated Test Generation Using Concolic Testing.

Koushik Sen

Proceedings of the 8th India Software Engineering Conference, 2015

Generating Succinct Test Cases Using Don't Care Analysis.

Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications.

Haruto Tanno, Xiaojing Zhang, Takashi Hoshino, Koushik Sen

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

GuideSE: Annotations for Guiding Concolic Testing.

Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino

Proceedings of the 10th IEEE/ACM International Workshop on Automation of Software Test, 2015

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript.

Michael Pradel, Parker Schuh, Koushik Sen

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.

Michael Pradel, Koushik Sen

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).

Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen

Dagstuhl Reports, 2014

CodeHint: dynamic and interactive synthesis of code snippets.

Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Symbolic execution for software testing: three decades later.

Cristian Cadar, Koushik Sen

Commun. ACM, 2013

Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript.

Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs

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.

Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs

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.

Cindy Rubio-González, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough

Proceedings of the International Conference for High Performance Computing, 2013

Scalable data race detection for partitioned global address space programs.

Chang-Seo Park, Koushik Sen, Costin Iancu

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

CONCURRIT: a domain specific language for reproducing concurrency bugs.

Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen

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.

Wontae Choi, George C. Necula, Koushik Sen

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.

Chang-Seo Park, Koushik Sen, Costin Iancu

Proceedings of the International Conference on Supercomputing, 2013

2012

Symbolic Execution.

Cristian Cadar, Koushik Sen

Proceedings of the Runtime Verification, Third International Conference, 2012

Concurrent breakpoints.

Chang-Seo Park, Koushik Sen

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

NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

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

CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

Proceedings of the 4th USENIX Workshop on Hot Topics in Parallelism, 2012

2011

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Efficient data race detection for distributed memory parallel programs.

Chang-Seo Park, Koushik Sen, Paul Hargrove, Costin Iancu

Proceedings of the Conference on High Performance Computing Networking, 2011

Concolic Testing and Constraint Satisfaction.

Koushik Sen

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.

Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

PREFAIL: a programmable tool for multiple-failure injection.

Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

FATE and DESTINI: A Framework for Cloud Recovery Testing.

Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, Dhruba Borthakur

Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

Testing concurrent programs on relaxed memory models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Symbolic execution for software testing in practice: preliminary assessment.

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

Proceedings of the 33rd International Conference on Software Engineering, 2011

RADBench: A Concurrency Bug Benchmark Suite.

Nicholas Jalbert, Cristiano Pereira, Gilles Pokam, Koushik Sen

Proceedings of the 3rd USENIX Workshop on Hot Topics in Parallelism, 2011

Specifying and checking semantic atomicity for multithreaded programs.

Jacob Burnim, George C. Necula, Koushik Sen

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Asserting and checking determinism for multithreaded programs.

Jacob Burnim, Koushik Sen

Commun. ACM, 2010

An effective dynamic analysis for detecting generalized deadlocks.

Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A trace simplification technique for effective debugging of concurrent programs.

Nicholas Jalbert, Koushik Sen

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

DETERMIN: inferring likely deterministic specifications of multithreaded programs.

Jacob Burnim, Koushik Sen

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Towards Automatically Checking Thousands of Failures with Micro-specifications.

Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

2009

A view of the parallel computing landscape.

Krste Asanovic, Rastislav Bodík, James Demmel, Tony M. Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick

Commun. ACM, 2009

A randomized dynamic program analysis technique for detecting real deadlocks.

Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Looper: Lightweight Detection of Infinite Loops at Runtime.

Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen

Proceedings of the ASE 2009, 2009

Effective static deadlock detection.

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay

Proceedings of the 31st International Conference on Software Engineering, 2009

WISE: Automated test generation for worst-case complexity.

Jacob Burnim, Sudeep Juvekar, Koushik Sen

Proceedings of the 31st International Conference on Software Engineering, 2009

DART: Directed Automated Random Testing.

Koushik Sen

Proceedings of the Hardware and Software: Verification and Testing, 2009

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

Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen

Proceedings of the Fundamental Approaches to Software Engineering, 2009

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.

Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Randomized active atomicity violation detection in concurrent programs.

Chang-Seo Park, Koushik Sen

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Protocol Inference Using Static Path Profiles.

Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan

Proceedings of the Static Analysis, 15th International Symposium, 2008

Race directed random testing of concurrent programs.

Koushik Sen

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Predictive Typestate Checking of Multithreaded Java Programs.

Pallavi Joshi, Koushik Sen

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Heuristics for Scalable Dynamic Test Generation.

Jacob Burnim, Koushik Sen

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.

Yamini Kannan, Koushik Sen

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Model-Checking omega-Regular Properties of Interval Markov Chains.

Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

An instrumentation technique for online analysis of multithreaded programs.

Grigore Rosu, Koushik Sen

Concurr. Comput. Pract. Exp., 2007

Predictive testing: amplifying the effectiveness of software testing.

Pallavi Joshi, Koushik Sen, Mark Shlimovich

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.

Koushik Sen

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

Effective random testing of concurrent programs.

Koushik Sen

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

Dynamic test input generation for database applications.

Michael Emmi, Rupak Majumdar, Koushik Sen

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Hybrid Concolic Testing.

Rupak Majumdar, Koushik Sen

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Scalable Automated Methods for Dynamic Program Analysis

Koushik Sen

PhD thesis, 2006

Online efficient predictive safety analysis of multithreaded programs.

Koushik Sen, Grigore Rosu, Gul Agha

Int. J. Softw. Tools Technol. Transf., 2006

Model-Checking Markov Chains in the Presence of Uncertainties.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Decentralized runtime analysis of multithreaded applications.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

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.

Koushik Sen, Gul Agha

Proceedings of the Hardware and Software, 2006

Automated Systematic Testing of Open Distributed Programs.

Koushik Sen, Gul Agha

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Model Checking Multithreaded Programs with Asynchronous Atomic Methods.

Koushik Sen, Mahesh Viswanathan

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

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

Koushik Sen, Gul Agha

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Combining test case generation and runtime verification.

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington

Theor. Comput. Sci., 2005

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.

Gul A. Agha, José Meseguer, Koushik Sen

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Using Language Inference to Verify Omega-Regular Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CUTE: a concolic unit testing engine for C.

Koushik Sen, Darko Marinov, Gul Agha

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.

Koushik Sen, Mahesh Viswanathan, Gul A. Agha

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

DART: directed automated random testing.

Patrice Godefroid, Nils Klarlund, Koushik Sen

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.

Koushik Sen, Grigore Rosu, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

On Statistical Model Checking of Stochastic Systems.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Rule-Based Runtime Verification.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the Verification, 2004

Learning Continuous Time Markov Chains from Sample Executions.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Program Monitoring with LTL in EAGLE.

Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Efficient Decentralized Monitoring of Safety in Distributed Systems.

Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Learning to Verify Safety Properties.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Formal Methods and Software Engineering, 2004

Actively Learning to Verify Safety for FIFO Automata.

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

A Temporal Logic Based Framework for Intrusion Detection.

Prasad Naldurg, Koushik Sen, Prasanna Thati

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Statistical Model Checking of Black-Box Probabilistic Systems.

Koushik Sen, Mahesh Viswanathan, Gul Agha

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Generating Optimal Monitors for Extended Regular Expressions.

Koushik Sen, Grigore Rosu

Proceedings of the Third Workshop on Run-time Verification, 2003

Runtime safety analysis of multithreaded programs.

Koushik Sen, Grigore Rosu, Gul Agha

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.

Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Generating Optimal Linear Temporal Logic Monitors by Coinduction.

Koushik Sen, Grigore Rosu, Gul Agha

Proceedings of the Advances in Computing Science, 2003

2002

An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0.

Prasanna Thati, Koushik Sen, Narciso Martí-Oliet

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002