Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKoushik Sen
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
- 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)- [c142]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]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]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]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]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]Dan Zheng, Koushik Sen:
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs. ICSE-SEIP 2024: 147-156 - [c136]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]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 - [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]