Daniel J. Quinlan

According to our database1, Daniel J. Quinlan authored at least 81 papers between 1989 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Automatic translation of MPI source into a latency-tolerant, data-driven form.
J. Parallel Distributed Comput., 2017

Directive-based tile abstraction to distribute loops on accelerators.
Proceedings of the General Purpose GPUs, 2017

2016
Lightweight runtime checking of C programs with RTC.
Comput. Lang. Syst. Struct., 2016

Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application.
Proceedings of the 2016 annual ACM Conference on SIGSIM Principles of Advanced Discrete Simulation, 2016

Automatically Optimizing Stencil Computations on Many-Core NUMA Architectures.
Proceedings of the Languages and Compilers for Parallel Computing, 2016

Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution.
Proceedings of the Euro-Par 2016: Parallel Processing Workshops, 2016

2015
HBTM: A Heartbeat-based Behavior Detection Mechanism for POSIX Threads and OpenMP Applications.
CoRR, 2015

Enhancing domain specific language implementations through ontology.
Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, 2015

Runtime checking C programs.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Reverse Code Generation for Parallel Discrete Event Simulation.
Proceedings of the Reversible Computation - 7th International Conference, 2015

Supporting multiple accelerators in high-level programming models.
Proceedings of the Sixth International Workshop on Programming Models and Applications for Multicores and Manycores, 2015

Experiences of Using the OpenMP Accelerator Model to Port DOE Stencil Applications.
Proceedings of the OpenMP: Heterogenous Execution and Data Movements, 2015

2014
Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

An Automated Performance-Aware Approach to Reliability Transformations.
Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

2013
ForOpenCL: transformations exploiting array syntax in Fortran for accelerator programming.
Int. J. Comput. Sci. Eng., 2013

Early Experiences with the OpenMP Accelerator Model.
Proceedings of the OpenMP in the Era of Low Power Devices and Accelerators, 2013

Symbolic Analysis of Concurrency Errors in OpenMP Programs.
Proceedings of the 42nd International Conference on Parallel Processing, 2013

2012
Graphical processing units and scientific applications.
Int. J. High Perform. Comput. Appl., 2012

Synthesizing Loops for Program Inversion.
Proceedings of the Reversible Computation, 4th International Workshop, 2012

Auto-scoping for OpenMP Tasks.
Proceedings of the OpenMP in a Heterogeneous World - 8th International Workshop on OpenMP, 2012

An OpenMP Analyzer for Detecting Concurrency Errors.
Proceedings of the 41st International Conference on Parallel Processing Workshops, 2012

ROSE: : FTTransform - A source-to-source translation framework for exascale fault-tolerance research.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

Studying the impact of application-level optimizations on the power consumption of multi-core architectures.
Proceedings of the Computing Frontiers Conference, CF'12, 2012

A New Method for Program Inversion.
Proceedings of the Compiler Construction - 21st International Conference, 2012

2011
Auto-tuning full applications: A case study.
Int. J. High Perform. Comput. Appl., 2011

Rethinking Hardware-Software Codesign for Exascale Systems.
Computer, 2011

The Backstroke framework for source level reverse computation applied to parallel discrete event simulation.
Proceedings of the Winter Simulation Conference 2011, 2011

2010
Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions.
Int. J. Parallel Program., 2010

Transforming MPI source code based on communication patterns.
Future Gener. Comput. Syst., 2010

A symbolic verifier for CUDA programs.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

A ROSE-Based OpenMP 3.0 Research Compiler Supporting Multiple Runtime Libraries.
Proceedings of the Beyond Loop Level Parallelism in OpenMP: Accelerators, 2010

Exploitation of Dynamic Communication Patterns through Static Analysis.
Proceedings of the 39th International Conference on Parallel Processing, 2010

Discovery of C++ data structures from binaries.
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

2009
Effective Source-to-Source Outlining to Support Whole Program Empirical Optimization.
Proceedings of the Languages and Compilers for Parallel Computing, 2009

Static Validation of C Preprocessor Macros.
Proceedings of the ASE 2009, 2009

Extending Automatic Parallelization to Optimize High-Level Abstractions for Multicore.
Proceedings of the Evolving OpenMP in an Age of Extreme Parallelism, 2009

Detecting code clones in binary executables.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Reusable, generic program analyses and transformations.
Proceedings of the Generative Programming and Component Engineering, 2009

Source code and binary analysis of software defects.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

