Faculty

Institution

Unit

Venue

Koushik Sen

Professor

University of California, Berkeley

Affiliations

College of Engineering

Electrical Engineering & Computer Sciences

Koushik Sen is currently serving as a College Of Engineering Professor at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Koushik Sen

University of California, Berkeley

Professor

You can click a keyword to filter the displayed items

computer science software testing systems engineering software engineering machine learning formal methods verification program analysis software analysis formal verification computer engineering parallel computing automated reasoning data science programming languages concurrent programming symbolic execution logic in computer science model checking runtime verification parallel programming program checking static program analysis system safety distributed systems fuzzing testing technique probabilistic verification automated software engineering concolic testing reliability engineering automated deduction dynamic analysis probabilistic system communication security static checking test development multithreaded programs computational testing fault analysis failure prediction source code analysis runtime systems formal specification debugger model verification test automation concurrency theory formal modeling concurrent systems software system safety program synthesis multithreading (computer architecture) object-oriented programming test management conformance checking statistical model checking selective record-replay relaxed memory models test generation retrofitted type systems trace typing bayesian analysis control system technology statistical software fuzzy systems fuzzy logic networked system design parallel computing landscape hybrid concolic testing random testing concolic unit testing rule-based runtime verification targeted mutation strategy name-based bug detection c code

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

ADAEVOLVE: Adaptive Llm Driven Zeroth-Order Optimization. arXiv (Cornell University) (2026)

mathematical optimizationnumerical analysisapplied mathematicscomputer sciencecomputational engineeringglobal optimizationdesign optimization

Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks With Benchjack. arXiv (Cornell University) (2026)

game theorycomputational intelligenceevolutionary intelligencesoftware testingverificationintelligent computingintelligent user interfacescomputer sciencetechnologymachine intelligenceintelligent systemsdata scienceartificial intelligenceartificial societysoftware engineeringsoftware maintenancesoftware analysis

EVOX: Meta-Evolution for Automated Discovery. arXiv (Cornell University) (2026)

bioinformaticsdata miningdata sciencesystems biologycomputational biologymolecular informaticsknowledge discovery

IDEAS: C-To-Rust Translation Using Improved Large Language Model Decoding and Automated Equivalence Testing. IEEE Security & Privacy (2026)

computational linguisticsnatural language generationprogramming languageslinguisticssemantic evaluationverificationnatural language processingformal methodsmachine translationcomputer sciencespecialized translationlanguage resourcesprogram analysislanguageformal verificationlanguage modelssoftware analysis

OPTIMIZE_ANYTHING: A Universal Api for Optimizing Any Text Parameter. (2026)

text miningsemantic evaluationnatural language processingcomputer scienceapproximate query answeringdata sciencedatabase tuninguniversal apilanguage resourcesquery optimization

RECEIPT: Deterministic, Reward-Hacking-Resistant Verification for White-Box Agentic Xss Discovery. arXiv (Cornell University) (2026)

computer securitycommunication securitydata securityverificationcomputer sciencedata scienceinformation security

REVELIO: Cost-Efficient Agentic Memory Safety Vulnerability Detection for Repository-Scale Codebases. arXiv (Cornell University) (2026)

computer securitycommunication securitysystem softwaresoftware testingdata securityverificationprogramming languageshardware securitycomputer sciencecomputer engineeringsoftware engineeringinformation securityprogram analysissystem safetysoftware maintenancesoftware analysis

SKYDISCOVER: A Flexible, Adaptive Framework for AI-Driven Scientific and Algorithmic Discovery. (2026)

scientific dataknowledge discovery processmultidisciplinary aicomputational intelligencediscovery techniqueadaptive frameworkdata miningintelligent computingai architecturecomputer scienceai-driven scientificalgorithmic discoveryintelligent systemsdata scienceartificial intelligenceknowledge discoverydistributed artificial intelligence

Barbarians at the Gate: How AI is Upending Systems Research. arXiv (Cornell University) (2025)

ai integrationcomputational intelligenceintelligent computingai architecturecomputer sciencetechnologymachine intelligenceintelligent systemsartificial intelligenceinformation technology

Challenges and Paths Towards AI for Software Engineering. Qeios (2025)

Alex GuNaman JainWen-Ding LiManish ShettyYijia ShaoZiyang LiDiyi YangKevin EllisKoushik SenArmando Solar-Lezama

