![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Koushik Sen
Person information
- affiliation: University of California, Berkeley, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Ismet Burak Kadron
, Yannic Noller
, Rohan Padhye
, Tevfik Bultan, Corina S. Pasareanu
, Koushik Sen:
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. IEEE Softw. 41(1): 98-104 (2024) - [c139]Kevin Laeufer
, Brandon Fajardo
, Abhik Ahuja
, Vighnesh Iyer
, Borivoje Nikolic
, Koushik Sen
:
RTL-Repair: Fast Symbolic Repair of Hardware Design Code. ASPLOS (3) 2024: 867-881 - [c138]Tianrui Wei
, Kevin Laeufer
, Katie Lim
, Jerry Zhao
, Koushik Sen
, Jonathan Balkind
, Krste Asanovic
:
Zoomie: A Software-like Debugging Tool for FPGAs. ASPLOS (3) 2024: 1048-1062 - [c137]Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica:
LLM-Assisted Code Cleaning For Training Accurate Code Generators. ICLR 2024 - [c136]Dan Zheng
, Koushik Sen
:
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs. ICSE-SEIP 2024: 147-156 - [c135]Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung:
To Tile or not to Tile, That is the Question. IPDPS (Workshops) 2024: 449-458 - [i29]Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen:
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models. CoRR abs/2401.11108 (2024) - [i28]Alex Gu, Wen-Ding Li, Naman Jain, Theo X. Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama:
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? CoRR abs/2402.19475 (2024) - [i27]Naman Jain, King Han, Alex Gu, Wen-Ding Li, Fanjia Yan, Tianjun Zhang, Sida Wang, Armando Solar-Lezama, Koushik Sen, Ion Stoica:
LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code. CoRR abs/2403.07974 (2024) - 2023
- [c134]Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen:
Simulator Independent Coverage for RTL Hardware Languages. ASPLOS (3) 2023: 606-615 - [c133]Koushik Sen, Sathish Vadhiyar, P. N. Vinayachandran:
Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications. HiPC 2023: 203-212 - [c132]Chaofan Shou, Shangyin Tan, Koushik Sen:
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. ISSTA 2023: 322-333 - [i26]Arash Ardakani, Altan Haan, Shangyin Tan, Doru-Thom Popovici, Alvin Cheung
, Costin Iancu, Koushik Sen:
SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics. CoRR abs/2305.18513 (2023) - [i25]Chaofan Shou, Shangyin Tan, Koushik Sen:
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. CoRR abs/2306.17135 (2023) - [i24]Rolando Garcia, Anusha Dandamudi, Gabriel Matute, Lehan Wan, Joseph Gonzalez, Joseph M. Hellerstein, Koushik Sen:
Multiversion Hindsight Logging for Continuous Training. CoRR abs/2310.07898 (2023) - [i23]Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica:
LLM-Assisted Code Cleaning For Training Accurate Code Generators. CoRR abs/2311.14904 (2023) - [i22]Arnav Singhvi, Manish Shetty, Shangyin Tan, Christopher Potts, Koushik Sen, Matei Zaharia, Omar Khattab:
DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines. CoRR abs/2312.13382 (2023) - [i21]Manish Shetty, Koushik Sen, Ion Stoica:
CodeScholar: Growing Idiomatic Code Examples. CoRR abs/2312.15157 (2023) - 2022
- [c131]Martin Gubri
, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. ECCV (4) 2022: 603-618 - [c130]Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song:
Benchmarking Language Models for Code Syntax Understanding. EMNLP (Findings) 2022: 3071-3093 - [c129]Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song:
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. EMNLP (Findings) 2022: 3833-3847 - [c128]Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
Efficient and transferable adversarial examples from bayesian neural networks. UAI 2022: 738-748 - [i20]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:
The Sky Above The Clouds. CoRR abs/2205.07147 (2022) - [i19]Martin Gubri
, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen:
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. CoRR abs/2207.13129 (2022) - [i18]Jianhao Shen, Chenguang Wang, Ye Yuan, Jiawei Han, Heng Ji, Koushik Sen, Ming Zhang, Dawn Song:
PALT: Parameter-Lite Transfer of Language Models for Knowledge Graph Completion. CoRR abs/2210.13715 (2022) - [i17]Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song:
Benchmarking Language Models for Code Syntax Understanding. CoRR abs/2210.14473 (2022) - 2021
- [j19]Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica:
Gauss: program synthesis by reasoning over graphs. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [j18]Caroline Lemieux, Koushik Sen:
FairFuzz-TC: a fuzzer targeting rare branches. Int. J. Softw. Tools Technol. Transf. 23(6): 863-866 (2021) - [c127]Vasudev Vikram
, Rohan Padhye
, Koushik Sen:
Growing A Test Corpus with Bonsai Fuzzing. ICSE 2021: 723-735 - [c126]Rohan Bavishi, Shadaj Laddad
, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen:
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE 2021: 129-141 - [c125]Neil Kulkarni, Caroline Lemieux, Koushik Sen:
Learning Highly Recursive Input Grammars. ASE 2021: 456-467 - [c124]Ed Younis, Koushik Sen, Katherine A. Yelick, Costin Iancu:
QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis. QCE 2021: 232-243 - [c123]Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, Koushik Sen:
ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. USENIX Security Symposium 2021: 2219-2236 - [i16]Vasudev Vikram, Rohan Padhye, Koushik Sen:
Growing a Test Corpus with Bonsai Fuzzing. CoRR abs/2103.04388 (2021) - [i15]Neil Kulkarni, Caroline Lemieux, Koushik Sen:
Learning Highly Recursive Input Grammars. CoRR abs/2108.13340 (2021) - 2020
- [j17]Thierry Titcheu Chekam
, Mike Papadakis
, Tegawendé F. Bissyandé, Yves Le Traon
, Koushik Sen:
Selecting fault revealing mutants. Empir. Softw. Eng. 25(1): 434-487 (2020) - [j16]Rolando Garcia, Eric Liu, Vikram Sreekanti, Bobby Yan, Anusha Dandamudi, Joseph Gonzalez
, Joseph M. Hellerstein, Koushik Sen:
Hindsight Logging for Model Training. Proc. VLDB Endow. 14(4): 682-693 (2020) - [j15]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [j14]Rezwana Karim, Frank Tip
, Alena Sochurková, Koushik Sen:
Platform-Independent Dynamic Taint Analysis for JavaScript. IEEE Trans. Software Eng. 46(12): 1364-1379 (2020) - [c122]Nariyoshi Chida, Yuhei Kawakoya, Dai Ikarashi, Kenji Takahashi, Koushik Sen:
Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms. CC 2020: 155-166 - [c121]Shadaj Laddad
, Koushik Sen:
Fluid quotes: metaprogramming across abstraction boundaries with dependent types. GPCE 2020: 98-110 - [c120]Sameer Reddy, Caroline Lemieux, Rohan Padhye
, Koushik Sen:
Quickly generating diverse valid test inputs with reinforcement learning. ICSE 2020: 1410-1421 - [c119]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:
Ansor: Generating High-Performance Tensor Programs for Deep Learning. OSDI 2020: 863-879 - [c118]Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu:
Towards Optimal Topology Aware Quantum Circuit Synthesis. QCE 2020: 223-234 - [c117]Shadaj Laddad
, Koushik Sen:
ScalaPy: seamless Python interoperability for cross-platform Scala programs. SCALA@SPLASH 2020: 2-13 - [c116]Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra:
Exempla gratis (E.G.): code examples for free. ESEC/SIGSOFT FSE 2020: 1353-1364 - [c115]Lee Harrison, Hayawardh Vijayakumar, Rohan Padhye, Koushik Sen, Michael Grace:
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. USENIX Security Symposium 2020: 789-806 - [e4]Koushik Sen, Mayur Naik:
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020. ACM 2020, ISBN 978-1-4503-7996-0 [contents] - [i14]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:
Ansor : Generating High-Performance Tensor Programs for Deep Learning. CoRR abs/2006.06762 (2020) - [i13]Rolando Garcia, Eric Liu, Vikram Sreekanti, Bobby Yan, Anusha Dandamudi, Joseph E. Gonzalez, Joseph M. Hellerstein, Koushik Sen:
Hindsight Logging for Model Training. CoRR abs/2006.07357 (2020) - [i12]Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra:
Exempla Gratis (E.G.): Code Examples for Free. CoRR abs/2011.01407 (2020)
2010 – 2019
- 2019
- [j13]Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra:
Aroma: code recommendation via structural code search. Proc. ACM Program. Lang. 3(OOPSLA): 152:1-152:28 (2019) - [j12]Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica:
AutoPandas: neural-backed generators for program synthesis. Proc. ACM Program. Lang. 3(OOPSLA): 168:1-168:27 (2019) - [j11]Rohan Padhye
, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar:
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3(OOPSLA): 174:1-174:29 (2019) - [j10]Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye
, David Lo
, Willem Visser, Koushik Sen:
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes 44(4): 14 (2019) - [c114]Yuma Kurogome, Yuto Otsuki, Yuhei Kawakoya, Makoto Iwamura, Syogo Hayashi, Tatsuya Mori
, Koushik Sen:
EIGER: automated IOC generation for accurate and interpretable endpoint malware detection. ACSAC 2019: 687-701 - [c113]Rafael Dutra, Jonathan Bachrach, Koushik Sen:
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD 2019: 203-211 - [c112]Rohan Padhye
, Caroline Lemieux, Koushik Sen, Mike Papadakis
, Yves Le Traon
:
Validity fuzzing and parametric generators for effective random testing. ICSE (Companion Volume) 2019: 266-267 - [c111]Rohan Padhye
, Caroline Lemieux, Koushik Sen, Mike Papadakis
, Yves Le Traon
:
Semantic fuzzing with zest. ISSTA 2019: 329-340 - [c110]Rohan Padhye
, Caroline Lemieux, Koushik Sen:
JQF: coverage-guided property-based testing in Java. ISSTA 2019: 398-401 - [c109]Rohan Padhye
, Koushik Sen:
Efficient fail-fast dynamic subtype checking. VMIL@SPLASH 2019: 32-37 - [c108]José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When deep learning met code search. ESEC/SIGSOFT FSE 2019: 964-974 - [c107]Rohan Padhye
, Koushik Sen, Paul N. Hilfinger:
ChocoPy: a programming language for compilers courses. SPLASH-E 2019: 41-45 - [i11]José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When Deep Learning Met Code Search. CoRR abs/1905.03813 (2019) - [i10]Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu:
Heuristics for Quantum Compiling with a Continuous Gate Set. CoRR abs/1912.02727 (2019) - 2018
- [j9]Michael Pradel, Koushik Sen:
DeepBugs: a learning approach to name-based bug detection. Proc. ACM Program. Lang. 2(OOPSLA): 147:1-147:25 (2018) - [c106]Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu:
Maximizing Communication Overlap with Dynamic Program Analysis. HPC Asia 2018: 1-11 - [c105]Kevin Laeufer
, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen:
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. ICCAD 2018: 28 - [c104]Rafael Dutra, Jonathan Bachrach, Koushik Sen:
SMTSampler: efficient stimulus generation from complex SMT constraints. ICCAD 2018: 30 - [c103]Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
:
DetReduce: minimizing Android GUI test suites for regression testing. ICSE 2018: 445-455 - [c102]Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen:
Efficient sampling of SAT solutions for testing. ICSE 2018: 549-559 - [c101]Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238 - [c100]Caroline Lemieux, Rohan Padhye
, Koushik Sen, Dawn Song:
PerfFuzz: automatically generating pathological inputs. ISSTA 2018: 254-265 - [c99]Caroline Lemieux, Koushik Sen:
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. ASE 2018: 475-485 - [c98]Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra:
Retrieval on source code: a neural code search. MAPL@PLDI 2018: 31-41 - [p1]Patrice Godefroid, Koushik Sen:
Combining Model Checking and Testing. Handbook of Model Checking 2018: 613-649 - [i9]Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen:
Selecting Fault Revealing Mutants. CoRR abs/1803.07901 (2018) - [i8]Michael Pradel, Koushik Sen:
DeepBugs: A Learning Approach to Name-based Bug Detection. CoRR abs/1805.11683 (2018) - [i7]Rohan Bavishi, Michael Pradel, Koushik Sen:
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts. CoRR abs/1809.05193 (2018) - [i6]Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. CoRR abs/1812.00078 (2018) - [i5]Sifei Luan, Di Yang, Koushik Sen, Satish Chandra:
Aroma: Code Recommendation via Structural Code Search. CoRR abs/1812.01158 (2018) - 2017
- [j8]Esben Andreasen, Liang Gong, Anders Møller
, Michael Pradel
, Marija Selakovic, Koushik Sen, Cristian-Alexandru Staicu:
A Survey of Dynamic Analysis and Test Generation for JavaScript. ACM Comput. Surv. 50(5): 66:1-66:36 (2017) - [c97]Christoffer Quist Adamsen, Anders Møller
, Rezwana Karim, Manu Sridharan
, Frank Tip, Koushik Sen:
Repairing event race errors by controlling nondeterminism. ICSE 2017: 289-299 - [c96]Rohan Padhye
, Koushik Sen:
Travioli: a dynamic analysis for detecting data-structure traversals. ICSE 2017: 473-483 - [e3]Tevfik Bultan, Koushik Sen:
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. ACM 2017, ISBN 978-1-4503-5076-1 [contents] - [i4]Ganesh Gopalakrishnan, Paul D. Hovland, Costin Iancu, Sriram Krishnamoorthy, Ignacio Laguna, Richard A. Lethin, Koushik Sen, Stephen F. Siegel, Armando Solar-Lezama:
Report of the HPC Correctness Summit, Jan 25-26, 2017, Washington, DC. CoRR abs/1705.07478 (2017) - [i3]Caroline Lemieux, Koushik Sen:
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. CoRR abs/1709.07101 (2017) - 2016
- [j7]Koushik Sen:
Technical Perspective: Veritesting tackles path-explosion problem. Commun. ACM 59(6): 92 (2016) - [c95]Esben Andreasen, Colin S. Gordon
, Satish Chandra, Manu Sridharan
, Frank Tip, Koushik Sen:
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP 2016: 1:1-1:26 - [c94]Xuehai Qian, Koushik Sen, Paul Hargrove
, Costin Iancu:
SReplay: Deterministic Sub-Group Replay for One-Sided Communication. ICS 2016: 17:1-17:13 - [c93]Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
:
Feedback-directed instrumentation for deployed JavaScript applications. ICSE 2016: 899-910 - [c92]Cindy Rubio-González, Cuong Nguyen, Benjamin Mehne, Koushik Sen, James Demmel, William Kahan, Costin Iancu, Wim Lavrijsen, David H. Bailey, David Hough:
Floating-point precision tuning using blame analysis. ICSE 2016: 1074-1085 - [c91]Xuehai Qian, Koushik Sen, Paul Hargrove
, Costin Iancu:
OPR: deterministic group replay for one-sided communication. PPoPP 2016: 47:1-47:2 - [i2]Esben Andreasen, Colin S. Gordon
, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen:
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version). CoRR abs/1605.01362 (2016) - 2015
- [c90]Michael Pradel, Koushik Sen:
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript. ECOOP 2015: 519-541 - [c89]Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino:
GuideSE: Annotations for Guiding Concolic Testing. AST@ICSE 2015: 23-27 - [c88]Michael Pradel, Parker Schuh, Koushik Sen:
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. ICSE (1) 2015: 314-324 - [c87]Haruto Tanno, Xiaojing Zhang, Takashi Hoshino, Koushik Sen:
TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications. ICSE (2) 2015: 717-720 - [c86]Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh
, Koushik Sen:
Generating Succinct Test Cases Using Don't Care Analysis. ICST 2015: 1-10 - [c85]Koushik Sen:
Automated Test Generation Using Concolic Testing. ISEC 2015: 9 - [c84]Liang Gong, Michael Pradel, Manu Sridharan
, Koushik Sen:
DLint: dynamically checking bad coding practices in JavaScript. ISSTA 2015: 94-105 - [c83]Koushik Sen:
Concolic testing: a decade later (keynote). WODA@SPLASH 2015: 1 - [c82]Milind Chabbi, Wim Lavrijsen, Wibe de Jong
, Koushik Sen, John M. Mellor-Crummey
, Costin Iancu:
Barrier elision for production parallel programs. PPoPP 2015: 109-119 - [c81]Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen:
SJS: A Type System for JavaScript with Fixed Object Layout. SAS 2015: 181-198 - [c80]Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen:
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation. Software Engineering & Management 2015: 131 - [c79]Simon Holm Jensen, Manu Sridharan
, Koushik Sen, Satish Chandra:
MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE 2015: 345-356 - [c78]Liang Gong, Michael Pradel, Koushik Sen:
JITProf: pinpointing JIT-unfriendly JavaScript code. ESEC/SIGSOFT FSE 2015: 357-368 - [c77]Koushik Sen, George C. Necula, Liang Gong, Wontae Choi:
MultiSE: multi-path symbolic execution using value summaries. ESEC/SIGSOFT FSE 2015: 842-853 - 2014
- [c76]Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen:
CodeHint: dynamic and interactive synthesis of code snippets. ICSE 2014: 653-663 - [c75]Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen:
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. OOPSLA 2014: 33-47 - [e2]Dharanipragada Janakiram, Koushik Sen, Vinay Kulkarni:
7th India Software Engineering Conference, Chennai, ISEC '14, Chennai, India - February 19 - 21, 2014. ACM 2014, ISBN 978-1-4503-2776-3 [contents] - [i1]Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen:
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Dagstuhl Reports 4(10): 98-114 (2014) - 2013
- [j6]Cristian Cadar
, Koushik Sen:
Symbolic execution for software testing: three decades later. Commun. ACM 56(2): 82-90 (2013) - [c74]Chang-Seo Park, Koushik Sen, Costin Iancu:
Scaling data race detection for partitioned global address space programs. ICS 2013: 47-58 - [c73]Wontae Choi, George C. Necula, Koushik Sen:
Guided GUI testing of android apps with minimal restart and approximate learning. OOPSLA 2013: 623-640 - [c72]Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen:
CONCURRIT: a domain specific language for reproducing concurrency bugs. PLDI 2013: 153-164 - [c71]Chang-Seo Park, Koushik Sen, Costin Iancu:
Scalable data race detection for partitioned global address space programs. PPoPP 2013: 305-306 - [c70]Cindy Rubio-González, Cuong Nguyen, Hong Diep Nguyen, James Demmel, William Kahan, Koushik Sen, David H. Bailey, Costin Iancu, David Hough:
Precimonious: tuning assistant for floating-point precision. SC 2013: 27:1-27:12 - [c69]Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs:
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript. ESEC/SIGSOFT FSE 2013: 488-498 - [c68]Koushik Sen, Swaroop Kalasapur, Tasneem G. Brutch, Simon Gibbs:
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript. ESEC/SIGSOFT FSE 2013: 615-618 - 2012
- [c67]Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. HotPar 2012 - [c66]Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. PPoPP 2012: 329-330 - [c65]Chang-Seo Park, Koushik Sen:
Concurrent breakpoints. PPoPP 2012: 331-332 - [c64]Cristian Cadar, Koushik Sen:
Symbolic Execution. RV 2012: 2 - [e1]Sarfraz Khurshid, Koushik Sen:
Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7186, Springer 2012, ISBN 978-3-642-29859-2 [contents] - 2011
- [c63]Jacob Burnim, George C. Necula, Koushik Sen:
Specifying and checking semantic atomicity for multithreaded programs. ASPLOS 2011: 79-90 - [c62]Nicholas Jalbert, Cristiano Pereira, Gilles Pokam, Koushik Sen:
RADBench: A Concurrency Bug Benchmark Suite. HotPar 2011 - [c61]Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser:
Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071 - [c60]Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu:
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. ICST 2011: 140-149 - [c59]Jacob Burnim, Koushik Sen, Christos Stergiou:
Testing concurrent programs on relaxed memory models. ISSTA 2011: 122-132 - [c58]Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, Dhruba Borthakur:
FATE and DESTINI: A Framework for Cloud Recovery Testing. NSDI 2011 - [c57]Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen:
PREFAIL: a programmable tool for multiple-failure injection. OOPSLA 2011: 171-188 - [c56]Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. PLDI 2011: 401-414 - [c55]Koushik Sen:
Concolic Testing and Constraint Satisfaction. SAT 2011: 3-4 - [c54]Chang-Seo Park, Koushik Sen, Paul Hargrove
, Costin Iancu:
Efficient data race detection for distributed memory parallel programs. SC 2011: 51:1-51:12 - [c53]Jacob Burnim, Koushik Sen, Christos Stergiou:
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. TACAS 2011: 11-25 - 2010
- [j5]Jacob Burnim, Koushik Sen:
Asserting and checking determinism for multithreaded programs. Commun. ACM 53(6): 97-105 (2010) - [c52]Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen:
Towards Automatically Checking Thousands of Failures with Micro-specifications. HotDep 2010 - [c51]Jacob Burnim, Koushik Sen:
DETERMIN: inferring likely deterministic specifications of multithreaded programs. ICSE (1) 2010: 415-424 - [c50]Nicholas Jalbert, Koushik Sen:
A trace simplification technique for effective debugging of concurrent programs. SIGSOFT FSE 2010: 57-66 - [c49]Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay:
An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE 2010: 327-336
2000 – 2009
- 2009
- [j4]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:
A view of the parallel computing landscape. Commun. ACM 52(10): 56-67 (2009) - [c48]Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen:
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681 - [c47]Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen:
SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400 - [c46]Koushik Sen:
DART: Directed Automated Random Testing. Haifa Verification Conference 2009: 4 - [c45]Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay:
Effective static deadlock detection. ICSE 2009: 386-396 - [c44]Jacob Burnim, Sudeep Juvekar, Koushik Sen:
WISE: Automated test generation for worst-case complexity. ICSE 2009: 463-473 - [c43]Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen:
Looper: Lightweight Detection of Infinite Loops at Runtime. ASE 2009: 161-169 - [c42]Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik:
A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120 - [c41]Jacob Burnim, Koushik Sen:
Asserting and checking determinism for multithreaded programs. ESEC/SIGSOFT FSE 2009: 3-12 - 2008
- [c40]Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger:
Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317 - [c39]Yamini Kannan, Koushik Sen:
Universal symbolic execution and its application to likely data structure invariant generation. ISSTA 2008: 283-294 - [c38]Pallavi Joshi, Koushik Sen:
Predictive Typestate Checking of Multithreaded Java Programs. ASE 2008: 288-296 - [c37]Jacob Burnim, Koushik Sen:
Heuristics for Scalable Dynamic Test Generation. ASE 2008: 443-446 - [c36]Koushik Sen:
Race directed random testing of concurrent programs. PLDI 2008: 11-21 - [c35]Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan:
Protocol Inference Using Static Path Profiles. SAS 2008: 78-92 - [c34]Chang-Seo Park, Koushik Sen:
Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE 2008: 135-145 - 2007
- [j3]Grigore Rosu, Koushik Sen:
An instrumentation technique for online analysis of multithreaded programs. Concurr. Comput. Pract. Exp. 19(3): 311-325 (2007) - [c33]Rupak Majumdar, Koushik Sen:
Hybrid Concolic Testing. ICSE 2007: 416-426 - [c32]Michael Emmi, Rupak Majumdar, Koushik Sen:
Dynamic test input generation for database applications. ISSTA 2007: 151-162 - [c31]Koushik Sen:
Effective random testing of concurrent programs. ASE 2007: 323-332 - [c30]Koushik Sen:
Concolic testing. ASE 2007: 571-572 - [c29]Pallavi Joshi, Koushik Sen, Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE 2007: 561-564 - 2006
- [b1]Koushik Sen:
Scalable Automated Methods for Dynamic Program Analysis. University of Illinois Urbana-Champaign, USA, 2006 - [j2]Koushik Sen, Grigore Rosu, Gul Agha:
Online efficient predictive safety analysis of multithreaded programs. Int. J. Softw. Tools Technol. Transf. 8(3): 248-260 (2006) - [c28]Koushik Sen, Mahesh Viswanathan:
Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314 - [c27]Koushik Sen, Gul Agha:
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423 - [c26]Koushik Sen, Gul Agha:
Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356 - [c25]Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182 - [c24]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Decentralized runtime analysis of multithreaded applications. IPDPS 2006 - [c23]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410 - 2005
- [j1]Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington:
Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005) - [c22]Koushik Sen, Mahesh Viswanathan, Gul Agha:
On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280 - [c21]Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226 - [c20]Patrice Godefroid, Nils Klarlund, Koushik Sen:
DART: directed automated random testing. PLDI 2005: 213-223 - [c19]Koushik Sen, Mahesh Viswanathan, Gul A. Agha:
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252 - [c18]Koushik Sen, Darko Marinov, Gul Agha:
CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272 - [c17]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60 - [c16]Gul A. Agha, José Meseguer, Koushik Sen:
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. QAPL 2005: 213-239 - 2004
- [c15]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215 - [c14]Prasad Naldurg, Koushik Sen, Prasanna Thati:
A Temporal Logic Based Framework for Intrusion Detection. FORTE 2004: 359-376 - [c13]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505 - [c12]Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning to Verify Safety Properties. ICFEM 2004: 274-289 - [c11]Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427 - [c10]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Program Monitoring with LTL in EAGLE. IPDPS 2004 - [c9]Grigore Rosu, Koushik Sen:
An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004 - [c8]Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155 - [c7]Koushik Sen, Grigore Rosu, Gul Agha:
Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138 - [c6]Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Rule-Based Runtime Verification. VMCAI 2004: 44-57 - 2003
- [c5]Koushik Sen, Grigore Rosu, Gul Agha:
Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275 - [c4]Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha:
A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46 - [c3]Koushik Sen, Grigore Rosu, Gul Agha:
Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346 - [c2]Koushik Sen, Grigore Rosu:
Generating Optimal Monitors for Extended Regular Expressions. RV@CAV 2003: 226-245 - 2002
- [c1]Prasanna Thati, Koushik Sen, Narciso Martí-Oliet
:
An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. WRLA 2002: 261-281
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-08 19:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint