John Reppy

University of Chicago

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers188 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

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

An exploration to visualize finite element data with a DSL

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

CoRR, (2017)

Cited by1EIBibtex

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

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

(2015)

Bibtex

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

Evidence for Supersolidity in Bulk Solid $^4$He

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

(2014)

Cited by2Bibtex

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

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,Matthew Fluet,Mike Rainey,John Reppy,Stephen Rosen,Adam Shaw

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

Cited by26EIBibtex

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

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

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

Bibtex

Nested data-parallelism on the gpu

Lars Bergstrom,John Reppy

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

Cited by59EIBibtex

Lazy tree splitting

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

J. Funct. Program., no. 4-5 (2012): 382-438

Cited by11EIBibtex

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

Self-adjusting machines

Umut A. Acar,John H. Reppy,Matthew Arthur Hammer

Self-adjusting machines, (2012)

EIBibtex

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

Anomalous Behavior of Solid He 4 in Porous Vycor Glass

John D Reppy, Xiao Mi

Physical Review Letters, (2012)

Bibtex

View All

Base Info Papers Patents Projects