Search results for "s-correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	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
60	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
60	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
60	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
60	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
60	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
48	Fernando Ferri, Elaheh Pourabbas, Maurizio Rafanelli	The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL.	SAC	2002	DBLP DOI BibTeX RDF	pictorial query languages, syntactic correctness, geographic data, semantic correctness
48	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
48	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
48	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
48	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
48	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
48	Feiyang Jin, John Jacobson, Samuel D. Pollard, Vivek Sarkar	MiniKokkos: A Calculus of Portable Parallelism.	Correctness@SC	2022	DBLP DOI BibTeX RDF
48	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
48	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
48	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
48	Pei-Hung Lin, Chunhua Liao	High-Precision Evaluation of Both Static and Dynamic Tools using DataRaceBench.	Correctness@SC	2021	DBLP DOI BibTeX RDF
48	Joachim Protze, Isabel Thärigen, Jonas Wahle	Understanding the Performance of Dynamic Data Race Detection.	Correctness@SC	2021	DBLP DOI BibTeX RDF
48	David H. Bailey	Finding large Poisson polynomials using four-level variable precision.	Correctness@SC	2021	DBLP DOI BibTeX RDF
48	Mathieu Laurent, Emmanuelle Saillard, Martin Quinson	The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation.	Correctness@SC	2021	DBLP DOI BibTeX RDF
48	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
48	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
48	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
48	Samuel D. Pollard, Boyana Norris	A Statistical Analysis of Error in MPI Reduction Operations.	CORRECTNESS@SC	2020	DBLP DOI BibTeX RDF
48	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
48	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
48	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
48	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
48	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
48	David Thien, Bill Zorn, Pavel Panchekha, Zachary Tatlock	Toward Multi-Precision, Multi-Format Numerics.	CORRECTNESS@SC	2019	DBLP DOI BibTeX RDF
48	Michael O. Lam, Tristan Vanderbruggen, Harshitha Menon, Markus Schordan	Tool Integration for Source-Level Mixed Precision.	CORRECTNESS@SC	2019	DBLP DOI BibTeX RDF
48	François Févotte, Bruno Lathuilière	Debugging and Optimization of HPC Programs with the Verrou Tool.	CORRECTNESS@SC	2019	DBLP DOI BibTeX RDF
48	Tristan Dyer, Alper Altuntas, John W. Baugh Jr.	Bounded Verification of Sparse Matrix Computations.	CORRECTNESS@SC	2019	DBLP DOI BibTeX RDF
48	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
48	Erdal Mutlu, Ajay Panyala, Sriram Krishnamoorthy	HPC Software Verification in Action: A Case Study with Tensor Transposition.	CORRECTNESS@SC	2018	DBLP DOI BibTeX RDF
48	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
48	Noah Evans	Verifying Qthreads: Is Model Checking Viable for User Level Tasking Runtimes?	CORRECTNESS@SC	2018	DBLP DOI BibTeX RDF
48	Alper Altuntas, John W. Baugh Jr.	Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software.	CORRECTNESS@SC	2018	DBLP DOI BibTeX RDF
48	Bradley Swain, Jeff Huang 0001	Towards Incremental Static Race Detection in OpenMP Programs.	CORRECTNESS@SC	2018	DBLP DOI BibTeX RDF
48	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
48	Ziqing Luo, Stephen F. Siegel	Towards Deductive Verification of Message-Passing Parallel Programs.	CORRECTNESS@SC	2018	DBLP DOI BibTeX RDF
48	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
48	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
48	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
48	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
48	Alper Altuntas, John W. Baugh Jr.	Verifying Concurrency in an Adaptive Ocean Circulation Model.	CORRECTNESS@SC	2017	DBLP DOI BibTeX RDF
48	The Anh Pham 0001, Thierry Jéron, Martin Quinson	Verifying MPI Applications with SimGridMC.	CORRECTNESS@SC	2017	DBLP DOI BibTeX RDF
48	Matthew Lee 0003, Tze Meng Low	A Family of Provably Correct Algorithms for Exact Triangle Counting.	CORRECTNESS@SC	2017	DBLP DOI BibTeX RDF
47	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
46	Panagiotis Manolios	Correctness of Pipelined Machines.	FMCAD	2000	DBLP DOI BibTeX RDF
46	Susan L. Gerhart	Correctness-Preserving Program Transformations.	POPL	1975	DBLP DOI BibTeX RDF
43	Sandeep S. Kulkarni, Karun N. Biyani	Correctness of Component-Based Adaptation.	CBSE	2004	DBLP DOI BibTeX RDF	Verification, Correctness, Dynamic Adaptation
40	Henri B. Weinberg, Nancy A. Lynch	Correctness of vehicle control systems-a case study.	RTSS	1996	DBLP DOI BibTeX RDF	vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification
40	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Memory models for open-nested transactions.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
39	Jinpeng Huai, Ting Deng, Xianxian Li, Zongxia Du, Huipeng Guo	AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	correctness constraints, L* algorithm, synthesis, composite service, business protocol
39	Linh Thao Ly, Stefanie Rinderle, Peter Dadam	Semantic Correctness in Adaptive Process Management Systems.	Business Process Management	2006	DBLP DOI BibTeX RDF	Semantic Process Verification, Adaptive Process Management Systems, Semantic Constraints, Semantic Correctness
39	Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	Semantic Conditions for Correctness at Different Isolation Levels.	ICDE	2000	DBLP DOI BibTeX RDF	Serializability, Semantic Correctness, Isolation Levels
39	Zachary Tatlock, Sorin Lerner	Bringing extensibility to verified compilers.	PLDI	2010	DBLP DOI BibTeX RDF	compiler optimization, correctness, extensibility
39	David F. Bacon, Yiling Chen 0001, David C. Parkes, Malvika Rao	A market-based approach to software evolution.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	software correctness, mechanism design, markets
39	James F. Davis	The affordable application of formal methods to software engineering.	SIGAda	2005	DBLP DOI BibTeX RDF	trust, correctness, proven, engineering, formal
38	Alok Garg, Michael C. Huang 0001	A performance-correctness explicitly-decoupled architecture.	MICRO	2008	DBLP DOI BibTeX RDF
38	Joonhyuk Yoo, Manoj Franklin	Prioritizing verification via value-based correctness criticality.	ICCD	2007	DBLP DOI BibTeX RDF
38	David Sands 0001	Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996))	POPL	1995	DBLP DOI BibTeX RDF
37	Wei Song 0003, Xiaoxing Ma, S. C. Cheung 0001, Hao Hu 0001, Jian Lu 0001	Preserving Data Flow Correctness in Process Adaptation.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Data Flow Correctness, BPEL, Correctness-by-Construction, Process Adaptation
36	Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Cornelis Huizing, Ron Koymans, Ruurd Kuiper 0001	A Small Step for Mankind.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	E. Allen Emerson	Meanings of Model Checking.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Dave Clarke 0001, Einar Broch Johnsen, Olaf Owe	Concurrent Objects à la Carte.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Dines Bjørner, Asger Eir	Compositionality: Ontology and Mereology of Domains.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Peter van Emde Boas	Playing Savitch and Cooking Games.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Proving the Refuted: Symbolic Model Checkers as Proof Generators.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Jan Peleska 0001	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Hans Langmaack	On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Ansgar Fehnker, Ralf Huuck, Sean Seefried	Counterexample Guided Path Reduction for Static Program Analysis.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Ernst-Rüdiger Olderog, Andreas Podelski	Explicit Fair Scheduling for Dynamic Control.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Kai Engelhardt, Ralf Huuck	Smaller Abstractions for FOR ALL CTL* without Next.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Jozef Hooman, Marcel Verhoef	Formal Semantics of a VDM Extension for Distributed Embedded Systems.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Leslie Lamport	Computer Science and State Machines.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech	Automated Proofs for Asymmetric Encryption.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Shivali Agarwal, R. K. Shyamasundar	A Proof System for a PGAS Language.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	David Harel, Amir Kantor, Shahar Maoz	On the Power of Play-Out for Scenario-Based Programs.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
36	Antony L. Hosking, Ali-Reza Adl-Tabatabai (eds.)	Proceedings of the 2006 workshop on Memory System Performance and Correctness, San Jose, California, USA, October 11, 2006	Memory System Performance and Correctness	2006	DBLP BibTeX RDF
36	Shoaib Kamil 0001, Kaushik Datta, Samuel Williams 0001, Leonid Oliker, John Shalf, Katherine A. Yelick	Implicit and explicit optimizations for stencil computations.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
36	Lei Jin 0002, Hyunjin Lee, Sangyeun Cho	A flexible data to L2 cache mapping approach for future multicore processors.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	non-uniform cache architecture (NUCA), page allocation
36	Mojtaba Mehrara, Todd M. Austin	Reliability-aware data placement for partial memory protection in embedded processors.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	memory lifetime, partial memory protection, selective data placement, embedded systems, soft errors
36	Benjamin Hindman, Dan Grossman	Atomicity via source-to-source translation.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	Java, transactional memory, concurrent programming, atomicity
36	Melissa E. O'Neill, F. Warren Burton	Smarter garbage collection with simplifiers.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	lightweight daemon, simplifier, weak pointer, finalizer
36	Dan Grossman, Jeremy Manson, William W. Pugh	What do high-level memory models mean for transactions?	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
36	Jinzhan Peng, Guei-Yuan Lueh, Gansha Wu, Xiaogang Gou, Ryan N. Rakvic	A comprehensive study of hardware/software approaches to improve TLB performance for java applications on embedded systems.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	TLB performance, Java, embedded system
36	Michael D. Adams 0001, David S. Wise	Seven at one stroke: results from a cache-oblivious paradigm for scalable matrix algorithms.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	Morton-hybrid, parallel processing, paging, quadtrees, Cholesky factorization, cache misses, TLB
36	Gregory Buehrer, Yen-Kuang Chen, Srinivasan Parthasarathy 0001, Anthony D. Nguyen, Amol Ghoting, Daehyun Kim 0001	Efficient pattern mining on shared memory systems: implications for chip multiprocessor architectures.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
36	David A. Wood 0001	Keynote talk challenges in chip multiprocessor memory systems.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
36	Mark Aiken, Manuel Fähndrich, Chris Hawblitzel, Galen C. Hunt, James R. Larus	Deconstructing process isolation.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	hardware isolated process (HIP), hardware protection domain, software isolated process (SIP), singularity
35	Rachid Guerraoui, Michal Kapalka	On the correctness of transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	model, lower bound, transactional memory, correctness
35	Kamel Adi, Liviu Pene	Secrecy Correctness for Security Protocols.	DFMA	2005	DBLP DOI BibTeX RDF	Protocol Correctness, Security Protocols, Formal Analysis, Secrecy
35	Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones	A framework for superscalar microprocessor correctness statements.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Microprocessor correctness, Commuting diagrams, Formal verification, Pipelines