• Publications
  • Influence
Comparative Pharmacodynamics and Pharmacokinetics of Oral Direct Thrombin and Factor Xa Inhibitors in Development
For the past five decades, there has been little progress in the development of oral anticoagulants, with the choices being limited to the vitamin K antagonists (VKAs). The situation is changing withExpand
  • 481
  • 40
POET: Parameterized Optimizations for Empirical Tuning
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observation motivates theExpand
  • 112
  • 11
Detecting code clones in binary executables
Large software projects contain significant code duplication, mainly due to copying and pasting code. Many techniques have been developed to identify duplicated code to enable applications such asExpand
  • 146
  • 9
A Source-to-Source Architecture for User-Defined Optimizations
We present an architecture for the specification of source-to-source transformations. New source code can be specified as source-fragments. The translation of source-fragments to the intermediateExpand
  • 145
  • 8
Communicating Software Architecture using a Unified Single-View Visualization
Software is among the most complex human artifacts, and visualization is widely acknowledged as important to understanding software. In this paper, we consider the problem of understanding a softwareExpand
  • 38
  • 6
Early Experiences with the OpenMP Accelerator Model
A recent trend in mainstream computer nodes is the combined use of general-purpose multicore processors and specialized accelerators such as GPUs and DSPs in order to achieve better performance andExpand
  • 71
  • 5
OVERTURE: An Object-Oriented Software System for Solving Partial Differential Equations in Serial and Parallel Environments
The OVERTURE Framework is an object-oriented environment for solving PDEs on serial and parallel architectures. It is a collection of C++ libraries that enables the use of finite difference andExpand
  • 74
  • 5
Run-time recognition of task parallelism within the P++ parallel array class library
This paper explores the use of a run-time system to recognize task parallelism within a C++ array class library. Run-time systems currently support data parallelism in P++, FORTRAN 90 D, and HighExpand
  • 29
  • 5
Symbolic Analysis of Concurrency Errors in OpenMP Programs
In this paper we present the OpenMP Analysis Toolkit (OAT), which uses Satisfiability Modulo Theories (SMT) solver based symbolic analysis to detect data races and deadlocks in OpenMP codes. OurExpand
  • 32
  • 4
The Backstroke framework for source level reverse computation applied to parallel discrete event simulation
We introduce Backstroke, a new open source framework for the automatic generation of reverse code for functions written in C++. Backstroke enables reverse computation for optimistic parallel discreteExpand
  • 25
  • 4