2008
A projection-based optimization framework for abstractions with application to the unstructured mesh domain.
Proceedings of the 22nd Annual International Conference on Supercomputing, 2008

Detecting Patterns in MPI Communication Traces.
Proceedings of the 2008 International Conference on Parallel Processing, 2008

Using MPI Communication Patterns to Guide Source Code Transformations.
Proceedings of the Computational Science, 2008

Towards Distributed Memory Parallel Program Analysis.
Proceedings of the Scalable Program Analysis, 13.04. - 18.04.2008, 2008

2007
Techniques for specifying bug patterns.
Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007

POET: Parameterized Optimizations for Empirical Tuning.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Communicating Software Architecture using a Unified Single-View Visualization.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006
Improving distributed memory applications testing by message perturbation.
Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Annotating user-defined abstractions for optimization.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Topic 9: Parallel Programming: Models, Methods and Languages.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006

2005
Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Improving the computational intensity of unstructured mesh applications.
Proceedings of the 19th Annual International Conference on Supercomputing, 2005

An Extensible Open-Source Compiler Infrastructure for Testing.
Proceedings of the Hardware and Software Verification and Testing, 2005

2004
Asynchronous Fast Adaptive Composite-Grid Methods for Elliptic Problems: Theoretical Foundations.
SIAM J. Numer. Anal., 2004

Parallel object-oriented framework optimization.
Concurr. Comput. Pract. Exp., 2004

Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics.
Proceedings of the Languages and Compilers for High Performance Computing, 2004

Classification and Utilization of Abstractions for Optimization.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Topic 10: Parallel Programming: Models, Methods and Programming Languages.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
Asynchronous Fast Adaptive Composite-Grid Methods: Numerical Results.
SIAM J. Sci. Comput., 2003

A C++ Infrastructure for Automatic Introduction and Translation of OpenMP Directives.
Proceedings of the OpenMP Shared Memory Parallel Programming, 2003

Semantic-Driven Parallelization of Loops Operating on User-Defined Containers.
Proceedings of the Languages and Compilers for Parallel Computing, 2003

A Source-to-Source Architecture for User-Defined Optimizations.
Proceedings of the Modular Programming Languages, Joint Modular Languages Conference, 2003

2002
Treating a User-Defined Parallel Library as a Domain-Specific Language.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

2001
The Specification of Source-to-Source Transformations for the Compile-Time Optimization of Parallel Object-Oriented Scientific Applications.
Proceedings of the Languages and Compilers for Parallel Computing, 2001

2000
ROSE: Compiler Support for Object-Oriented Frameworks.
Parallel Process. Lett., 2000

1999
Parallel Adaptive Mesh Refinement for Elliptic Equations.
Proceedings of the Ninth SIAM Conference on Parallel Processing for Scientific Computing, 1999

<i>Overture</i>: Object-Oriented Tools for Applications with Complex Geometry.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1999

Improving Cache Utilization of Linear Relaxation Methods: Theory and Practice.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1999

1998
OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing.
Proceedings of the ACM/IEEE Conference on Supercomputing, 1998

Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

C++ Expression Templates Performance Issues in Scientific Computing.
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998

The Parallel Asynchronous Data Routing Environment PADRE.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

ROSE: An Optimizing Transformation System for C++ Array-Class Libraries.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial and Parallel Environments.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997
MLB: Multilevel Load Balancing for Structured Grid Applications.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

OVERTURE: An Object-Oriented Software System for Solving Partial Differential Equations in Serial and Parallel Environments.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Parallel Object-Oriented Adaptive Mesh Refinement.
Proceedings of the Eighth SIAM Conference on Parallel Processing for Scientific Computing, 1997

Overture: An Object-Oriented Framework for Solving Partial Differential Equations.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks.
Proceedings of the Scientific Computing in Object-Oriented Parallel Environments, 1997

1992
P++, a Parallel C++ Array Class Library for Architecture-Independent Development of Structured Grid Applications.
Proceedings of the 2nd SIGPLAN Workshop on Languages, Compilers, and Run-Time Environments for Distributed Memory Multiprocessors, Boulder, Colorado, September 30, 1992

P++, a C++ Virtual Shared Grids Based Programming Environment for Architecture-Independent Development of Structured Grid Applications.
Proceedings of the Parallel Processing: CONPAR 92, 1992

1989
Asynchronous multilevel adaptive methods for solving partial differential equations on multiprocessors: performance results.
Parallel Comput., 1989


  Loading...