TY  - JOUR
A1  - Bauman, Spenser
A1  - Bolz, Carl Friedrich
A1  - Hirschfeld, Robert
A1  - Kirilichev, Vasily
A1  - Pape, Tobias
A1  - Siek, Jeremy G.
A1  - Tobin-Hochstadt, Sam
T1  - Pycket: A Tracing JIT for a Functional Language
JF  - ACM SIGPLAN notices
N2  - We present Pycket, a high-performance tracing JIT compiler for Racket. Pycket supports a wide variety of the sophisticated features in Racket such as contracts, continuations, classes, structures, dynamic binding, and more. On average, over a standard suite of benchmarks, Pycket outperforms existing compilers, both Racket's JIT and other highly-optimizing Scheme compilers. Further, Pycket provides much better performance for Racket proxies than existing systems, dramatically reducing the overhead of contracts and gradual typing. We validate this claim with performance evaluation on multiple existing benchmark suites.
 The Pycket implementation is of independent interest as an application of the RPython meta-tracing framework (originally created for PyPy), which automatically generates tracing JIT compilers from interpreters. Prior work on meta-tracing focuses on bytecode interpreters, whereas Pycket is a high-level interpreter based on the CEK abstract machine and operates directly on abstract syntax trees. Pycket supports proper tail calls and first-class continuations. In the setting of a functional language, where recursion and higher-order functions are more prevalent than explicit loops, the most significant performance challenge for a tracing JIT is identifying which control flows constitute a loop-we discuss two strategies for identifying loops and measure their impact.
KW  - Experimentation
KW  - Languages
KW  - Measurement
KW  - Performance
KW  - JIT compilers
KW  - contracts
KW  - tracing
KW  - functional languages
KW  - Racket
Y1  - 2015
U6  - https://doi.org/10.1145/2784731.2784740
SN  - 0362-1340
SN  - 1558-1160
VL  - 50
IS  - 9
SP  - 22
EP  - 34
PB  - Association for Computing Machinery
CY  - New York
ER  - 
TY  - JOUR
A1  - Steinert, Bastian
A1  - Cassou, Damien
A1  - Hirschfeld, Robert
T1  - CoExist overcoming aversion to change preserving immediate access to source code and run-time information of previous development states
JF  - ACM SIGPLAN notices
N2  - Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas suddenly turn out inappropriate or the interplay of objects turns out more complex than initially expected before making changes. Programmers would benefit from tool support that provides immediate access to source code and run-time of previous development states of interest. We present IDE extensions, implemented for Squeak/Smalltalk, to preserve, retrieve, and work with this information. With such tool support, programmers can work without worries because they can rely on tools that help them with whatever their explorations will reveal. They no longer have to follow certain best practices only to avoid undesired consequences of changing code.
KW  - Design
KW  - Experimentation
KW  - Human Factors
KW  - Continuous Testing
KW  - Continuous Versioning
KW  - Debugging
KW  - Evolution
KW  - Explore-first Programming
KW  - Fault Localization
KW  - Prototyping
Y1  - 2013
U6  - https://doi.org/10.1145/2480360.2384591
SN  - 0362-1340
VL  - 48
IS  - 2
SP  - 107
EP  - 117
PB  - Association for Computing Machinery
CY  - New York
ER  -