Concepedia

Charles Jacobsen

CJ

Statistics

Publications

3

Citations

121

H-Index

3

Active since

2015

Affiliations

University of Utah(Current)

Charles Jacobsen is an author at University of Utah specializing in computing, computer science, and hol light.

Publications per year

2015–2018

3

Publications

3

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

Alexey Solovyev, Marek Baranowski, Ian Briggs et al. · ACM Transactions on Programming Languages and Systems · 2018 · 93 citations · Full text

, , +13

A Parameterized Floating-Point Formalizaton in HOL Light

Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan · Electronic Notes in Theoretical Computer Science · 2015 · 16 citations · Full text

, , +16

Lightweight Capability Domains

Charles Jacobsen, Muktesh Khole, Sarah Spall et al. · ACM SIGOPS Operating Systems Review · 2016 · 12 citations

, , +17

1–3 of 3