John H. Reppy

According to our database, John H. Reppy authored at least 60 papers between 1986 and 2022.

Collaborative distances:

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

2022

Analyzing binding extent in 3CPS.

Benjamin Quiring, John H. Reppy, Olin Shivers

Proc. ACM Program. Lang., 2022

2021

3CPS: The Design of an Environment-Focussed Intermediate Representation.

Benjamin Quiring, John H. Reppy, Olin Shivers

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

2020

The history of Standard ML.

David MacQueen, Robert Harper, John H. Reppy

Proc. ACM Program. Lang., 2020

Quantum Hoare Type Theory: Extended Abstract.

Kartik Singhal, John H. Reppy

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

From folklore to fact: comparing implementations of stacks and continuations.

Kavon Farvardin, John H. Reppy

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

A New Backend for Standard ML of New Jersey.

Kavon Farvardin, John H. Reppy

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

Point Movement in a DSL for Higher-Order FEM Visualization.

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

Proceedings of the 30th IEEE Visualization Conference, 2019

Shapes and flattening.

John H. Reppy, Joe Wingerter

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

Compiling Diderot: From Tensor Calculus to C.

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

CoRR, 2018

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, 2018

2017

Properties of Normalization for a math based intermediate representation.

Charisee Chiw, John H. Reppy

CoRR, 2017

An exploration to visualize finite element data with a DSL.

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

CoRR, 2017

DATm: Diderot's Automated Testing Model.

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

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

2016

Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis.

Gordon L. Kindlmann, Charisee Chiw, Nicholas Seltzer, Lamont Samuels, John H. Reppy

IEEE Trans. Vis. Comput. Graph., 2016

Compiling with Continuations and LLVM.

Kavon Farvardin, John H. Reppy

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

2014

Practical and effective higher-order optimizations.

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

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Practical Inlining of Functions with Free Variables.

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

CoRR, 2013

Data-only flattening for nested data parallelism.

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

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2012

Lazy tree splitting.

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

J. Funct. Program., 2012

Diderot: a parallel DSL for image analysis and visualization.

Charisee Chiw, Gordon L. Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Nested data-parallelism on the gpu.

Lars Bergstrom, John H. Reppy

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Concurrent ML.

John H. Reppy

Proceedings of the Encyclopedia of Parallel Computing, 2011

Garbage collection for multicore NUMA machines.

Sven Auhagen, Lars Bergstrom, Matthew Fluet, John H. Reppy

Proceedings of the 2011 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '11, 2011

A Declarative API for Particle Systems.

Pavel Krajcevski, John H. Reppy

Proceedings of the Practical Aspects of Declarative Languages, 2011

2010

Implicitly threaded parallelism in Manticore.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw

J. Funct. Program., 2010

2009

Regular-expression derivatives re-examined.

Scott Owens, John H. Reppy, Aaron Turon

J. Funct. Program., 2009

Arity Raising in Manticore.

Lars Bergstrom, John H. Reppy

Proceedings of the Implementation and Application of Functional Languages, 2009

Parallel concurrent ML.

John H. Reppy, Claudio V. Russo, Yingqi Xiao

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Programming in Manticore, a Heterogenous Parallel Functional Language.

Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Calling variadic functions from a strongly-typed language.

Matthias Blume, Mike Rainey, John H. Reppy

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

A scheduling framework for general-purpose parallel languages.

Matthew Fluet, Mike Rainey, John H. Reppy

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

Specialization of CML message-passing primitives.

John H. Reppy, Yingqi Xiao

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Manticore: a heterogeneous parallel language.

Matthew Fluet, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Status report: the manticore project.

Matthew Fluet, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

Metaprogramming with Traits.

John H. Reppy, Aaron Turon

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Concurrent programming in ML.

John H. Reppy

Cambridge University Press, ISBN: 978-0-521-71472-3, 2007

2006

Type-sensitive control-flow analysis.

John H. Reppy

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

Application-specific foreign-interface generation.

John H. Reppy, Chunyan Song

Proceedings of the Generative Programming and Component Engineering, 2006

2002

Optimizing Nested Loops Using Local CPS Conversion.

John H. Reppy

High. Order Symb. Comput., 2002

Inheritance-Based Subtyping.

Kathleen Fisher, John H. Reppy

Inf. Comput., 2002

2001

A framework for interoperability.

Kathleen Fisher, Riccardo Pucella, John H. Reppy

Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability, 2001

Asynchronous Exceptions in Haskell.

Simon Marlow, Simon L. Peyton Jones, Andrew Moran, John H. Reppy

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

Protium, an Infrastructure for Partitioned Applications.

Cliff Young, Yagati N. Lakshman, Tom Szymanski, John H. Reppy, David L. Presotto, Rob Pike, Girija J. Narlikar, Sape J. Mullender, Eric Grosse

Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating Systems, 2001

2000

A Calculus for Compiling and Linking Classes.

Kathleen Fisher, John H. Reppy, Jon G. Riecke

Proceedings of the Programming Languages and Systems, 2000

Extending Moby with Inheritance-Based Subtyping.

Kathleen Fisher, John H. Reppy

Proceedings of the ECOOP 2000, 2000

1999

The Design of a Class Mechanism for Moby.

Kathleen Fisher, John H. Reppy

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

1997

AML: Attribute Grammars in ML.

S. G. Efremidis, Khalid Azim Mughal, John H. Reppy, L. Søraas

Nord. J. Comput., 1997

1996

Simple Objects for Standard ML.

John H. Reppy, Jon G. Riecke

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

1995

Supporting Dynamic Data Structures on Distributed-Memory Machines.

Anne Rogers, Martin C. Carlisle, John H. Reppy, Laurie J. Hendren

ACM Trans. Program. Lang. Syst., 1995

1994

First-class Synchronous Operations.

John H. Reppy

Proceedings of the Theory and Practice of Parallel Programming, 1994

Unrolling Lists.

Zhong Shao, John H. Reppy, Andrew W. Appel

Proceedings of the 1994 ACM Conference on LISP and Functional Programming, 1994

A Portable and Optimizing Back End for the SML/NJ Compiler.

Lal George, Florent Guillame, John H. Reppy

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

Concurrent ML: Design, Application and Semantics.

John H. Reppy

Proceedings of the Functional Programming, 1993

Early Experiences with Olden.

Martin C. Carlisle, Anne Rogers, John H. Reppy, Laurie J. Hendren

Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992

Higher-Order Concurrency.

John H. Reppy

PhD thesis, 1992

Supporting SPMD Execution for Dynamic Data Structures.

Anne Rogers, John H. Reppy, Laurie J. Hendren

Proceedings of the Languages and Compilers for Parallel Computing, 1992

1991

CML: A Higher-Order Concurrent Language.

John H. Reppy

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

1988

Synchronous Operations as First-Class Values.

John H. Reppy

Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987

Concurrent garbage collection on stock hardware.

Stephen C. North, John H. Reppy

Proceedings of the Functional Programming Languages and Computer Architecture, 1987

1986

A foundation for programming environments.

John H. Reppy, Emden R. Gansner

Proceedings of the SESPSDE'86: ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1986