Back to results

University of Illinois at Urbana-Champaign

Static analysis of differentiable programs

Abstract

dc:description

Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-03-28 without embargo terms

Degree

thesis:*
Name thesis:degree_name
Ph.D.
Level thesis:degree_level
Dissertation
Discipline thesis:degree_discipline
Computer Science
Grantor
University of Illinois at Urbana-Champaign
Year dc:date
2024

Author and committee

dc:creator, dc:contributor.*
Author dc:creator
  • Laurel, Jacob Scott
Contributors dc:contributor
  • Misailovic, Sasa
  • Singh, Gagandeep
  • Marinov, Darko
  • Hückelheim, Jan

Subjects

dc:subject × 5

Rights

dc:rights
Statement dc:rights
  • Copyright 2024 Jacob Scott Laurel
Language dc:language
en, eng

Identifiers

dc:identifier.*
Handle dc:identifier
https://hdl.handle.net/2142/127261
OAI identifier oai:identifier
oai:www.ideals.illinois.edu:2142/127261

Chain of custody

source
Harvested from
University of Illinois - Urbana-Champaign
Base URL
www.ideals.illinois.edu/oai-pmh
Last updated
2026-07-22
Source record
OAI-PMH GetRecord
citation

Laurel, Jacob Scott. Static analysis of differentiable programs. Dissertation thesis, University of Illinois at Urbana-Champaign, 2024. https://hdl.handle.net/2142/127261