|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Emmanuelle Saillard, Marc Sergent, Célia Tassadit Ait Kaci, Denis Barthou |
Static Local Concurrency Errors Detection in MPI-RMA Programs.  |
Correctness@SC  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Schwitanski, Joachim Jenke, Felix Tomski, Christian Terboven, Matthias S. Müller |
On-the-Fly Data Race Detection for MPI RMA Programs with MUST. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Winson Chen, Tristan Vanderbruggen, Pei-Hung Lin, Chunhua Liao, Murali Emani |
Early Experience with Transformer-Based Similarity Analysis for DataRaceBench. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Demmel, Jack J. Dongarra, Mark Gates, Greg Henry, Julien Langou, Xiaoye S. Li, Piotr Luszczek, Weslley S. Pereira, E. Jason Riedy, Cindy Rubio-González |
Proposed Consistent Exception Handling for the BLAS and LAPACK. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar |
MiniKokkos: A Calculus of Portable Parallelism. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Lechen Yu, Feiyang Jin, Joachim Protze, Vivek Sarkar |
Leveraging the Dynamic Program Structure Tree to Detect Data Races in OpenMP Programs. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
Sixth IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2022, Dallas, TX, USA, November 13-18, 2022 |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Kellison, Mohit Tekriwal, Jean-Baptiste Jeannin, Geoffrey C. Hulette |
Towards Verified Rounding Error Analysis for Stationary Iterative Methods. |
Correctness@SC |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei-Hung Lin, Chunhua Liao |
High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench. |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Protze, Isabel Thärigen, Jonas Wahle |
Understanding the Performance of Dynamic Data Race Detection. |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. Bailey |
Finding large Poisson polynomials using four-level variable precision. |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Laurent, Emmanuelle Saillard, Martin Quinson |
The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation. |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
5th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2021, St. Louis, MO, USA, November 19, 2021 |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bradley Swain, Bozhen Liu, Peiming Liu, Yanze Li, Addison Crump, Rohan Khera, Jeff Huang 0001 |
OpenRace: An Open Source Framework for Statically Detecting Data Races. |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li 0006, Pavel Panchekha, Cindy Rubio-González, Zachary Tatlock |
Guarding Numerics Amidst Rising Heterogeneity. |
Correctness@SC |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel D. Pollard, Boyana Norris |
A Statistical Analysis of Error in MPI Reduction Operations. |
CORRECTNESS@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Müller |
Towards compiler-aided correctness checking of adjoint MPI applications. |
CORRECTNESS@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Van Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault |
PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. |
CORRECTNESS@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinu Joseph, Nithin Chalapathi, Aditya Bhaskara, Ganesh Gopalakrishnan, Pavel Panchekha, Mu Zhang 0001 |
Correctness-preserving Compression of Datasets and Neural Network Models. |
CORRECTNESS@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaurav Verma, Yaying Shi, Chunhua Liao, Barbara M. Chapman, Yonghong Yan 0001 |
Enhancing DataRaceBench for Evaluating Data Race Detection Tools. |
CORRECTNESS@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanessa Job, Terry Grové, Shane Fogerty, Christopher Mauney, Brett Neuman, Laura Monroe, Robert W. Robey |
Order Matters: A Case Study on Reducing Floating Point Error in Sums Via Ordering and Grouping. |
CORRECTNESS@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
4th IEEE/ACM International Workshop on Software Correctness for HPC Applications, Correctness@SC 2020, Atlanta, GA, USA, November 11, 2020 |
Correctness@SC |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei-Hung Lin, Chunhua Liao, Markus Schordan, Ian Karlin |
Exploring Regression of Data Race Detection Tools Using DataRaceBench. |
CORRECTNESS@SC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock |
Toward Multi-Precision, Multi-Format Numerics. |
CORRECTNESS@SC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan |
Tool Integration for Source-Level Mixed Precision. |
CORRECTNESS@SC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | François Févotte, Bruno Lathuilière |
Debugging and Optimization of HPC Programs with the Verrou Tool. |
CORRECTNESS@SC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel J. Milroy, Allison H. Baker, John M. Dennis, Andrew Gettelman |
Investigating the Impact of Mixed Precision on Correctness for a Large Climate Code. |
CORRECTNESS@SC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Dyer, Alper Altuntas, John W. Baugh Jr. |
Bounded Verification of Sparse Matrix Computations. |
CORRECTNESS@SC |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), Denver, CO, USA, November 18, 2019 |
CORRECTNESS@SC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy |
HPC Software Verification in Action: A Case Study with Tensor Transposition. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wonchan Lee, George Stelle, Patrick S. McCormick, Alex Aiken |
Correctness of Dynamic Dependence Analysis for Implicitly Parallel Tasking Systems. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Huchant, Emmanuelle Saillard, Denis Barthou, Hugo Brunie, Patrick Carribault |
PARCOACH Extension for a Full-Interprocedural Collectives Verification. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Hück, Jan-Patrick Lehr, Sebastian Kreutzer, Joachim Protze, Christian Terboven, Christian H. Bischof, Matthias S. Müller |
Compiler-aided Type Tracking for Correctness Checking of MPI Applications. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
2nd IEEE/ACM International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2018, Dallas, TX, USA, November 12, 2018 |
CORRECTNESS@SC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Noah Evans |
Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes? |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alper Altuntas, John W. Baugh Jr. |
Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bradley Swain, Jeff Huang 0001 |
Towards Incremental Static Race Detection in OpenMP Programs. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangke Ye, Markus Schordan, Chunhua Liao, Pei-Hung Lin, Ian Karlin, Vivek Sarkar |
Using Polyhedral Analysis to Verify OpenMP Applications are Data Race Free. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziqing Luo, Stephen F. Siegel |
Towards Deductive Verification of Message-Passing Parallel Programs. |
CORRECTNESS@SC |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Allison H. Baker, Daniel J. Milroy, Dorit M. Hammerling, Haiying Xu |
Quality Assurance and Error Identification for the Community Earth System Model. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon |
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Hückelheim, Ziqing Luo, Fabio Luporini, Navjot Kukreja, Michael Lange 0001, Gerard Gorman, Stephen F. Siegel, Matthew B. Dwyer, Paul D. Hovland |
Towards Self-Verification in Finite Difference Code Generation. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alper Altuntas, John W. Baugh Jr. |
Verifying Concurrency in an Adaptive Ocean Circulation Model. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | The Anh Pham 0001, Thierry Jéron, Martin Quinson |
Verifying MPI Applications with SimGridMC. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Lee 0003, Tze Meng Low |
A Family of Provably Correct Algorithms for Exact Triangle Counting. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Cindy Rubio-González (eds.) |
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017 |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Protze, Christian Terboven, Matthias S. Müller, Serge G. Petiton, Nahid Emad, Hitoshi Murai, Taisuke Boku |
Runtime Correctness Checking for Emerging Programming Paradigms. |
CORRECTNESS@SC |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license