Strictness Analysis in the Imperative Lambda Calculus. - Jonathan Springer; Samuel N. Kamin (LISP Symb. Comput., 1996)

Chimera: A Declarative Language for Streaming Network Traffic Analysis. - Kevin Borders; Jonathan Springer; Matthew Burnside (USENIX Security Symposium, 2012)

Forest hashing: Expediting large scale image retrieval. - Jonathan Springer; Xin Xin 009; Zhu Li 001; Jeremy Watt; Aggelos K. Katsaggelos (ICASSP, 2013)

Analyzing Network Traffic with Chimera. - Jonathan Springer; Kevin Borders; Matthew Burnside (login Usenix Mag., 2013)

Extreme SAT-based Constraint solving with R-Solve. - James R. Ezick; Jonathan Springer; Tom Henretty; Chanseok Oh (HPEC, 2014)

Polyhedral Optimization of TensorFlow Computation Graphs. - Benoît Pradelle; Benoît Meister; Muthu Manikandan Baskaran; Jonathan Springer; Richard Lethin (ESPT/VPA@SC, 2017)

Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer. - Charles Jin; Muthu Manikandan Baskaran; Benoît Meister; Jonathan Springer (HPEC, 2019)

Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation. - Muthu Manikandan Baskaran; Charles Jin; Benoît Meister; Jonathan Springer (HPEC, 2020)

HACCLE: An Ecosystem for Building Secure Multi-Party Computations. - Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Fei Wang 046; Mohammad Hassan Ameri; Donghang Lu; Alexander Seto; Benjamin Delaware; Roopsha Samanta; Aniket Kate; et al. (CoRR, 2020)

HACCLE: metaprogramming for secure multi-party computation. - Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Nouraldin Jaber; Fei Wang 046; Mohammad Hassan Ameri; Donghang Lu; Alexander Seto; Benjamin Delaware; Roopsha Samanta; et al. (GPCE, 2021)