default search action

combined dblp search
author search
venue search
publication search

ask others

Koushik Sen

> Home > Persons

Person information

affiliation: University of California, Berkeley, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i34]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2502-20315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2502-20315
Shangyin Tan, Lakshya A. Agrawal, Arnav Singhvi, Liheng Lai, Michael J. Ryan, Dan Klein, Omar Khattab, Koushik Sen, Matei Zaharia:
LangProBe: a Language Programs Benchmark. CoRR abs/2502.20315 (2025)
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-22625
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-22625
Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Kevin Ellis, Koushik Sen, Armando Solar-Lezama:
Challenges and Paths Towards AI for Software Engineering. CoRR abs/2503.22625 (2025)
2024
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/software/KadronNPBPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/KadronNPBPS24
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)
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/acl/GuLJOLSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl/GuLJOLSS24
Alex Gu, Wen-Ding Li, Naman Jain, Theo Olausson, Celine Lee, Koushik Sen, Armando Solar-Lezama:
The Counterfeit Conundrum: Can Code Language Models Grasp the Nuances of Their Incorrect Generations? ACL (Findings) 2024: 74-117
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/LaeuferFAINS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/LaeuferFAINS24
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
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/WeiLLZSBA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/WeiLLZSBA24
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
[c139]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclr/JainZCGSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclr/JainZCGSS24
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
[c138]
- view
  - electronic edition @ openreview.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/icml/JainSZHSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/JainSZHSS24
