國立虎尾科技大學 |

Type Stability in Julia A Simple and Efficient Optimization Technique.

紀錄類型:	書目-語言資料,手稿 : Monograph/item
正題名/作者:	Type Stability in Julia A Simple and Efficient Optimization Technique./
作者:	Pelenitsyn, Artem.
面頁冊數:	1 online resource (101 pages)
附註:	Source: Dissertations Abstracts International, Volume: 85-04, Section: B.
Contained By:	Dissertations Abstracts International85-04B.
標題:	Computer science. -
電子資源:	click for full text (PQDT)
ISBN:	9798380535403

Type Stability in Julia A Simple and Efficient Optimization Technique.
Pelenitsyn, Artem.

Type Stability in Julia A Simple and Efficient Optimization Technique. - 1 online resource (101 pages)

Source: Dissertations Abstracts International, Volume: 85-04, Section: B.

Thesis (Ph.D.)--Northeastern University, 2023.

Includes bibliographical references

The design space for just-in-time (JIT) compilers is big, and Julia represents one viewpoint. The outstanding features of this viewpoint is simplicity and efficiency, which are enabled by a clever co-design of the language and its implementation. The combination of simplicity and efficiency also allows users to employ language strengths and avoid common pitfalls that threaten the wide family of JIT compilers. My work has been focused on type stability in Julia-a program property enabling key optimizations in the compiler. Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. In this dissertation, I make the following contributions related to type stability. First, an analysis of how widespread the property is in publicly available Julia code, and what features may be related to the property. Second, a formal model of a JIT compiler recognizing the property at run time and performing optimizations accordingly. Third, an automated approach to approximate type stability without running the program.

Electronic reproduction.
Ann Arbor, Mich. :
ProQuest,
2024

Mode of access: World Wide Web

ISBN: 9798380535403Subjects--Topical Terms:

573171
Computer science.
Subjects--Index Terms:

Compiler optimizationsIndex Terms--Genre/Form:

554714
Electronic books.

Type Stability in Julia A Simple and Efficient Optimization Technique.
LDR:02447ntm a22003977 4500 001 1143874
005 20240517105015.5
006 m o d
007 cr mn ---uuuuu
008 250605s2023 xx obm 000 0 eng d
020 $a 9798380535403
035 $a (MiAaPQ)AAI30689231
035 $a AAI30689231
040 $a MiAaPQ $b eng $c MiAaPQ $d NTU
100 1 $a Pelenitsyn, Artem. $3 1468683
245 1 0 $a Type Stability in Julia A Simple and Efficient Optimization Technique.
264 0 $c 2023
300 $a 1 online resource (101 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 85-04, Section: B.
500 $a Advisor: Vitek, Jan.
502 $a Thesis (Ph.D.)--Northeastern University, 2023.
504 $a Includes bibliographical references
520 $a The design space for just-in-time (JIT) compilers is big, and Julia represents one viewpoint. The outstanding features of this viewpoint is simplicity and efficiency, which are enabled by a clever co-design of the language and its implementation. The combination of simplicity and efficiency also allows users to employ language strengths and avoid common pitfalls that threaten the wide family of JIT compilers. My work has been focused on type stability in Julia-a program property enabling key optimizations in the compiler. Informally, a function is type stable if the type of the output depends only on the types of the inputs, not their values. In this dissertation, I make the following contributions related to type stability. First, an analysis of how widespread the property is in publicly available Julia code, and what features may be related to the property. Second, a formal model of a JIT compiler recognizing the property at run time and performing optimizations accordingly. Third, an automated approach to approximate type stability without running the program.
533 $a Electronic reproduction. $b Ann Arbor, Mich. : $c ProQuest, $d 2024
538 $a Mode of access: World Wide Web
650 4 $a Computer science. $3 573171
650 4 $a Computer engineering. $3 569006
650 4 $a Information technology. $3 559429
653 $a Compiler optimizations
653 $a Dynamic languages
653 $a JIT compiler
653 $a Julia language
653 $a Multiple dispatch
655 7 $a Electronic books. $2 local $3 554714
690 $a 0984
690 $a 0489
690 $a 0464
710 2 $a ProQuest Information and Learning Co. $3 1178819
710 2 $a Northeastern University. $b Computer Science. $3 1464678
773 0 $t Dissertations Abstracts International $g 85-04B.
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=30689231 $z click for full text (PQDT)