John H. Reppy

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 15

Top Topics

Intermediate Representation

Top Venues

Proc. ACM Program. Lang.

Publications

Benjamin Quiring, John H. Reppy, Olin Shivers
Analyzing binding extent in 3CPS. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Benjamin Quiring, John H. Reppy, Olin Shivers
3CPS: The Design of an Environment-Focussed Intermediate Representation. IFL (2021)
Kavon Farvardin, John H. Reppy
From folklore to fact: comparing implementations of stacks and continuations. PLDI (2020)
David MacQueen, Robert Harper, John H. Reppy
The history of Standard ML. Proc. ACM Program. Lang. 4 (HOPL) (2020)
Kavon Farvardin, John H. Reppy
A New Backend for Standard ML of New Jersey. IFL (2020)
Teodoro Collin, Charisee Chiw, L. Ridgway Scott, John H. Reppy, Gordon L. Kindlmann
Point Movement in a DSL for Higher-Order FEM Visualization. IEEE VIS (Short Papers) (2019)
Teodoro Collin, Charisee Chiw, L. Ridgway Scott, John H. Reppy, Gordon L. Kindlmann
Point Movement in a DSL for Higher-Order FEM Visualization. CoRR (2019)
John H. Reppy, Joe Wingerter
Shapes and flattening. IFL (2019)
Charisee Chiw, Gordon L. Kindlmann, John H. Reppy
Compiling Diderot: From Tensor Calculus to C. CoRR (2018)
Gordon L. Kindlmann, Charisee Chiw, T. Huynh, Attila Gyulassy, John H. Reppy, Peer-Timo Bremer
Rendering and Extracting Extremal Features in 3D Fields. Comput. Graph. Forum 37 (3) (2018)
Charisee Chiw, John H. Reppy
Properties of Normalization for a math based intermediate representation. CoRR (2017)
Charisee Chiw, Gordon L. Kindlmann, John H. Reppy
DATm: Diderot's Automated Testing Model. AST@ICSE (2017)
Charisee Chiw, Gordon L. Kindlmann, John H. Reppy
An exploration to visualize finite element data with a DSL. CoRR (2017)
Gordon L. Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, John H. Reppy
Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis. IEEE Trans. Vis. Comput. Graph. 22 (1) (2016)
Kavon Farvardin, John H. Reppy
Compiling with Continuations and LLVM. ML/OCAML (2016)
Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler
Practical and effective higher-order optimizations. ICFP (2014)
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Stephen Rosen, Adam Shaw
Data-only flattening for nested data parallelism. PPOPP (2013)
Lars Bergstrom, Matthew Fluet, John H. Reppy, Nora Sandler
Practical Inlining of Functions with Free Variables. CoRR (2013)
Charisee Chiw, Gordon L. Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer
Diderot: a parallel DSL for image analysis and visualization. PLDI (2012)
Lars Bergstrom, Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Lazy tree splitting. J. Funct. Program. 22 (4-5) (2012)
Lars Bergstrom, John H. Reppy
Nested data-parallelism on the gpu. ICFP (2012)
Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
Garbage Collection for Multicore NUMA Machines CoRR (2011)
Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy
Garbage collection for multicore NUMA machines. MSPC (2011)
Pavel Krajcevski, John H. Reppy
A Declarative API for Particle Systems. PADL (2011)
Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet
Lazy tree splitting. ICFP (2010)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Implicitly threaded parallelism in Manticore. J. Funct. Program. 20 (5-6) (2010)
John H. Reppy, Claudio V. Russo, Yingqi Xiao
Parallel concurrent ML. ICFP (2009)
Scott Owens, John H. Reppy, Aaron Turon
Regular-expression derivatives re-examined. J. Funct. Program. 19 (2) (2009)
Lars Bergstrom, John H. Reppy
Arity Raising in Manticore. IFL (2009)
Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Programming in Manticore, a Heterogenous Parallel Functional Language. CEFP (2009)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw
Implicitly-threaded parallelism in Manticore. ICFP (2008)
Matthias Blume, Mike Rainey, John H. Reppy
Calling variadic functions from a strongly-typed language. ML (2008)
Matthew Fluet, Mike Rainey, John H. Reppy
A scheduling framework for general-purpose parallel languages. ICFP (2008)
Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Status report: the manticore project. ML (2007)
Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao
Manticore: a heterogeneous parallel language. DAMP (2007)
John H. Reppy, Yingqi Xiao
Specialization of CML message-passing primitives. POPL (2007)
John H. Reppy, Aaron Turon
Metaprogramming with Traits. ECOOP (2007)
John H. Reppy, Chunyan Song
Application-specific foreign-interface generation. GPCE (2006)
John H. Reppy
Type-sensitive control-flow analysis. ML (2006)
Kathleen Fisher, Riccardo Pucella, John H. Reppy
A Framework for Interoperability CoRR (2004)
John H. Reppy
Optimizing Nested Loops Using Local CPS Conversion. High. Order Symb. Comput. 15 (2-3) (2002)
Kathleen Fisher, John H. Reppy
Inheritance-Based Subtyping. Inf. Comput. 177 (1) (2002)
Cliff Young, Yagati N. Lakshman, Tom Szymanski, John H. Reppy, David L. Presotto, Rob Pike, Girija J. Narlikar, Sape J. Mullender, Eric Grosse
Protium, an Infrastructure for Partitioned Applications. HotOS (2001)
Kathleen Fisher, Riccardo Pucella, John H. Reppy
A framework for interoperability. Electron. Notes Theor. Comput. Sci. 59 (1) (2001)
Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy
Asynchronous Exceptions in Haskell. PLDI (2001)
Kathleen Fisher, John H. Reppy
Extending Moby with Inheritance-Based Subtyping. ECOOP (2000)
Kathleen Fisher, John H. Reppy, Jon G. Riecke
A Calculus for Compiling and Linking Classes. ESOP (2000)
Kathleen Fisher, John H. Reppy
The Design of a Class Mechanism for Moby. PLDI (1999)
S. G. Efremidis, Khalid Azim Mughal, John H. Reppy, L. Søraas
AML: Attribute Grammars in ML. Nord. J. Comput. 4 (1) (1997)
John H. Reppy, Jon G. Riecke
Simple Objects for Standard ML. PLDI (1996)
Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren
Supporting Dynamic Data Structures on Distributed-Memory Machines. ACM Trans. Program. Lang. Syst. 17 (2) (1995)
John H. Reppy
First-class Synchronous Operations. Theory and Practice of Parallel Programming (1994)
Lal George, Florent Guillame, John H. Reppy
A Portable and Optimizing Back End for the SML/NJ Compiler. CC (1994)
Zhong Shao, John H. Reppy, Andrew W. Appel
Unrolling Lists. LISP and Functional Programming (1994)
John H. Reppy
Concurrent ML: Design, Application and Semantics. Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Martin C. Carlisle, Anne Rogers, John H. Reppy, Laurie J. Hendren
Early Experiences with Olden. LCPC (1993)
Anne Rogers, John H. Reppy, Laurie J. Hendren
Supporting SPMD Execution for Dynamic Data Structures. LCPC (1992)
John H. Reppy
CML: A Higher-Order Concurrent Language. PLDI (1991)
John H. Reppy
Synchronous Operations as First-Class Values. PLDI (1988)
Stephen C. North, John H. Reppy
Concurrent garbage collection on stock hardware. FPCA (1987)
John H. Reppy, Emden R. Gansner
A foundation for programming environments. SDE (1986)