John H. Reppy - RankMe

72 papers A* 8A 12B 3C 2Journal 20Unranked 22

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