• Publications
  • Influence
Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations
In a Secure Multiparty Computation (SMC), mutually distrusting parties use cryptographic techniques to cooperatively compute over their private data, in the process each party learns only explicitlyExpand
  • 96
  • 10
  • PDF
Towards metabolic mapping of the human retina
Functional alterations are first signs of a starting pathological process. A device that measures parameter for the characterization of the metabolism at the human eye‐ground would be a helpful toolExpand
  • 164
  • 7
  • PDF
CEAL: a C-based language for self-adjusting computation
Self-adjusting computation offers a language-centric approach to writing programs that can automatically respond to modifications to their data (e.g., inputs). Except for several domain-specificExpand
  • 76
  • 6
  • PDF
Longitudinal changes in auditory discrimination in normal children and children with language-learning problems.
  • L. Elliott, M. Hammer
  • Psychology, Medicine
  • The Journal of speech and hearing disorders
  • 1 November 1988
Two groups of children--one progressing normally in school and the other exhibiting language-learning problems--were tested in each of 3 years on a set of fine-grained auditory discrimination tasksExpand
  • 71
  • 3
Adapton: composable, demand-driven incremental computation
Many researchers have proposed programming languages that support incremental computation (IC), which allows programs to be efficiently re-executed after a small change to the input. However,Expand
  • 74
  • 3
  • PDF
Perception of gated, highly familiar spoken monosyllabic nouns by children, teenagers, and older adults
A forward-gating procedure, employing highly familiar monosyllabic words, was used in testing 5–7-year-old children, 15–17-year-old teenagers, and 70–85-year-old adults. Teenagers identified theExpand
  • 90
  • 2
Knowledge inference for optimizing secure multi-party computation
In secure multi-party computation, mutually distrusting parties cooperatively compute functions of their private data; in the process, they only learn certain results as per the protocol (e.g., theExpand
  • 20
  • 2
  • PDF
Implicit self-adjusting computation for purely functional programs
Computational problems that involve dynamic data, such as physics simulations and program development environments, have been an important subject of study in programming languages. Building on thisExpand
  • 20
  • 2
Hazelnut: a bidirectionally typed structure editor calculus
Structure editors allow programmers to edit the tree structure of a program directly. This can have cognitive benefits, particularly for novice and end-user programmers. It also simplifies mattersExpand
  • 29
  • 2
  • PDF
The misclassification of blinks as saccades: implications for investigations of eye movement dysfunction in schizophrenia.
It is important to have a simple. accurate method for recording eye movements. Of the two popular approaches commonly adopted, electro-oculography (EOG) and infrared oculography (IROG), IROG is oftenExpand
  • 20
  • 1