The CakeML Compiler Explorer Visualizing how a verified compiler transforms expressions

Visa enkel post
dc.contributor.authorHjort, Rikard
dc.contributor.authorHolmgren, Jakob
dc.contributor.authorPersson, Christian
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T14:35:12Z
dc.date.available2019-07-03T14:35:12Z
dc.date.issued2017
dc.description.abstractThis report documents the development of a compiler explorer that provides insight to the inner workings of the CakeML compiler. The compiler explorer can interactively present information about an expression’s origin and descent at different stages of compilation. The compiler explorer consists of a web application presenting the expression information and the CakeML compiler with our additions that enable the tracking of expressions. The CakeML compiler is developed in the HOL4 system; the web application user interface in React and the web server in PHP. Getting insight into the inner workings of a compiler is difficult. Several tools exist for other compilers that either explain how a section of the source code relates to the compiled machine code or provide snapshots of different compiler phases. While these features are useful by themselves, combining them would give better insight into the compiler’s transformations. The compiler explorer provides such a combination. The gained insight provided by the compiler explorer can both help developers of the CakeML compiler find new optimizations and improve education about the compiler.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/251308
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectComputer and Information Science
dc.titleThe CakeML Compiler Explorer Visualizing how a verified compiler transforms expressions
dc.type.degreeExamensarbete för kandidatexamensv
dc.type.degreeBachelor Thesisen
dc.type.uppsokM2
local.programmeSoftware Engineering (300 hp)
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
251308.pdf
Storlek:
941.69 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för kandidatexamen