Naman Jain, Manish Shetty, Tianjun Zhang, King Han, Koushik Sen, Ion Stoica:
R2E: Turning any Github Repository into a Programming Agent Environment. ICML 2024
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhengS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhengS24
Dan Zheng, Koushik Sen:
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs. ICSE-SEIP 2024: 147-156
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/HaanPSIC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/HaanPSIC24
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
[c135]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/naacl/ArdakaniHTPCIS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/naacl/ArdakaniHTPCIS24
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. NAACL-HLT 2024: 6218-6236
[i32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-11108
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-11108
Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen:
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models. CoRR abs/2401.11108 (2024)
[i31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-19475
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-19475
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)
[i30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-07974
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-07974
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)
[i29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-06213
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-06213
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:
BACKRUNNER: Mitigating Smart Contract Attacks in the Real World. CoRR abs/2409.06213 (2024)
[i28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-05299
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-05299
Ion Stoica, Matei Zaharia, Joseph Gonzalez, Ken Goldberg, Koushik Sen, Hao Zhang, Anastasios Angelopoulos, Shishir G. Patil, Lingjiao Chen, Wei-Lin Chiang, Jared Quincy Davis:
Specifications: The missing link to making the development of LLM systems an engineering discipline. CoRR abs/2412.05299 (2024)
[i27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2412-14234
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2412-14234
Manish Shetty, Naman Jain, Adwait Godbole, Sanjit A. Seshia, Koushik Sen:
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis. CoRR abs/2412.14234 (2024)
2023
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/LaeuferIBBNS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/LaeuferIBBNS23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hipc/SenVV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hipc/SenVV23
Koushik Sen, Sathish Vadhiyar, P. N. Vinayachandran:
Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications. HiPC 2023: 203-212
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/ShouTS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/ShouTS23
Chaofan Shou, Shangyin Tan, Koushik Sen:
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. ISSTA 2023: 322-333
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-18513
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-18513
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2306-17135
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2306-17135
Chaofan Shou, Shangyin Tan, Koushik Sen:
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. CoRR abs/2306.17135 (2023)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-07898
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-07898
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-14904
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-14904
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-13382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-13382
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-15157
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-15157
Manish Shetty, Koushik Sen, Ion Stoica:
CodeScholar: Growing Idiomatic Code Examples. CoRR abs/2312.15157 (2023)
2022
[c131]
- view
  authority control:
- export record
  dblp key:
  - conf/eccv/GubriCPTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eccv/GubriCPTS22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/emnlp/ShenCWSS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emnlp/ShenCWSS22
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song:
Benchmarking Language Models for Code Syntax Understanding. EMNLP (Findings) 2022: 3071-3093
[c129]
- view
  authority control:
- export record
  dblp key:
  - conf/emnlp/ShenWYHJS0S22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emnlp/ShenWYHJS0S22
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]
- view
  - electronic edition @ mlr.press (open access)
  - details & citations
- export record
  dblp key:
  - conf/uai/GubriCPTS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/GubriCPTS22
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-07147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-07147
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-13129
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-13129
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-13715
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-13715
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-14473
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-14473
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song:
Benchmarking Language Models for Code Syntax Understanding. CoRR abs/2210.14473 (2022)
2021
[j19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BavishiLSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BavishiLSS21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/LemieuxS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/LemieuxS21
Caroline Lemieux, Koushik Sen:
FairFuzz-TC: a fuzzer targeting rare branches. Int. J. Softw. Tools Technol. Transf. 23(6): 863-866 (2021)
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VikramPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VikramPS21
Vasudev Vikram, Rohan Padhye, Koushik Sen:
Growing A Test Corpus with Bonsai Fuzzing. ICSE 2021: 723-735
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BavishiLYPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BavishiLYPS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KulkarniLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KulkarniLS21
Neil Kulkarni, Caroline Lemieux, Koushik Sen:
Learning Highly Recursive Input Grammars. ASE 2021: 456-467
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/YounisSYI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/YounisSYI21
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]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/SonPPPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/SonPPPS21
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-04388
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-04388
Vasudev Vikram, Rohan Padhye, Koushik Sen:
Growing a Test Corpus with Bonsai Fuzzing. CoRR abs/2103.04388 (2021)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-13340
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-13340
Neil Kulkarni, Caroline Lemieux, Koushik Sen:
Learning Highly Recursive Input Grammars. CoRR abs/2108.13340 (2021)
2020
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ese/ChekamPBTS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/ChekamPBTS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/GarciaLSYD0HS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/GarciaLSYD0HS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/ArthoPAABBBCCDE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KarimTSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KarimTSS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/ChidaKITS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/ChidaKITS20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/LaddadS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/LaddadS20
Shadaj Laddad, Koushik Sen:
Fluid quotes: metaprogramming across abstraction boundaries with dependent types. GPCE 2020: 98-110
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ReddyLPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ReddyLPS20
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen:
Quickly generating diverse valid test inputs with reinforcement learning. ICSE 2020: 1410-1421
[c119]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/osdi/ZhengJSWYHWYZSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/ZhengJSWYHWYZSG20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/qce/DavisSTSSI20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qce/DavisSTSSI20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/scala/LaddadS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/LaddadS20
Shadaj Laddad, Koushik Sen:
ScalaPy: seamless Python interoperability for cross-platform Scala programs. SCALA@SPLASH 2020: 2-13
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BarnabyS0G020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BarnabyS0G020
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]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/uss/HarrisonVPSG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/HarrisonVPSG20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/2020mapl
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2020mapl
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-06762
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-06762
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-07357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-07357
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2011-01407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-01407
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/LuanYBS019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/LuanYBS019
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BavishiLFSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BavishiLFSS19
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/PadhyeLSSV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/PadhyeLSSV19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/LePPLVS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/LePPLVS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/acsac/KurogomeOKIHMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsac/KurogomeOKIHMS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/DutraBS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/DutraBS19
Rafael Dutra, Jonathan Bachrach, Koushik Sen:
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD 2019: 203-211
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PadhyeLSPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PadhyeLSPT19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PadhyeLSPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PadhyeLSPT19
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon:
Semantic fuzzing with zest. ISSTA 2019: 329-340
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PadhyeLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PadhyeLS19
Rohan Padhye, Caroline Lemieux, Koushik Sen:
JQF: coverage-guided property-based testing in Java. ISSTA 2019: 398-401
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PadhyeS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PadhyeS19
Rohan Padhye, Koushik Sen:
Efficient fail-fast dynamic subtype checking. VMIL@SPLASH 2019: 32-37
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CambroneroLKS019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CambroneroLKS019
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When deep learning met code search. ESEC/SIGSOFT FSE 2019: 964-974
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/splash/PadhyeSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splash/PadhyeSH19
Rohan Padhye, Koushik Sen, Paul N. Hilfinger:
ChocoPy: a programming language for compilers courses. SPLASH-E 2019: 41-45
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-03813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-03813
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra:
When Deep Learning Met Code Search. CoRR abs/1905.03813 (2019)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-02727
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-02727
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/PradelS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/PradelS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcasia/SaillardSLI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcasia/SaillardSLI18
Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu:
Maximizing Communication Overlap with Dynamic Program Analysis. HPC Asia 2018: 1-11
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/LaeuferKKBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/LaeuferKKBS18
Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen:
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. ICCAD 2018: 28
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/DutraBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/DutraBS18
Rafael Dutra, Jonathan Bachrach, Koushik Sen:
SMTSampler: efficient stimulus generation from complex SMT constraints. ICCAD 2018: 30
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChoiSNW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChoiSNW18
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang:
DetReduce: minimizing Android GUI test suites for regression testing. ICSE 2018: 445-455
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DutraLBS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DutraLBS18
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen:
Efficient sampling of SAT solutions for testing. ICSE 2018: 549-559
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MehneYPSGK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MehneYPSGK18
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid:
Accelerating Search-Based Program Repair. ICST 2018: 227-238
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LemieuxPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LemieuxPSS18
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song:
PerfFuzz: automatically generating pathological inputs. ISSTA 2018: 254-265
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LemieuxS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LemieuxS18
Caroline Lemieux, Koushik Sen:
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. ASE 2018: 475-485
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SachdevLLKS018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SachdevLLKS018
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]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/GodefroidS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/GodefroidS18
Patrice Godefroid, Koushik Sen:
Combining Model Checking and Testing. Handbook of Model Checking 2018: 613-649
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-07901
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-07901
Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen:
Selecting Fault Revealing Mutants. CoRR abs/1803.07901 (2018)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1805-11683
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-11683
Michael Pradel, Koushik Sen:
DeepBugs: A Learning Approach to Name-based Bug Detection. CoRR abs/1805.11683 (2018)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-05193
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-05193
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-00078
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-00078
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-01158
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-01158
Sifei Luan, Di Yang, Koushik Sen, Satish Chandra:
Aroma: Code Recommendation via Structural Code Search. CoRR abs/1812.01158 (2018)
2017
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/AndreasenGMPSSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/AndreasenGMPSSS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/AdamsenMKSTS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/AdamsenMKSTS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PadhyeS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PadhyeS17
Rohan Padhye, Koushik Sen:
Travioli: a dynamic analysis for detecting data-structure traversals. ICSE 2017: 473-483
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2017
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GopalakrishnanH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GopalakrishnanH17
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1709-07101
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-07101
Caroline Lemieux, Koushik Sen:
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. CoRR abs/1709.07101 (2017)
2016
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/Sen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/Sen16
Koushik Sen:
Technical Perspective: Veritesting tackles path-explosion problem. Commun. ACM 59(6): 92 (2016)
[c95]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/AndreasenGCSTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AndreasenGCSTS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ics/QianSHI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ics/QianSHI16
Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu:
SReplay: Deterministic Sub-Group Replay for One-Sided Communication. ICS 2016: 17:1-17:13
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MadsenTASM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MadsenTASM16
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller:
Feedback-directed instrumentation for deployed JavaScript applications. ICSE 2016: 899-910
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Rubio-Gonzalez016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Rubio-Gonzalez016
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/QianSHI16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/QianSHI16
Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu:
OPR: deterministic group replay for one-sided communication. PPoPP 2016: 47:1-47:2
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/AndreasenGCSTS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AndreasenGCSTS16
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/PradelS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/PradelS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SenTZH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SenTZH15
Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino:
GuideSE: Annotations for Guiding Concolic Testing. AST@ICSE 2015: 23-27
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PradelSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PradelSS15
Michael Pradel, Parker Schuh, Koushik Sen:
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. ICSE (1) 2015: 314-324
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TannoZHS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TannoZHS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/0001YPGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/0001YPGS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/Sen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/Sen15
Koushik Sen:
Automated Test Generation Using Concolic Testing. ISEC 2015: 9
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GongPSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GongPSS15
Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen:
DLint: dynamically checking bad coding practices in JavaScript. ISSTA 2015: 94-105
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Sen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Sen15
Koushik Sen:
Concolic testing: a decade later (keynote). WODA@SPLASH 2015: 1
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/ChabbiLJSMI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/ChabbiLJSMI15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChoiCNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChoiCNS15
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen:
SJS: A Type System for JavaScript with Fixed Object Layout. SAS 2015: 181-198
[c80]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/PradelSNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/PradelSNS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JensenSSC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JensenSSC15
Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra:
MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE 2015: 345-356
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GongPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GongPS15
Liang Gong, Michael Pradel, Koushik Sen:
JITProf: pinpointing JIT-unfriendly JavaScript code. ESEC/SIGSOFT FSE 2015: 357-368
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenNGC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenNGC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GalensonRBHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GalensonRBHS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PradelSNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PradelSNS14
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]
- view
- export record
  dblp key:
  - conf/indiaSE/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/2014
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/CadarGSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/CadarGSS14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/CadarS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/CadarS13
Cristian Cadar, Koushik Sen:
Symbolic execution for software testing: three decades later. Commun. ACM 56(2): 82-90 (2013)
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ics/ParkSI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ics/ParkSI13
Chang-Seo Park, Koushik Sen, Costin Iancu:
Scaling data race detection for partitioned global address space programs. ICS 2013: 47-58
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ChoiNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ChoiNS13
Wontae Choi, George C. Necula, Koushik Sen:
Guided GUI testing of android apps with minimal restart and approximate learning. OOPSLA 2013: 623-640
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ElmasBNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ElmasBNS13
Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen:
CONCURRIT: a domain specific language for reproducing concurrency bugs. PLDI 2013: 153-164
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/ParkSI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/ParkSI13
Chang-Seo Park, Koushik Sen, Costin Iancu:
Scalable data race detection for partitioned global address space programs. PPoPP 2013: 305-306
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/Rubio-GonzalezNNDKSBIH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/Rubio-GonzalezNNDKSBIH13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenKBG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenKBG13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenKBG13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenKBG13a
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]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/hotpar/BurnimENS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotpar/BurnimENS12
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. HotPar 2012
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BurnimENS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BurnimENS12
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. PPoPP 2012: 329-330
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/ParkS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/ParkS12
Chang-Seo Park, Koushik Sen:
Concurrent breakpoints. PPoPP 2012: 331-332
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CadarS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CadarS12
Cristian Cadar, Koushik Sen:
Symbolic Execution. RV 2012: 2
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2011
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]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/BurnimNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/BurnimNS11
Jacob Burnim, George C. Necula, Koushik Sen:
Specifying and checking semantic atomicity for multithreaded programs. ASPLOS 2011: 79-90
[c62]
- view
  - electronic edition @ usenix.org
  - details & citations
