Jonathan Springer

According to our database, Jonathan Springer authored at least 10 papers between 1996 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

HACCLE: metaprogramming for secure multi-party computation.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

CoRR, 2020

Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation.

Muthu Manikandan Baskaran, Charles Jin, Benoît Meister, Jonathan Springer

Proceedings of the 2020 IEEE High Performance Extreme Computing Conference, 2020

2019

Automatic Parallelization to Asynchronous Task-Based Runtimes Through a Generic Runtime Layer.

Charles Jin, Muthu Manikandan Baskaran, Benoît Meister, Jonathan Springer

Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

2017

Polyhedral Optimization of TensorFlow Computation Graphs.

Benoît Pradelle, Benoît Meister, Muthu Manikandan Baskaran, Jonathan Springer, Richard Lethin

Proceedings of the Programming and Performance Visualization Tools, 2017

2014

Extreme SAT-based Constraint solving with R-Solve.

James R. Ezick, Jonathan Springer, Tom Henretty, Chanseok Oh

Proceedings of the IEEE High Performance Extreme Computing Conference, 2014

2013

Analyzing Network Traffic with Chimera.

Jonathan Springer, Kevin Borders, Matthew Burnside

login Usenix Mag., 2013

Forest hashing: Expediting large scale image retrieval.

Jonathan Springer, Xin Xin, Zhu Li, Jeremy Watt, Aggelos K. Katsaggelos

Proceedings of the IEEE International Conference on Acoustics, 2013

2012

Chimera: A Declarative Language for Streaming Network Traffic Analysis.

Kevin Borders, Jonathan Springer, Matthew Burnside

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

1996

Strictness Analysis in the Imperative Lambda Calculus.

Jonathan Springer, Samuel N. Kamin

LISP Symb. Comput., 1996