logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
K

Koushik Sen

university of california

65H-index
253Paper Count
1.9WCitation Count
Published Papers 9
Publication Date
logo
IDEAS: C-to-Rust Translation Using Improved Large Language Model Decoding and Automated Equivalence Testing
errIEEE SECURITY & PRIVACY
IF3
err2026-07-31
err0
PREAI
errCory Cornelius; Marcela S. Melara; Weilin Xu; Marius Arvinte; Marius Momeu; Jingxuan He; Koushik Sen; Dawn Song
errShare
errSave
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing
errIEEE SOFTWARE
IF3
err2024-01-01
err0
PREAI
errKadron, Ismet Burak; Noller, Yannic; Padhye, Rohan; Bultan, Tevfik; Pasareanu, Corina S.; Sen, Koushik
errShare
errSave
Platform-Independent Dynamic Taint Analysis for JavaScript
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2020-12-01
err41
errOAAI
errKarim, Rezwana; Tip, Frank; Sochurkova, Alena; Sen, Koushik
errShare
errSave
Selecting fault revealing mutants
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2019-12-18
err50
errOAAI
errTitcheu Chekam, Thierry; Papadakis, Mike; Bissyande, Tegawende F.; Le Traon, Yves; Sen, Koushik
errShare
errSave
A Survey of Dynamic Analysis and Test Generation for JavaScript
errACM COMPUTING SURVEYS
IF28
err2017-09-26
err45
errOAAI
errAndreasen, Esben; Gong, Liang; Moller, Anders; Pradel, Michael; Selakovic, Marija; Sen, Koushik; Staicu, Cristian-Alexandru
errShare
errSave
Veritesting Tackles Path-Explosion Problem
errCOMMUNICATIONS OF THE ACM
IF12.2
err2016-05-23
err0
PREAI
errSen, Koushik
errShare
errSave
Symbolic Execution for Software Testing: Three Decades Later
errCOMMUNICATIONS OF THE ACM
IF12.2
err2013-02-01
err584
PREAI
errCadar, Cristian; Sen, Koushik
errShare
errSave
Asserting and Checking Determinism for Multithreaded Programs (Reprinted)
errCOMMUNICATIONS OF THE ACM
IF12.2
err2010-06-01
err9
PREAI
errBurnim, Jacob; Sen, Koushik
errShare
errSave
A View of the Parallel Computing Landscape
errCOMMUNICATIONS OF THE ACM
IF12.2
err2009-10-01
err351
errOAAI
errAsanovic, Krste; Bodik, Rastislav; Demmel, James; Keaveny, Tony; Keutzer, Kurt; Kubiatowicz, John; Morgan, Nelson; Patterson, David; Sen, Koushik; Wawrzynek, John; Wessel, David; Yelick, Katherine
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
D
Dawn Song
H-index: 118 · Papers: 561
D
David A. Patterson
H-index: 93 · Papers: 569
T
Tony M. Keaveny
H-index: 86 · Papers: 284
K
Kurt Keutzer
H-index: 84 · Papers: 626
D
David Wessel
H-index: 82 · Papers: 498
View more