- export record
  dblp key:
  - conf/hotpar/JalbertPPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotpar/JalbertPPS11
Nicholas Jalbert, Cristiano Pereira, Gilles Pokam, Koushik Sen:
RADBench: A Concurrency Bug Benchmark Suite. HotPar 2011
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CadarGKPSTV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CadarGKPSTV11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ChanderDSY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ChanderDSY11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BurnimSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BurnimSS11
Jacob Burnim, Koushik Sen, Christos Stergiou:
Testing concurrent programs on relaxed memory models. ISSTA 2011: 122-132
[c58]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/nsdi/GunawiDJAHAASB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/GunawiDJAHAASB10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/JoshiGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/JoshiGS11
Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen:
PREFAIL: a programmable tool for multiple-failure injection. OOPSLA 2011: 171-188
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BurnimENS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BurnimENS11
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. PLDI 2011: 401-414
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Sen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Sen11
Koushik Sen:
Concolic Testing and Constraint Satisfaction. SAT 2011: 3-4
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/sc/ParkSHI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sc/ParkSHI11
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BurnimSS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BurnimSS11
Jacob Burnim, Koushik Sen, Christos Stergiou:
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. TACAS 2011: 11-25
2010
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/BurnimS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/BurnimS10
Jacob Burnim, Koushik Sen:
Asserting and checking determinism for multithreaded programs. Commun. ACM 53(6): 97-105 (2010)
[c52]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/hotdep/GunawiDJHAAS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotdep/GunawiDJHAAS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BurnimS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BurnimS10
Jacob Burnim, Koushik Sen:
DETERMIN: inferring likely deterministic specifications of multithreaded programs. ICSE (1) 2010: 415-424
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JalbertS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JalbertS10
Nicholas Jalbert, Koushik Sen:
A trace simplification technique for effective debugging of concurrent programs. SIGSOFT FSE 2010: 57-66
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JoshiNSG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JoshiNSG10
Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay:
An effective dynamic analysis for detecting generalized deadlocks. SIGSOFT FSE 2010: 327-336

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AsanovicBDKKKMPSWWY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AsanovicBDKKKMPSWWY09
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/JoshiNPS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/JoshiNPS09
Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen:
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. CAV 2009: 675-681
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ChatterjeeJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ChatterjeeJS09
Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen:
SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400
[c46]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/hvc/Sen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Sen09
Koushik Sen:
DART: Directed Automated Random Testing. Haifa Verification Conference 2009: 4
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NaikPSG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NaikPSG09
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay:
Effective static deadlock detection. ICSE 2009: 386-396
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BurnimJS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BurnimJS09
Jacob Burnim, Sudeep Juvekar, Koushik Sen:
WISE: Automated test generation for worst-case complexity. ICSE 2009: 463-473
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BurnimJSS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BurnimJSS09
Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen:
Looper: Lightweight Detection of Infinite Loops at Runtime. ASE 2009: 161-169
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/JoshiPSN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/JoshiPSN09
Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik:
A randomized dynamic program analysis technique for detecting real deadlocks. PLDI 2009: 110-120
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BurnimS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BurnimS09
Jacob Burnim, Koushik Sen:
Asserting and checking determinism for multithreaded programs. ESEC/SIGSOFT FSE 2009: 3-12
2008
[c40]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/ChatterjeeSH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/ChatterjeeSH08
Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger:
Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KannanS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KannanS08
Yamini Kannan, Koushik Sen:
Universal symbolic execution and its application to likely data structure invariant generation. ISSTA 2008: 283-294
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/JoshiS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/JoshiS08
Pallavi Joshi, Koushik Sen:
Predictive Typestate Checking of Multithreaded Java Programs. ASE 2008: 288-296
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BurnimS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BurnimS08
Jacob Burnim, Koushik Sen:
Heuristics for Scalable Dynamic Test Generation. ASE 2008: 443-446
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Sen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Sen08
Koushik Sen:
Race directed random testing of concurrent programs. PLDI 2008: 11-21
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/RamanathanSGJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/RamanathanSGJ08
Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan:
Protocol Inference Using Static Path Profiles. SAS 2008: 78-92
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ParkS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ParkS08
Chang-Seo Park, Koushik Sen:
Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE 2008: 135-145
2007
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/RosuS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/RosuS07
Grigore Rosu, Koushik Sen:
An instrumentation technique for online analysis of multithreaded programs. Concurr. Comput. Pract. Exp. 19(3): 311-325 (2007)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MajumdarS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MajumdarS07
Rupak Majumdar, Koushik Sen:
Hybrid Concolic Testing. ICSE 2007: 416-426
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/EmmiMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/EmmiMS07
Michael Emmi, Rupak Majumdar, Koushik Sen:
Dynamic test input generation for database applications. ISSTA 2007: 151-162
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Sen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Sen07
Koushik Sen:
Effective random testing of concurrent programs. ASE 2007: 323-332
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Sen07a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Sen07a
Koushik Sen:
Concolic testing. ASE 2007: 571-572
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/JoshiSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/JoshiSS07
Pallavi Joshi, Koushik Sen, Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE 2007: 561-564
2006
[b1]
- view
  - electronic edition via handle.net
  - details & citations
