Koushik Sen

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 93

Top Venues

Publications

Dan Zheng, Koushik Sen
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs. ICSE-SEIP (2024)
Altan Haan, Doru-Thom Popovici, Koushik Sen, Costin Iancu, Alvin Cheung
To Tile or not to Tile, That is the Question. IPDPS (Workshops) (2024)
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 (2024)
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)
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)
Kevin Laeufer, Brandon Fajardo, Abhik Ahuja, Vighnesh Iyer, Borivoje Nikolic, Koushik Sen
RTL-Repair: Fast Symbolic Repair of Hardware Design Code. ASPLOS (3) (2024)
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)
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) (2024)
Chaofan Shou, Jing Liu, Doudou Lu, Koushik Sen
LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models. CoRR (2024)
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)
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 (2024)
Manish Shetty, Koushik Sen, Ion Stoica
CodeScholar: Growing Idiomatic Code Examples. CoRR (2023)
Naman Jain, Tianjun Zhang, Wei-Lin Chiang, Joseph E. Gonzalez, Koushik Sen, Ion Stoica
LLM-Assisted Code Cleaning For Training Accurate Code Generators. CoRR (2023)
Kevin Laeufer, Vighnesh Iyer, David Biancolin, Jonathan Bachrach, Borivoje Nikolic, Koushik Sen
Simulator Independent Coverage for RTL Hardware Languages. ASPLOS (3) (2023)
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 (2023)
Koushik Sen, Sathish Vadhiyar, P. N. Vinayachandran
Strategies for Fast I/O Throughput in Large-Scale Climate Modeling Applications. HiPC (2023)
Chaofan Shou, Shangyin Tan, Koushik Sen
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. ISSTA (2023)
Chaofan Shou, Shangyin Tan, Koushik Sen
ItyFuzz: Snapshot-Based Fuzzer for Smart Contract. CoRR (2023)
Rolando Garcia, Anusha Dandamudi, Gabriel Matute, Lehan Wan, Joseph Gonzalez, Joseph M. Hellerstein, Koushik Sen
Multiversion Hindsight Logging for Continuous Training. CoRR (2023)
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 (2023)
Sarah 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 (2022)
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)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. CoRR (2022)
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
Benchmarking Language Models for Code Syntax Understanding. CoRR (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
Efficient and transferable adversarial examples from bayesian neural networks. UAI (2022)
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 (2022)
Da Shen, Xinyun Chen, Chenguang Wang, Koushik Sen, Dawn Song
Benchmarking Language Models for Code Syntax Understanding. EMNLP (Findings) (2022)
Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen
LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. ECCV (4) (2022)
Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica
Gauss: program synthesis by reasoning over graphs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Neil Kulkarni, Caroline Lemieux, Koushik Sen
Learning Highly Recursive Input Grammars. CoRR (2021)
Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, Koushik Sen
ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. USENIX Security Symposium (2021)
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. ASE (2021)
Vasudev Vikram, Rohan Padhye, Koushik Sen
Growing a Test Corpus with Bonsai Fuzzing. CoRR (2021)
Ed Younis, Koushik Sen, Katherine A. Yelick, Costin Iancu
QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis. QCE (2021)
Vasudev Vikram, Rohan Padhye, Koushik Sen
Growing A Test Corpus with Bonsai Fuzzing. ICSE (2021)
Neil Kulkarni, Caroline Lemieux, Koushik Sen
Learning Highly Recursive Input Grammars. ASE (2021)
Caroline Lemieux, Koushik Sen
FairFuzz-TC: a fuzzer targeting rare branches. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen
Selecting fault revealing mutants. Empir. Softw. Eng. 25 (1) (2020)
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)
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)
Rezwana Karim, Frank Tip, Alena Sochurková, Koushik Sen
Platform-Independent Dynamic Taint Analysis for JavaScript. IEEE Trans. Software Eng. 46 (12) (2020)
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) (2020)
Shadaj Laddad, Koushik Sen
ScalaPy: seamless Python interoperability for cross-platform Scala programs. SCALA@SPLASH (2020)
Rolando Garcia, Eric Liu, Vikram Sreekanti, Bobby Yan, Anusha Dandamudi, Joseph E. Gonzalez, Joseph M. Hellerstein, Koushik Sen
Hindsight Logging for Model Training. CoRR (2020)
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
Exempla gratis (E.G.): code examples for free. ESEC/SIGSOFT FSE (2020)
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 (2020)
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)
Shadaj Laddad, Koushik Sen
Fluid quotes: metaprogramming across abstraction boundaries with dependent types. GPCE (2020)
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen
Quickly generating diverse valid test inputs with reinforcement learning. ICSE (2020)
Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu
Towards Optimal Topology Aware Quantum Circuit Synthesis. QCE (2020)
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) (2020)
Celeste Barnaby, Koushik Sen, Tianyi Zhang, Elena L. Glassman, Satish Chandra
Exempla Gratis (E.G.): Code Examples for Free. CoRR (2020)
Rohan Padhye, Koushik Sen
Efficient fail-fast dynamic subtype checking. VMIL@SPLASH (2019)
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
When deep learning met code search. ESEC/SIGSOFT FSE (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Semantic fuzzing with zest. ISSTA (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Validity fuzzing and parametric generators for effective random testing. ICSE (Companion Volume) (2019)
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica
AutoPandas: neural-backed generators for program synthesis. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
José Cambronero, Hongyu Li, Seohyun Kim, Koushik Sen, Satish Chandra
When Deep Learning Met Code Search. CoRR (2019)
Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, Satish Chandra
Aroma: code recommendation via structural code search. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
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) (2019)
Marc Grau Davis, Ethan Smith, Ana Tudor, Koushik Sen, Irfan Siddiqi, Costin Iancu
Heuristics for Quantum Compiling with a Continuous Gate Set. CoRR (2019)
Rohan Padhye, Koushik Sen, Paul N. Hilfinger
ChocoPy: a programming language for compilers courses. SPLASH-E (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen
JQF: coverage-guided property-based testing in Java. ISSTA (2019)
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)
Rafael Dutra, Jonathan Bachrach, Koushik Sen
GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions. FMCAD (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. CoRR (2018)
Rafael Dutra, Kevin Laeufer, Jonathan Bachrach, Koushik Sen
Efficient sampling of SAT solutions for testing. ICSE (2018)
Rohan Bavishi, Michael Pradel, Koushik Sen
Context2Name: A Deep Learning-Based Approach to Infer Natural Variable Names from Usage Contexts. CoRR (2018)
Michael Pradel, Koushik Sen
DeepBugs: A Learning Approach to Name-based Bug Detection. CoRR (2018)
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
PerfFuzz: automatically generating pathological inputs. ISSTA (2018)
Saksham Sachdev, Hongyu Li, Sifei Luan, Seohyun Kim, Koushik Sen, Satish Chandra
Retrieval on source code: a neural code search. MAPL@PLDI (2018)
Kevin Laeufer, Jack Koenig, Donggyu Kim, Jonathan Bachrach, Koushik Sen
RFUZZ: coverage-directed fuzz testing of RTL on FPGAs. ICCAD (2018)
Michael Pradel, Koushik Sen
DeepBugs: a learning approach to name-based bug detection. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Rafael Dutra, Jonathan Bachrach, Koushik Sen
SMTSampler: efficient stimulus generation from complex SMT constraints. ICCAD (2018)
Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
Accelerating Search-Based Program Repair. ICST (2018)
Thierry Titcheu Chekam, Mike Papadakis, Tegawendé F. Bissyandé, Yves Le Traon, Koushik Sen
Selecting Fault Revealing Mutants. CoRR (2018)
Caroline Lemieux, Koushik Sen
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. ASE (2018)
Sifei Luan, Di Yang, Koushik Sen, Satish Chandra
Aroma: Code Recommendation via Structural Code Search. CoRR (2018)
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang
DetReduce: minimizing Android GUI test suites for regression testing. ICSE (2018)
Emmanuelle Saillard, Koushik Sen, Wim Lavrijsen, Costin Iancu
Maximizing Communication Overlap with Dynamic Program Analysis. HPC Asia (2018)
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen
Repairing event race errors by controlling nondeterminism. ICSE (2017)
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) (2017)
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 (2017)
Rohan Padhye, Koushik Sen
Travioli: a dynamic analysis for detecting data-structure traversals. ICSE (2017)
Caroline Lemieux, Koushik Sen
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. CoRR (2017)
Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu
SReplay: Deterministic Sub-Group Replay for One-Sided Communication. ICS (2016)
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)
Koushik Sen
Technical Perspective: Veritesting tackles path-explosion problem. Commun. ACM 59 (6) (2016)
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 (2016)
Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Møller
Feedback-directed instrumentation for deployed JavaScript applications. ICSE (2016)
Xuehai Qian, Koushik Sen, Paul Hargrove, Costin Iancu
OPR: deterministic group replay for one-sided communication. PPOPP (2016)
Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen
Trace Typing: An Approach for Evaluating Retrofitted Type Systems. ECOOP (2016)
Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen
DLint: dynamically checking bad coding practices in JavaScript. ISSTA (2015)
Michael Pradel, Parker Schuh, Koushik Sen
TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript. ICSE (1) (2015)
Liang Gong, Michael Pradel, Koushik Sen
JITProf: pinpointing JIT-unfriendly JavaScript code. ESEC/SIGSOFT FSE (2015)
Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen
Generating Succinct Test Cases Using Don't Care Analysis. ICST (2015)
Simon Holm Jensen, Manu Sridharan, Koushik Sen, Satish Chandra
MemInsight: platform-independent memory debugging for JavaScript. ESEC/SIGSOFT FSE (2015)
Milind Chabbi, Wim Lavrijsen, Wibe de Jong, Koushik Sen, John M. Mellor-Crummey, Costin Iancu
Barrier elision for production parallel programs. PPOPP (2015)
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen
SJS: A Type System for JavaScript with Fixed Object Layout. SAS (2015)

Koushik Sen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Koushik Sen