자료유형  

 학위논문

Control Number  

0017163441

International Standard Book Number  

9798384052883

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Geisler, Dietrich.

Publication, Distribution, etc. (Imprint  

[S.l.] : Cornell University., 2024

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2024

Physical Description  

170 p.

General Note  

Source: Dissertations Abstracts International, Volume: 86-03, Section: B.

General Note  

Advisor: Sampson, Adrian.

Dissertation Note  

Thesis (Ph.D.)--Cornell University, 2024.

Summary, 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