• Publications
  • Influence
Stochastic superoptimization
We formulate the loop-free binary superoptimization task as a stochastic search problem. The competing constraints of transformation correctness and performance improvement are encoded as terms in aExpand
  • 202
  • 23
  • PDF
Study of Prevalence and Response to Needle Stick Injuries among Health Care Workers in a Tertiary Care Hospital in Delhi, India
Background: Because of the environment in which they work, many health care workers are at an increased risk of accidental needle stick injuries (NSI). Objective: To study prevalence and response toExpand
  • 150
  • 11
Differential assertion checking
Previous version of a program can be a powerful enabler for program analysis by defining new relative specifications and making the results of current program analysis more relevant. In this paper,Expand
  • 107
  • 11
  • PDF
From Invariant Checking to Invariant Inference Using Randomized Search
We describe a general framework c2i for generating an invariant inference procedure from an invariant checking procedure. Given a checker and a language of possible invariants, c2i generates anExpand
  • 87
  • 11
  • PDF
Data-driven precondition inference with learned features
We extend the data-driven approach to inferring preconditions for code from a set of test executions. Prior work requires a fixed set of features, atomic predicates that define the search space ofExpand
  • 58
  • 10
  • PDF
Probable zoonotic leprosy in the southern United States.
BACKGROUND In the southern region of the United States, such as in Louisiana and Texas, there are autochthonous cases of leprosy among native-born Americans with no history of foreign exposure. InExpand
  • 153
  • 8
  • PDF
Verification as Learning Geometric Concepts
We formalize the problem of program verification as a learning problem, showing that invariants in program verification can be regarded as geometric concepts in machine learning. Safety propertiesExpand
  • 72
  • 8
  • PDF
Stochastic optimization of floating-point programs with tunable precision
The aggressive optimization of floating-point computations is an important problem in high-performance computing. Unfortunately, floating-point instruction sets have complicated semantics that oftenExpand
  • 115
  • 6
  • PDF
Stratified synthesis: automatically learning the x86-64 instruction set
The x86-64 ISA sits at the bottom of the software stack of most desktop and server software. Because of its importance, many software analysis and verification tools depend, either explicitly orExpand
  • 43
  • 6
  • PDF
Tobacco Use Among Adolescent Students and the Influence of Role Models
Background: Seventy per cent of premature deaths among adults are due to behavioral patterns that emerge in adolescence, including smoking. Objective: The objective was to study the prevalence ofExpand
  • 35
  • 6