Concepedia

Benjamin Cosman

BC

7

Publications

130

Citations

7

H-Index

2016

Active since

Affiliations

University of California San Diego(Current)

University of Michigan

Benjamin Cosman is an author at University of California San Diego specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningVerificationFormal MethodsSoftware TestingFormal VerificationSoftware Engineering

Publications per year

2016–2023

7

Publications

7

Refinement types for TypeScript

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala · 2016 · 39 citations

Engineering, Type Theory, Verification +19

Type error feedback via analytic program repair

Georgios K. Sakkas, Madeline Endres, Benjamin Cosman et al. · 2020 · 24 citations · Full text

Software Maintenance, Engineering, Verification +22

How Americans View the Opt Out Movement

Oren Pizmony-Levy, Benjamin Cosman · Columbia Academic Commons (Columbia University) · 2017 · 17 citations · Full text

Local refinement typing

Benjamin Cosman, Ranjit Jhala · Proceedings of the ACM on Programming Languages · 2017 · 16 citations · Full text

Program Checking, Engineering, Type Theory +27

InFix: Automatically Repairing Novice Program Inputs

Madeline Endres, Georgios K. Sakkas, Benjamin Cosman et al. · 2019 · 12 citations

Software Maintenance, Artificial Intelligence, Engineering +19

Rows per page

1–5 of 7