Search results for "translation validation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jean-Baptiste Tristan, Xavier Leroy	A simple, verified validator for software pipelining.	POPL	2010	DBLP DOI BibTeX RDF	software pipelining, translation validation, verified compilers, symbolic evaluation
2	Michael Ryabtsev, Ofer Strichman	Translation Validation: From Simulink to C.	CAV	2009	DBLP DOI BibTeX RDF
2	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation
2	Jean-Baptiste Tristan, Xavier Leroy	Verified validation of lazy code motion.	PLDI	2009	DBLP DOI BibTeX RDF	lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
2	Andrei Voronkov, Iman Narasamdya	Inter-program Properties.	SAS	2009	DBLP DOI BibTeX RDF	assertion function, invariant, translation validation
2	Jean-Baptiste Tristan, Xavier Leroy	Formal verification of translation validators: a case study on instruction scheduling optimizations.	POPL	2008	DBLP DOI BibTeX RDF	the coq proof assistant, translation validation, scheduling optimizations, verified compilers
2	Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter	Translation Validation of System Abstractions.	RV	2007	DBLP DOI BibTeX RDF
2	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu	Translation and Run-Time Validation of Loop Transformations.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	reordering transformations, run-time validation, speculative optimizations, global optimizations, optimizing compilers, loop transformations, translation validation, verification conditions
2	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
2	Ying Hu, Clark W. Barrett, Benjamin Goldberg	Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations.	SEFM	2004	DBLP DOI BibTeX RDF	Compiler validation, speculative loop optimizations, formal methods, translation validation
2	Raya Leviathan, Amir Pnueli	Validating software pipelining optimizations.	CASES	2002	DBLP DOI BibTeX RDF	optimization, verification, compilers, pipeline processors, translation validation
2	George C. Necula	Translation validation for an optimizing compiler.	PLDI	2000	DBLP DOI BibTeX RDF
2	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From SIGNAL to C.	Correct System Design	1999	DBLP DOI BibTeX RDF
2	Amir Pnueli, Michael Siegel, Eli Singerman	Translation Validation.	TACAS	1998	DBLP DOI BibTeX RDF
2	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation for Synchronous Languages.	ICALP	1998	DBLP DOI BibTeX RDF
2	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From DC+ to C*.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett	Evaluating value-graph translation validation for LLVM.	PLDI	2011	DBLP DOI BibTeX RDF
1	Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta	Translation Validation of High-Level Synthesis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2010	DBLP DOI BibTeX RDF
1	Julio C. Peralta, Thierry Gautier, Loïc Besnard, Paul Le Guernic	LTSs for translation validation of (multi-clocked) SIGNAL specifications.	MEMOCODE	2010	DBLP DOI BibTeX RDF
1	Benjamin Goldberg	Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework - In Memory of Amir Pnueli.	SAS	2010	DBLP DOI BibTeX RDF
1	N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar	Can we certify systems for freedom from malware.	ICSE	2010	DBLP DOI BibTeX RDF
1	Ross Tate, Michael Stepp, Sorin Lerner	Generating compiler optimizations from proofs.	POPL	2010	DBLP DOI BibTeX RDF	proof generalization, compiler optimization, explanation-based learning
1	Mirko Conrad	Testing-based translation validation of generated code in the context of IEC 61508.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF
1	Ross Tate, Michael Stepp, Zachary Tatlock, Sorin Lerner	Equality saturation: a new approach to optimization.	POPL	2009	DBLP DOI BibTeX RDF	equality reasoning, compiler optimization, intermediate representation
1	Mirko Conrad	Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
1	Anna Zaks, Amir Pnueli	Program analysis for compiler validation.	PASTE	2008	DBLP DOI BibTeX RDF
1	Sudipta Kundu, Sorin Lerner, Rajesh Gupta	Validating High-Level Synthesis.	CAV	2008	DBLP DOI BibTeX RDF
1	Sudipta Kundu, Sorin Lerner, Rajesh Gupta	Automated refinement checking of concurrent systems.	ICCAD	2007	DBLP DOI BibTeX RDF
1	Guodong Li, Scott Owens, Konrad Slind	Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic.	ESOP	2007	DBLP DOI BibTeX RDF
1	Rohit N. Kundaji, R. K. Shyamasundar	Refinement calculus: A basis for translation validation, debugging and certification.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett	Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat	Term Translation Validation by Retrieving Bi-terms.	CLEF	2005	DBLP DOI BibTeX RDF
1	D. Pollmacher, W. Zimmermann, Hans-Michael Hanisch	Translation validation for model-based code-generators for PLCs.	ETFA	2005	DBLP DOI BibTeX RDF
1	Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck	TVOC: A Translation Validator for Optimizing Compilers.	CAV	2005	DBLP DOI BibTeX RDF
1	Iman Narasamdya, Andrei Voronkov	Finding Basic Block and Variable Correspondence.	SAS	2005	DBLP DOI BibTeX RDF
1	Krishnamani Kalyanasundaram, R. K. Shyamasundar	Formal verification of pipelined processors with precise exceptions.	MEMOCODE	2004	DBLP DOI BibTeX RDF
1	I. Gordin, Raya Leviathan, Amir Pnueli	Validating the Translation of an Industrial Optimizing Compiler.	ATVA	2004	DBLP DOI BibTeX RDF
1	Rohit N. Kundaji, R. K. Shyamasundar	Development of Semantic Debuggers Based on Refinement Calculus.	ICLP	2004	DBLP DOI BibTeX RDF
1	Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg	VOC: A Methodology for the Translation Validation of OptimizingCompilers.	J. UCS	2003	DBLP BibTeX RDF
1	Peter Lee	What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code.	TACAS	2003	DBLP DOI BibTeX RDF
1	A. K. Bhattacharjee, Gopa Sen, S. D. Dhodapkar, Kundapur Karunakar, Basant Rajan, R. K. Shyamasundar	A System for Object Code Validation.	FTRTFT	2000	DBLP DOI BibTeX RDF
1	Amir Pnueli, Ofer Strichman, Michael Siegel	The Code Validation Tool CVT: Automatic Verification of a Compilation Process.	STTT	1998	DBLP DOI BibTeX RDF	Code validation, BDD, Industrial application, Compiler verification, Translation validation