Charles Jacobsen

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 1

Top Topics

Interval Arithmetic

Sparse Matrices

Top Venues

Electron. Notes Theor. Comput. Sci.

ACM SIGOPS Oper. Syst. Rev.

ACM Trans. Program. Lang. Syst.

Publications

Alexey Solovyev, Marek S. Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Alexey Solovyev, Charles Jacobsen, Zvonimir Rakamaric, Ganesh Gopalakrishnan
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions. FM (2015)
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
Lightweight Capability Domains: Towards Decomposing the Linux Kernel. ACM SIGOPS Oper. Syst. Rev. 49 (2) (2015)
Charles Jacobsen, Alexey Solovyev, Ganesh Gopalakrishnan
A Parameterized Floating-Point Formalizaton in HOL Light. Electron. Notes Theor. Comput. Sci. 317 (2015)
Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
Lightweight capability domains: towards decomposing the Linux kernel. PLOS@SOSP (2015)