Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Koushik Sen
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ICSE 2025 profile
PLDI 2023 profile
PLDI 2025 profile
Not registered as user
Name:
Koushik Sen
Country:
United States
Affiliation:
University of California at Berkeley
Contributions
2025
PLDI
Author of Type-Constrained Code Generation with Language Models within the PLDI Research Papers-track
LLM4Code
Author of Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis within the Large Language Models for Code-track
2023
ISSTA
Author of ItyFuzz: Snapshot-Based Fuzzer for Smart Contract within the Technical Papers-track
PLARCH
Author of Nerv: Probabilistic Dynamic Partial Order Reduction for Hardware within the PLARCH 2023-track
Author of New Embedded DSLs for Hardware Design and Verification within the PLARCH 2023-track
Share
x
Sun 2 Nov 22:32