서브메뉴
검색
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
상세정보
- Material Type
- 학위논문
- 0017163441
- Date and Time of Latest Transaction
- 20250211152708
- ISBN
- 9798384052883
- DDC
- 004
- Author
- Geisler, Dietrich.
- Title/Author
- Language Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
- Publish Info
- [S.l.] : Cornell University., 2024
- Publish Info
- Ann Arbor : ProQuest Dissertations & Theses, 2024
- Material Info
- 170 p.
- General Note
- Source: Dissertations Abstracts International, Volume: 86-03, Section: B.
- General Note
- Advisor: Sampson, Adrian.
- 학위논문주기
- Thesis (Ph.D.)--Cornell University, 2024.
- Abstracts/Etc
- 요약There has been growing demand for graphical image rendering in the past several decades. This demand has arisen primarily in video games, but also from fields as broad as film, art, architecture, and scientific simulation. A major challenge with expanding use of rendering, however, is that graphics programming is difficult, requiring significant field expertise when abstractions break down.In this dissertation, we will examine how we may be able to design programming languages to ameliorate some of these challenges. Our goal will be to examine two specific difficulties in graphics programming reasoning: geometric correctness and performance in heterogeneous device communication. In the first chunk of this dissertation, we will examine Gator, a language which provides type-level reasoning for a class of bugs we describe as ``geometry bugs'', as well as a lightweight mechanism to reason about operations on geometry. In the second chunk of this dissertation, we will discuss Caiman, a language which typechecks heterogeneous implementations against a fixed specification. We will also examine how Caiman's type-level restrictions allow for separating performance and correctness, as well as providing a mechanism for restricted synthesis of heterogeneous programs.
- Subject Added Entry-Topical Term
- Computer science.
- Subject Added Entry-Topical Term
- Engineering.
- Index Term-Uncontrolled
- Compilers
- Index Term-Uncontrolled
- Graphics
- Index Term-Uncontrolled
- Programming languages
- Added Entry-Corporate Name
- Cornell University Computer Science
- Host Item Entry
- Dissertations Abstracts International. 86-03B.
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- Control Number
- joongbu:653930
MARC
008250224s2024 us ||||||||||||||c||eng d■001000017163441
■00520250211152708
■006m o d
■007cr#unu||||||||
■020 ▼a9798384052883
■035 ▼a(MiAaPQ)AAI31488511
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aGeisler, Dietrich.▼0(orcid)0009-0004-5246-4883
■24510▼aLanguage Designs for Geometry and Heterogeneous Reasoning in Graphics Programming.
■260 ▼a[S.l.]▼bCornell University. ▼c2024
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2024
■300 ▼a170 p.
■500 ▼aSource: Dissertations Abstracts International, Volume: 86-03, Section: B.
■500 ▼aAdvisor: Sampson, Adrian.
■5021 ▼aThesis (Ph.D.)--Cornell University, 2024.
■520 ▼aThere has been growing demand for graphical image rendering in the past several decades. This demand has arisen primarily in video games, but also from fields as broad as film, art, architecture, and scientific simulation. A major challenge with expanding use of rendering, however, is that graphics programming is difficult, requiring significant field expertise when abstractions break down.In this dissertation, we will examine how we may be able to design programming languages to ameliorate some of these challenges. Our goal will be to examine two specific difficulties in graphics programming reasoning: geometric correctness and performance in heterogeneous device communication. In the first chunk of this dissertation, we will examine Gator, a language which provides type-level reasoning for a class of bugs we describe as ``geometry bugs'', as well as a lightweight mechanism to reason about operations on geometry. In the second chunk of this dissertation, we will discuss Caiman, a language which typechecks heterogeneous implementations against a fixed specification. We will also examine how Caiman's type-level restrictions allow for separating performance and correctness, as well as providing a mechanism for restricted synthesis of heterogeneous programs.
■590 ▼aSchool code: 0058.
■650 4▼aComputer science.
■650 4▼aEngineering.
■653 ▼aCompilers
■653 ▼aGraphics
■653 ▼aProgramming languages
■690 ▼a0984
■690 ▼a0537
■71020▼aCornell University▼bComputer Science.
■7730 ▼tDissertations Abstracts International▼g86-03B.
■790 ▼a0058
■791 ▼aPh.D.
■792 ▼a2024
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17163441▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
미리보기
내보내기
chatGPT토론
Ai 추천 관련 도서
Detail Info.
- Reservation
- 캠퍼스간 도서대출
- 서가에 없는 책 신고
- My Folder