computational intelligenceautomationcomputer sciencecode generationpaths towards aidata sciencesoftware engineeringartificial intelligenceprogram analysisautomated software engineeringsoftware analysis

1
2
3
4
5
22
10 / page

Koushik Sen

Professor

University of California, Berkeley

Affiliations

College of Engineering

Electrical Engineering & Computer Sciences

Koushik Sen is currently serving as a College Of Engineering Professor at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Koushik Sen

University of California, Berkeley

Professor

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

ADAEVOLVE: Adaptive Llm Driven Zeroth-Order Optimization. arXiv (Cornell University) (2026)

mathematical optimizationnumerical analysisapplied mathematicscomputer sciencecomputational engineeringglobal optimizationdesign optimization

Do Androids Dream of Breaking the Game? Systematically Auditing AI Agent Benchmarks With Benchjack. arXiv (Cornell University) (2026)

EVOX: Meta-Evolution for Automated Discovery. arXiv (Cornell University) (2026)

bioinformaticsdata miningdata sciencesystems biologycomputational biologymolecular informaticsknowledge discovery

IDEAS: C-To-Rust Translation Using Improved Large Language Model Decoding and Automated Equivalence Testing. IEEE Security & Privacy (2026)

OPTIMIZE_ANYTHING: A Universal Api for Optimizing Any Text Parameter. (2026)

text miningsemantic evaluationnatural language processingcomputer scienceapproximate query answeringdata sciencedatabase tuninguniversal apilanguage resourcesquery optimization

RECEIPT: Deterministic, Reward-Hacking-Resistant Verification for White-Box Agentic Xss Discovery. arXiv (Cornell University) (2026)

computer securitycommunication securitydata securityverificationcomputer sciencedata scienceinformation security

REVELIO: Cost-Efficient Agentic Memory Safety Vulnerability Detection for Repository-Scale Codebases. arXiv (Cornell University) (2026)

SKYDISCOVER: A Flexible, Adaptive Framework for AI-Driven Scientific and Algorithmic Discovery. (2026)

Barbarians at the Gate: How AI is Upending Systems Research. arXiv (Cornell University) (2025)

ai integrationcomputational intelligenceintelligent computingai architecturecomputer sciencetechnologymachine intelligenceintelligent systemsartificial intelligenceinformation technology

Challenges and Paths Towards AI for Software Engineering. Qeios (2025)

Alex GuNaman JainWen-Ding LiManish ShettyYijia ShaoZiyang LiDiyi YangKevin EllisKoushik SenArmando Solar-Lezama

1
2
3
4
5
22
10 / page

Similar Faculty Members

Sanjit A Seshia

Institution

University of California, Berkeley

computer science

systems engineering

Sarfraz Khurshid

Institution

University of Texas at Austin

code conformance

model-based testing

Ravishankar K Iyer

Institution

University of Illinois Urbana-Champaign

data science

trustworthy ai

Ramesh Karri

Institution

New York University

cryptographic hardware

design automation

Cormac A Flanagan

Institution

University of California, Santa Cruz

formal methods

language-based security

Milos Gligoric

Institution

University of Texas at Austin

quality technology

software engineering

Vikram Sadanand Adve

Institution

University of Illinois Urbana-Champaign

high-level programming language

software engineering

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Scott Stoller

Institution

Stony Brook University

data security

information security

Alex Aiken

Institution

Stanford University

computer science

machine learning

Similar Faculty Members

Sanjit A Seshia

Institution

University of California, Berkeley

computer science

systems engineering

Sarfraz Khurshid

Institution

University of Texas at Austin

code conformance

model-based testing

Ravishankar K Iyer

Institution

University of Illinois Urbana-Champaign

data science

trustworthy ai

Ramesh Karri

Institution

New York University

cryptographic hardware

design automation

Cormac A Flanagan

Institution

University of California, Santa Cruz

formal methods

language-based security

Milos Gligoric

Institution

University of Texas at Austin

quality technology

software engineering

Vikram Sadanand Adve

Institution

University of Illinois Urbana-Champaign

high-level programming language

software engineering

Darko Marinov

Institution

University of Illinois Urbana-Champaign

system specification

software engineering

Scott Stoller

Institution

Stony Brook University

data security

information security

Alex Aiken

Institution

Stanford University

computer science

machine learning