- export record
  dblp key:
  - phd/us/Sen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Sen06
Koushik Sen:
Scalable Automated Methods for Dynamic Program Analysis. University of Illinois Urbana-Champaign, USA, 2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/SenRA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/SenRA06
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SenV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SenV06
Koushik Sen, Mahesh Viswanathan:
Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SenA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SenA06
Koushik Sen, Gul Agha:
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/SenA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/SenA06
Koushik Sen, Gul Agha:
Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/SenA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/SenA06
Koushik Sen, Gul Agha:
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/SenVAR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/SenVAR06
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Decentralized runtime analysis of multithreaded applications. IPDPS 2006
[c23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/SenVA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SenVA06
Koushik Sen, Mahesh Viswanathan, Gul Agha:
Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
2005
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ArthoBGHKLPRSVW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ArthoBGHKLPRSVW05
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/SenVA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SenVA05
Koushik Sen, Mahesh Viswanathan, Gul Agha:
On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fmoods/SenRA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/SenRA05
Koushik Sen, Grigore Rosu, Gul Agha:
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/GodefroidKS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/GodefroidKS05
Patrice Godefroid, Nils Klarlund, Koushik Sen:
DART: directed automated random testing. PLDI 2005: 213-223
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SenVA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SenVA05
Koushik Sen, Mahesh Viswanathan, Gul A. Agha:
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenMA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenMA05
Koushik Sen, Darko Marinov, Gul Agha:
CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/VardhanSVA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/VardhanSVA05
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AghaMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AghaMS06
Gul A. Agha, José Meseguer, Koushik Sen:
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. QAPL 2005: 213-239
2004
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/SenVA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/SenVA04
Koushik Sen, Mahesh Viswanathan, Gul Agha:
Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/NaldurgST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NaldurgST04
Prasad Naldurg, Koushik Sen, Prasanna Thati:
A Temporal Logic Based Framework for Intrusion Detection. FORTE 2004: 359-376
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/VardhanSVA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/VardhanSVA04
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/VardhanSVA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/VardhanSVA04
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning to Verify Safety Properties. ICFEM 2004: 274-289
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SenVAR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SenVAR04
Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu:
Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/BarringerGHS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/BarringerGHS04
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Program Monitoring with LTL in EAGLE. IPDPS 2004
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/RosuS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/RosuS04
Grigore Rosu, Koushik Sen:
An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/SenVA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/SenVA04
Koushik Sen, Mahesh Viswanathan, Gul Agha:
Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/SenRA04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/SenRA04
Koushik Sen, Grigore Rosu, Gul Agha:
Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BarringerGHS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BarringerGHS04
Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen:
Rule-Based Runtime Verification. VMCAI 2004: 44-57
2003
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/asian/SenRA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asian/SenRA03
Koushik Sen, Grigore Rosu, Gul Agha:
Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fmoods/KumarSMA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmoods/KumarSMA03
Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha:
A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenRA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenRA03
Koushik Sen, Grigore Rosu, Gul Agha:
Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SenR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SenR03
Koushik Sen, Grigore Rosu:
Generating Optimal Monitors for Extended Regular Expressions. RV@CAV 2003: 226-245
2002
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ThatiSM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ThatiSM02
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

see FAQ

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.