This artifact is based on LC, a research oriented JIT compiler for Scheme. The compiler is extended to allow interprocedural, type based, code specialization using the technique and its implementation presented in the paper. Because the technique is directly implemented in LC, the package contains the build of the compiler used for our experiments. To support repeatability, the artifact allows the user to easily extract the data presented in the paper such as the number of executed type checks or the generated code size. The user can repeat the experiments using a set of standard benchmarks as well as its own programs. Instructions for building the compiler from scratch are also provided.
@Article{saleil_et_al:DARTS.3.2.14, author = {Saleil, Baptiste and Feeley, Marc}, title = {{Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact)}}, pages = {14:1--14:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2017}, volume = {3}, number = {2}, editor = {Saleil, Baptiste and Feeley, Marc}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.3.2.14}, URN = {urn:nbn:de:0030-drops-72952}, doi = {10.4230/DARTS.3.2.14}, annote = {Keywords: just-in-time compilation, interprocedural optimization, dynamic language, higher-order function, scheme} }
7a431b74c95241dc09445eeed4790ca0
(Get MD5 Sum)