41 citations · 58 across the 4 of their papers we have counts for
4 papers
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version)
Artem Pelenitsyn, Julia Belyakova, Benjamin Chung +2
As a scientific programming language, Julia strives for performance but also provides high-level productivity features. To avoid performance pathologies, Julia users are expected t…
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval (Extended Version)
Julia Belyakova, Benjamin Chung, Jack Gelinas +3
Dynamic programming languages face semantic and performance challenges in the presence of features, such as eval, that can inject new code into a running program. The Julia program…
First-Order Logic for Flow-Limited Authorization
Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti +2
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies. We formalize…
Equality Saturation: A New Approach to Optimization
Ross Tate, Michael Stepp, Zachary Tatlock +1
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed to…