John Reppy

University of Chicago

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers190 papers

Sort

By YearBy Citation

The history of Standard ML

David MacQueen,Robert Harper,John Reppy

Proceedings of the ACM on Programming Languages, no. HOPL (2020): 1-100

EIBibtex

Point Movement in a DSL for Higher-Order FEM Visualization

Teodoro Collin,Charisee Chiw, L. Ridgway Scott,John H. Reppy,Gordon L. Kindlmann

VIS, pp.281-285, (2019)

EIWOSBibtex

Rendering and Extracting Extremal Features in 3D Fields

Gordon L. Kindlmann,Charisee Chiw,T. Huynh,Attila Gyulassy,John H. Reppy,Peer-Timo Bremer

Comput. Graph. Forum, no. 3 (2018): 525-536

Cited by4EIBibtex

Compiling Diderot: From Tensor Calculus to C

Charisee Chiw,Gordon L. Kindlmann,John H. Reppy

arXiv: Programming Languages, (2018)

Cited by1EIBibtex

An exploration to visualize finite element data with a DSL

Charisee Chiw,Gordon L. Kindlmann,John H. Reppy

CoRR, (2017)

Cited by1EIBibtex

DATm: Diderot's Automated Testing Model

Charisee Chiw,Gordon L. Kindlmann,John H. Reppy

AST@ICSE, pp.45-51, (2017)

Cited by2EIBibtex

Properties of Normalization for a math based intermediate representation

Charisee Chiw,John H. Reppy

arXiv: Programming Languages, (2017)

EIBibtex

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

Kathleen Fisher,John H Reppy

ACM SIGPLAN International Conference on Functional Programming, (2015)

EIBibtex

Multiple Mode Torsional Oscillator Studies and Evidence for Supersolidity in Bulk 4He

Anna Eyal, Xiao Mi, Artem V Talanov,John D Reppy

(2015)

Bibtex

Practical and effective higher-order optimizations

Lars Bergstrom,Matthew Fluet,Matthew Le,John H. Reppy,Nora Sandler

ICFP, no. 9 (2014): 81-93

Cited by5EIBibtex

Vortex Dynamics in Thin 4 He Films

D F Mcqueeney,G Agnolet, Gane K S Wong,John D Reppy

Japanese Journal of Applied Physics, (2014)

Bibtex

Evidence for Supersolidity in Bulk Solid $^4$He

Xiao Mi, Anna Eyal, Artem V Talanov,John D Reppy

(2014)

Cited by2Bibtex

Practical Inlining of Functions with Free Variables

Lars Bergstrom,Matthew Fluet,John H. Reppy,Nora Sandler

CoRR, (2013)

EIBibtex

Data-Only Flattening for Nested Data Parallelism

Lars Bergstrom,John Reppy, Stephen Rosen,Adam Shaw,Matthew Fluet,Mike Rainey

ACM SIGPLAN NOTICES, no. 8 (2013): 81-91

Bibtex

In Pursuit of the Elusive Supersolid

Xiao Mi,John D Reppy

Journal of Low Temperature Physics, no. 1-2 (2013): 104-112

Cited by3Bibtex

Data-only flattening for nested data parallelism

Lars Bergstrom,Matthew Fluet,Mike Rainey,John Reppy,Stephen Rosen,Adam Shaw

PPOPP, no. 8 (2013): 81-92

Cited by26EIBibtex

Diderot: a parallel DSL for image analysis and visualization

Charisee Chiw,Gordon Kindlmann,John Reppy,Lamont Samuels,Nick Seltzer

PLDI, no. 6 (2012): 111-120

Cited by54EIBibtex

Anomalous Behavior of Solid He 4 in Porous Vycor Glass

John D Reppy, Xiao Mi

Physical Review Letters, (2012)

Bibtex

Nested data-parallelism on the gpu

Lars Bergstrom,John Reppy

ICFP, no. 9 (2012): 247-258

Cited by59EIBibtex

Study of Supersolidity and Shear Modulus Anomaly of 4He in a Triple Compound Oscillator

Xiao Mi,Erich J Mueller,John D Reppy

Journal of Physics: Conference Series, (2012)

Cited by3Bibtex

View All

Base Info Papers Patents Projects