Daniel J. Quinlan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
17
Active years
1998–2017
Best venue rank
B
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | PPoPP | Directive-based tile abstraction to distribute loops on accelerators. | Tristan Vanderbruggen, John Cavazos, Chunhua Liao, Daniel J. Quinlan |
| 2016 | EuroPar | Pragma-Controlled Source-to-Source Code Transformations for Robust Application Execution. | Pedro C. Diniz, Chunhua Liao, Daniel J. Quinlan, Robert F. Lucas |
| 2016 | PADS | Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application. | Markus Schordan, Tomas Oppelstrup, David R. Jefferson, Peter D. Barnes Jr., Daniel J. Quinlan |
| 2015 | PPoPP | Supporting multiple accelerators in high-level programming models. | Yonghong Yan, Pei-Hung Lin, Chunhua Liao, Bronis R. de Supinski, Daniel J. Quinlan |
| 2015 | RC | Reverse Code Generation for Parallel Discrete Event Simulation. | Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan |
| 2015 | SAC | Runtime checking C programs. | Reed Milewicz, Rajeshwar Vanka, James Tuck, Daniel J. Quinlan, Peter Pirkelbauer |
| 2015 | SC | Enhancing domain specific language implementations through ontology. | Chunhua Liao, Pei-Hung Lin, Daniel J. Quinlan, Yue Zhao, Xipeng Shen |
| 2014 | EuroPar | An Automated Performance-Aware Approach to Reliability Transformations. | Jacob Lidman, Sally A. McKee, Daniel J. Quinlan, Chunhua Liao |
| 2014 | ISoLA | Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations. | Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Nol Pouchet |
| 2013 | ICPP | Symbolic Analysis of Concurrency Errors in OpenMP Programs. | Hongyi Ma, Steve Diersen, Liqiang Wang, Chunhua Liao, Daniel J. Quinlan, Zijiang Yang |
| 2012 | CC | A New Method for Program Inversion. | Cong Hou, George Vulov, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
| 2012 | DSN | ROSE: : FTTransform - A source-to-source translation framework for exascale fault-tolerance research. | Jacob Lidman, Daniel J. Quinlan, Chunhua Liao, Sally A. McKee |
| 2012 | RC | Synthesizing Loops for Program Inversion. | Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc |
| 2011 | WSC | The Backstroke framework for source level reverse computation applied to parallel discrete event simulation. | George Vulov, Cong Hou, Richard W. Vuduc, Richard Fujimoto, Daniel J. Quinlan, David R. Jefferson |
| 2010 | ICPP | Exploitation of Dynamic Communication Patterns through Static Analysis. | Robert Preissl, Bronis R. de Supinski, Martin Schulz, Daniel J. Quinlan, Dieter Kranzlmller, Thomas Panas |
| 2010 | PPoPP | A symbolic verifier for CUDA programs. | Guodong Li, Ganesh Gopalakrishnan, Robert M. Kirby, Daniel J. Quinlan |
| 2009 | GPCE | Reusable, generic program analyses and transformations. | Jeremiah Willcock, Andrew Lumsdaine, Daniel J. Quinlan |
| 2009 | ISSTA | Detecting code clones in binary executables. | Andreas Sbjrnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su |
| 2008 | ICCS | Using MPI Communication Patterns to Guide Source Code Transformations. | Robert Preissl, Martin Schulz, Dieter Kranzlmller, Bronis R. de Supinski, Daniel J. Quinlan |
| 2008 | ICPP | Detecting Patterns in MPI Communication Traces. | Robert Preissl, Thomas Kckerbauer, Martin Schulz, Dieter Kranzlmller, Bronis R. de Supinski, Daniel J. Quinlan |
| 2008 | ICS | A projection-based optimization framework for abstractions with application to the unstructured mesh domain. | Brian S. White, Sally A. McKee, Daniel J. Quinlan |
| 2007 | ICECCS | Communicating Software Architecture using a Unified Single-View Visualization. | Thomas Panas, Thomas Epperly, Daniel J. Quinlan, Andreas Sbjrnsen, Richard W. Vuduc |
| 2007 | ISSTA | Techniques for specifying bug patterns. | Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi |
| 2006 | EuroPar | Topic 9: Parallel Programming: Models, Methods and Languages. | Jos C. Cunha, Sergei Gorlatch, Daniel J. Quinlan, Peter H. Welch |
| 2006 | ISSTA | Improving distributed memory applications testing by message perturbation. | Richard W. Vuduc, Martin Schulz, Daniel J. Quinlan, Bronis R. de Supinski, Andreas Sbjrnsen |
| 2005 | ICS | Improving the computational intensity of unstructured mesh applications. | Brian S. White, Sally A. McKee, Bronis R. de Supinski, Brian Miller, Daniel J. Quinlan, Martin Schulz |
| 2005 | SCAM | Specifying Transformation Sequences as Computation on Program Fragments with an Abstract Attribute Grammar. | Markus Schordan, Daniel J. Quinlan |
| 2004 | EuroPar | Topic 10: Parallel Programming: Models, Methods and Programming Languages. | Paul H. J. Kelly, Sergei Gorlatch, Christoph W. Kessler, Daniel J. Quinlan |
| 2004 | ISoLA | Classification and Utilization of Abstractions for Optimization. | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sbjrnsen |
| 2004 | ISoLA | Classification and Utilization of Abstractions for Optimization. | Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sbjrnsen |
| 1998 | SC | OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing. | Federico Bassetti, David L. Brown, Kei Davis, William D. Henshaw, Daniel J. Quinlan |