Keyword:compilation

Publications
Building a Satellite Image Classification Model with Residual Neural Network Kayode Sheriffdeen and Samon Daniel EasyChair Preprint 13930
An Information Entropy Calculus for Stochastically Compiled Programs Peter T. Breuer and Simon J. Pickin EasyChair Preprint 2049
Compiling Hilbert's epsilon operator Rustan Leino In:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations