Author

Jonathan Springer

Observed names: Dr. Jonathan Springer, Springer, Jonathan

Institution: Reservoir Labs (United States)

Observed institutions: Northwestern University, University of Illinois Urbana-Champaign, Reservoir Labs (United States)

OpenAlex ID: A5089567502

Chimera: a declarative language for streaming network traffic analysis

2012 · Kevin Borders, Jonathan Springer, et al. · 44

Polyhedral Optimization of TensorFlow Computation Graphs

2019 · Benoît Pradelle, Benoît Meister, et al. · Lecture notes in computer science · 31

HACCLE: metaprogramming for secure multi-party computation

2021 · Yuyan Bao, Kirshanthan Sundararajah, et al. · ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) · 6

PDF

Forest hashing: Expediting large scale image retrieval

2013 · Jonathan Springer, Xin Xin, et al. · IEEE International Conference on Acoustics Speech and Signal Processing · 6

The Benefits of Static Compliance Testing for Sca Next

2011 · James Ezick, Jonathan Springer · 6

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

2019 · Charles Jin, Muthu Baskaran, et al. · IEEE High Performance Extreme Computing Conference · 3

Extreme SAT-based Constraint solving with R-Solve

2014 · James Ezick, Jonathan Springer, et al. · IEEE High Performance Extreme Computing Conference · 2

Strictness analysis in the Imperative Lambda Calculus

1996 · Jonathan Springer, Samuel N. Kamin · LISP and Symbolic Computation · 2

Streaming and Dynamic Compilers for High Performance Embedded Computing

2002 · Mattson, Peter, Springer, Jonathan, et al. · Defense Technical Information Center (DTIC) · 1

Automatic Mapping and Optimization to Kokkos with Polyhedral Compilation

2020 · Muthu Baskaran, Charles Jin, et al. · IEEE High Performance Extreme Computing Conference

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

2020 · Yuyan Bao, Kirshanthan Sundararajah, et al. · arXiv (Cornell University)

Accelerating SCA compliance testing with advanced development tools

2017 · Jonathan Springer, Steve Bernier, et al. · Analog Integrated Circuits and Signal Processing

Checking Model Specifications with CrossCheck

2009 · Jonathan Springer, James Ezick, et al.

The Design of a Polymorphous Cognitive Agent Architecture (PCAA)

2008 · Mohammed Amduka, Jon Russo, et al. · Defense Technical Information Center (DTIC)

Implementation of functional languages with state

1996 · Samuel N. Kamin, Jonathan Springer

Works count: 17

Citation count: 101

H-index: 5

I10-index: 2