John Reppy

Q: What Schools Are Affiliated With John Reppy

John Reppy is affiliated with the following schools: University of California, Berkeley, Yale University, Princeton University, University of Chicago, Stanford University, Cornell University, University of Connecticut

John Reppy's AcademicInfluence.com Rankings

John Reppy

Physics

#2418

World Rank

#3582

Historical Rank

#957

USA Rank

physics Degrees

Download Badge

Physics

John Reppy's Degrees

Bachelors Physics Stanford University
PhD Physics University of California, Berkeley

Why Is John Reppy Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John David Reppy is a physicist and the John L. Wetherill Professor of Physics Emeritus at Cornell University. He studies the quantum properties of superfluids such as helium. Reppy is also a notable rock climber of long standing. He established a number of widely known climbing routes particularly in the northeastern United States.

(See a Problem?)

John Reppy's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Study of the Superfluid Transition in Two-Dimensional He-4 Films (1978) (422)
CML: A Higher-Order Concurrent Language (1991) (346)
Concurrent programming in ML (1999) (310)
Supporting dynamic data structures on distributed-memory machines (1995) (279)
Study of the superfluid transition in two-dimensional /sup 4/He films (1980) (164)
CML: A higher concurrent language (1991) (160)
Observation of classical rotational inertia and nonclassical supersolid signals in solid 4He below 250 mK. (2006) (148)
Higher-Order Concurrency (1992) (148)
Superfluid helium in porous media (1992) (132)
Implicitly-threaded parallelism in Manticore (2008) (118)
Disorder and the Supersolid State of Solid He4 (2007) (118)
Regular-expression derivatives re-examined (2009) (118)
The design of a class mechanism for Moby (1999) (110)
Single‐crystal silicon high‐Q torsional oscillators (1985) (107)
Asynchronous exceptions in Haskell (2001) (100)
Superfluidity in a dilute Bose gas (1983) (96)
Concurrent ML: Design, Application and Semantics (1993) (92)
Phase Separation and the Superfluid Transition in Liquid He 3 - He 4 Mixtures (1967) (90)
Low-Temperature Density and Solubility ofHe3in LiquidHe4under Pressure (1969) (82)
Manticore: a heterogeneous parallel language (2007) (80)
Diderot: a parallel DSL for image analysis and visualization (2012) (77)
Nested data-parallelism on the gpu (2012) (75)
TEMPERATURE DEPENDENCE OF SUPERFLUID CRITICAL VELOCITIES NEAR T/sub lambda/ . (1967) (66)
Metaprogramming with Traits (2007) (65)
TEMPERATURE DEPENDENCE OF THE SUPERFLUID DENSITY IN He II NEAR Tlambda (1966) (62)
Viscosity of Liquid He 3 - B near the Superfluid Transition (1978) (59)
PERSISTENT CURRENTS IN SUPERFLUID HELIUM (1964) (53)
Onset of Superfluidity in 4He Films Adsorbed on Disordered Substrates (1996) (53)
A multi-threaded higher-order user interface toolkit (1993) (53)
Concurrent garbage collection on stock hardware (1987) (51)
Superfluid transition of /sup 4/He films adsorbed on porous Vycor glass (1977) (51)
TEMPERATURE DEPENDENCE OF THE SUPERFLUID HEALING LENGTH. (1969) (50)
The standard ML basis library (2002) (47)
Parallel concurrent ML (2009) (47)
Simple objects for Standard ML (1996) (45)
Early Experiences with Olden (1993) (45)
Unrolling lists (1994) (45)
Helium in Aerogel (1996) (45)
Surface Superfluidity in Dilute He 4 - He 3 Mixtures (1984) (43)
Probing the upper limit of nonclassical rotational inertia in solid helium 4. (2008) (43)
Determination of the /sup 3/He superfluid-density tensor for the A and B phases (1976) (42)
Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis (2016) (42)
Nonsuperfluid origin of the nonclassical rotational inertia in a bulk sample of solid 4He. (2010) (41)
Asynchronous Signals is Standard ML (1990) (39)
Superfluid density of thin /sup 4/He films adsorbed in porous Vycor glass (1981) (38)
The Essence of Concurrent ML (1997) (38)
Protium, an infrastructure for partitioned applications (2001) (37)
Specialization of CML message-passing primitives (2007) (36)
A scheduling framework for general-purpose parallel languages (2008) (35)
A Portable and Optimizing Back End for the SML/NJ Compiler (1994) (34)
APPLICATION OF A SUPERFLUID GYROSCOPE TO THE STUDY OF CRITICAL VELOCITIES IN LIQUID HELIUM NEAR THE /lambda/ TRANSITION (1965) (34)
4He as a dilute bose gas (1984) (33)
Data-only flattening for nested data parallelism (2013) (32)
A High-performance Garbage Collector for Standard ML (1993) (32)
First-Class Synchronous Operations in Standard ML (1989) (32)
A foundation for trait-based metaprogramming (2005) (31)
Superfluid mass of liquid helium three (1974) (31)
Status report: the manticore project (2007) (31)
Superfluid density in porous Vycor glass (1975) (30)
An Operational Semantics of First-class Synchronous Operations (1991) (30)
Lazy tree splitting (2010) (29)
A framework for interoperability (2001) (28)
DECAY OF SUPERFLUID PERSISTENT CURRENTS. (1968) (28)
Chapter 1 Intrinsic Critical Velocities in Superfluid Helium (1970) (28)
Synchronous operations as first-class values (1988) (28)
Low-temperature heat-capacity measurements of /sup 4/He films adsorbed on a disordered substrate (1979) (26)
Garbage collection for multicore NUMA machines (2011) (25)
A Calculus for Compiling and Linking Classes (2000) (24)
Failure of bulk-correlation-length scaling for the superfluid density of confined /sup 4/He (1984) (23)
Persistent-Current Measurements of the Superfluid Density and Critical Velocity (1972) (22)
Substrate-tuned boson localization in superfluid (4)He films. (2003) (22)
Superfluidity of ThinHe4Films (1974) (22)
Lambda Point in theH4e-Vycor System: A Test of Hyperuniversality (1999) (22)
Extending Moby with Inheritance-Based Subtyping (2000) (21)
ANGULAR-MOMENTUM EXPERIMENTS WITH LIQUID HELIUM (1965) (20)
A foundation for programming environments (1987) (20)
Thermal Transport in a 4 He Film at the Kosterlitz-Thouless Transition (1981) (20)
Type-sensitive control-flow analysis (2006) (20)
Evidence for superfluid B-phase of 3 He in aerogel (1999) (20)
Supporting SPMD Execution for Dynamic Data Structures (1992) (19)
Search for superfluidity in hcp He 4 (1981) (19)
LOW-TEMPERATURE SUPERFLUID DENSITY IN A RESTRICTED GEOMETRY. (1972) (19)
Absence of pressure-driven supersolid flow at low frequency (2009) (18)
Interpreting Torsional Oscillator Measurements: Effect of Shear Modulus and Supersolidity (2011) (18)
Superfluid Dissipation in RotatingHe3-B (1984) (17)
Simultaneous measurement of the heat capacity and superfluid density of 4He films in vycor glass (1990) (17)
Effective scheduling techniques for high-level parallel programming languages (2010) (17)
Local CPS conversion in a direct-style compiler (extended abstract) (2000) (17)
Abstract Value Constructors: Symbolic Constants for Standard ML (1992) (17)
Helium II in Rotation (1960) (17)
Application-specific foreign-interface generation (2006) (17)
Normal fluid density of liquid /sup 3/He-B (1979) (16)
Classes in Object ML via Modules (1996) (16)
Critical velocities in superfluid /sup 3/He (1979) (16)
Inheritance-Based Subtyping (2002) (15)
Optimizing Nested Loops Using Local CPS Conversion (2002) (14)
Persistent Currents in SuperfluidHe3-B (1984) (13)
A foundation for user interface construction (1992) (12)
First-class Synchronous Operations (1994) (12)
Compiler support for lightweight concurrency (2002) (12)
Practical and effective higher-order optimizations (2014) (11)
Helium-four transition in a restricted geometry below and above the bulk solidification pressure (1981) (10)
Early experiences with olden (parallel programming) (1993) (10)
From folklore to fact: comparing implementations of stacks and continuations (2020) (9)
Anomalous behavior of solid 4He in porous Vycor glass. (2012) (9)
Foundations for MOBY Classes (1998) (9)
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006) (9)
Heat capacity of 3He in aerogel. (2000) (9)
Quantum Hoare Type Theory: Extended Abstract (2021) (8)
Arity Raising in Manticore (2009) (8)
Proceedings of the sixth workshop on Declarative aspects of multicore programming (2011) (8)
Reduction of vibrational noise from continuously filled 1 K pots (1998) (7)
Syned -- A Language-Based Editor for an Interactive Programming Environment (1983) (7)
Search for supersolidity in solid 4He using multiple-mode torsional oscillators (2016) (7)
Programming in Manticore, a Heterogenous Parallel Functional Language (2009) (7)
Community Climate System Model (CCSM) (2011) (7)
Rendering and Extracting Extremal Features in 3D Fields (2018) (7)
VISCOSITY OF NORMAL AND SUPERFLUID HELIUM THREE (1978) (7)
The Annealing Process in Solid 4He (2007) (6)
Study of Supersolidity and Shear Modulus Anomaly of 4He in a Triple Compound Oscillator (2011) (6)
EIN : An Intermediate Representation for Compiling Tensor Calculus (2016) (6)
Multiple Mode Torsional Oscillator Studies and Evidence for Supersolidity in Bulk 4He (2015) (6)
Nessie : A NESL to CUDA Compiler (2014) (6)
Comment on ''Superfluid flow in restricted geometries'' (1974) (6)
Melting, freezing and superfluidity of helium in porous media (1981) (6)
The eXene widgets manual (1993) (5)
Implementation techniques for nested-data-parallel languages (2011) (5)
AML: Attribute Grammars in ML (1997) (5)
The history of Standard ML (2020) (5)
The existence of liquid helium above melting curve pressures (1981) (5)
In Pursuit of the Elusive Supersolid (2013) (5)
A high resolution heat capacity measurement near the superfluid transition of the4He/Vycor system (1996) (4)
Self-adjusting machines (2012) (4)
DENSITY OF ROTATING He II. (1967) (4)
Pressure relaxations in solid helium-4 (2009) (4)
Reflective techniques in extensible languages (2008) (4)
A Declarative API for Particle Systems (2011) (4)
Critical velocity effects in superfluid 3HeB (1981) (3)
Reduction of rounding in the4He—Vycor superfluid transition with improved Vycor samples (1994) (3)
Compiling with Continuations and LLVM (2018) (3)
MOBY objects and classes (1998) (3)
Object-oriented aspects of M OBY (2003) (2)
Superfluid density and viscosity measurements in liquid 3He (1977) (2)
Superfluidity of 4He Confined within Porous Silica Gel (1987) (2)
Superfluidity in Thin Helium Four Films (1980) (2)
Report of the “User/Programmer Distinction” working group (1992) (2)
DATm: Diderot's Automated Testing Model (2017) (2)
A Novel Method for Heat Capacity Measurements near 2K (1998) (2)
The normal fraction density in superfluid 3HeB (1981) (2)
Compiling Diderot: From Tensor Calculus to C (2018) (2)
Torsional oscillator studies of the superfluidity of 3He in aerogel (1998) (2)
Orbital Dynamics of Superfluid 3He (1987) (2)
Studies of Dissipative Superflow through Porous Vycor Glass (1991) (2)
The Measurement of the Specific Heat of 4He-filled Vycor Glass (1998) (2)
Evidence for Supersolidity in Bulk Solid $^4$He (2014) (2)
Torsional Oscillator Study of Thin He Films Under High Speed Rotation (2004) (1)
Bulk-Synchronous Communication Mechanisms in Diderot (2015) (1)
Configurable, Highly Parallel Computer (2011) (1)
Compiling Successor ML Pattern Guards (2019) (1)
Practical Aspects of Declarative Languages (2012) (1)
Community Ice Code (CICE) (2011) (1)
Cluster File Systems (2011) (1)
An exploration to visualize finite element data with a DSL (2017) (1)
Properties of Normalization for a math based intermediate representation (2017) (1)
Replication Package for Article: From Folklore to Fact: Comparing Implementations of Stacks and Continuations (2020) (1)
3CPS: The Design of an Environment-Focussed Intermediate Representation (2021) (1)
Calling variadic functions from a strongly-typed language (2008) (1)
Critical Sections (2011) (1)
λ cu — An Intermediate Representation for Compiling Nested Data Parallelism (2016) (1)
Superfluidity, phase transitions, and topology (2018) (1)
The superfluid density of thick films of 4He on Vycor (2000) (1)
Superfluidity of thin $sup 4$He films (1974) (1)
Investigation of the rsq mode of helium-3-B using non-resonant transducers (1990) (1)
PRESSURE DEPENDENCE OF THE SUPERFLUID DENSITY IN 3He-B (1978) (1)
Thermal transport and the Kosterlitz-Thouless transition in 4He films (1981) (1)
Heat capacity of thin films of4He in Vycor near the critical coverage (1994) (1)
O ct 2 00 7 Observation of classical rotational inertia and nonclassical supersolid signals in solid 4 He below 250 mK (2008) (1)
High resolution calorimetry in liquid helium (1990) (1)
Pressure-driven mass flow in solid 4He (2009) (1)
A PRECISION MEASUREMENT OF THE SUPERFLUID DENSITY NEAR THE TRANSITION OF A 2D SUPERFLUID (1978) (1)
Superfluidity of Thin Helium Films (1974) (1)
VISCOSITY MEASUREMENTS IN SUPERFLUID 3He-B TO 1 mK (1978) (1)
Heat Capacity of $^3$He in Aerogel (2002) (1)
Superfluidity in thin 4He films adsorbed on graphite (1994) (0)
The Standard ML Basis Library: Input/Output (2004) (0)
Practical Inlining of Functions with Free Variables (2013) (0)
The Standard ML Basis Library: Sequential data (2004) (0)
The Standard ML Basis Library: Preface (2004) (0)
Concurrent Programming in ML: An Introduction to Concurrent ML (1999) (0)
Community Climate Model (CCM) (2011) (0)
Concurrent Programming in ML: Introduction (1999) (0)
Low-Temperature Specific Heat of 4 He Films in Restricted Geometries (1974) (0)
A Parallel DSL for Computing on Multi-Dimensional Tensor Fields (2014) (0)
Transport Properties of Helium II in Fine Channels (1960) (0)
Concurrent Programming in ML: A Concurrent Window System (1999) (0)
The Standard ML Basis Library: Network programming with sockets (2004) (0)
Practical Aspects of Declarative Languages (2016) (0)
Nested schedulers for heterogeneous parallelism (2007) (0)
22pSA-1 BOSE CONDENSATION AND SUPERFLUIDTY IN ^4HE FLUIDS (2000) (0)
Concurrent Programming in ML: Legend (1999) (0)
Interpreting Torsional Oscillator Measurements: Effect of Shear Modulus and Supersolidity (2012) (0)
The Standard ML Basis Library: Library modules (2004) (0)
Ju l 2 00 8 Probing the Upper Limit of Nonclassical Rotational Inertia (2008) (0)
Practical Aspects of Declarative Languages : 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings (2016) (0)
Concurrent Programming in ML: A CML Implementation of Linda (1999) (0)
Report on the Eleventh ICFP Programming Contest (2008) (0)
Generating type-safe application-specific foreign interfaces (2008) (0)
Concurrent Programming in ML: Preface (1999) (0)
Foreword by Robin Milner (2004) (0)
Concurrent Programming in ML: The Semantics of CML (1999) (0)
SML 3 d : 3 D Graphics for Standard ML (2014) (0)
Superfluid dissipation in thin films of4He adsorbed on graphite (1994) (0)
Elimination of the Supersolid State Through Crystal Annealing (2006) (0)
PVDF: A wideband ultrasound transducer at ultralow temperatures (1986) (0)
Concurrent Programming in ML: A CML Reference (1999) (0)
In Pursuit of the Elusive Supersolid (2013) (0)
DECAY OF PERSISTENT CURRENTS IN SUPERFLUID HELIUM. (1969) (0)
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006 (2006) (0)
Top-level environment (2004) (0)
Concurrent Programming in ML: The Rationale for CML (1999) (0)
Diderot: A Domain-Specific Language for Visualizing FEniCS Functions (2018) (0)
Progress on the measurement of the specific heat of {sup 4}He-filled Vycor near 2K (1995) (0)
Shapes and flattening (2019) (0)
Analyzing binding extent in 3CPS (2022) (0)
Concurrent Programming in ML: Bibliography (1999) (0)
Concurrent Programming in ML: Implementing Concurrency in SML/NJ (1999) (0)
Session details: Mainstream problems (2007) (0)
Porosity Dependence of Tortuosity Factor in a Mugtiply Connected Substrate (2004) (0)
Concurrent Programming in ML: CML Programming Techniques (1999) (0)
Concurrent Programming in ML: A Software Build System (1999) (0)
A New Backend for Standard ML of New Jersey (2020) (0)
CONCURRENT PROGRAMMING IN ML Concurrent Programming in ML presents the language Concurrent (2007) (0)
Concurrent ML (2011) (0)
Point Movement in a DSL for Higher-Order FEM Visualization (2019) (0)
Abstract trace analysis for concurrent programs (2010) (0)
Concurrent Programming in ML: Synchronization and Communication Mechanisms (1999) (0)
Concurrent Programming in ML: Concepts in Concurrent Programming (1999) (0)
Vortex Dynamics in Thin 4He Films (1987) (0)
Practical and effective higher-order optimizations (2014) (0)
Summary of the 1992 ACP Winter Conference on Future Trends in Low Temperature Physics (1993) (0)
Behavior of Rotating Liquid Helium. (1961) (0)
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (2015) (0)
Compiling with Continuations and LLVM Kavon Farvardin (2019) (0)
Superfluidity of $sup 3$He (1975) (0)
Anomalous Inferred Viscosity and Normal Density Near the $$^3$$He $$T_{\mathrm{c}}$$ in a Torsion Pendulum (2021) (0)
Annealing in solid $^4$He (2007) (0)
Influence of sample geometry on the supersolid signal (2007) (0)
Measurement of the superfluid density in silica aerogels (1990) (0)
SUPERFLUID MASS IN VERY THIN OF FILM HELIUM ADSORBED ON VYCOR GLASS (1978) (0)
Variation in supersolid signal amplitude: possible cell dependence (2010) (0)
Reflections on 65 Years of Helium Research (2022) (0)
Is Supersolid still out there (2014) (0)
Heat capacity of {sup 4}He in Vycor near the critical coverage (1993) (0)
Superfluid 3he at Manchester More Puzzles about the Early Solar System (0)

This paper list is powered by the following services:

Other Resources About John Reppy

en.wikipedia.org

What Schools Are Affiliated With John Reppy?

John Reppy is affiliated with the following schools:

John Reppy's Academic­Influence.com Rankings