Search results for "COCV@ETAPS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer	Specify, Compile, Run: Hardware from PSL.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
1	Jan Olaf Blech, Arnd Poetzsch-Heffter	A Certifying Code Generation Phase.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
1	Geoff W. Hamilton	Distilling Programs for Verification.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
1	Ling Fang, Masataka Sassa	Generating Java Compiler Optimizers Using Bidirectional CTL.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001	On-the-Fly Data Flow Analysis Based on Verification Technology.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
1	Sabine Glesner, Jens Knoop, Rolf Drechsler	Preface.	COCV@ETAPS	2007	DBLP DOI BibTeX RDF
1	Sabine Glesner, Jens Knoop, Rolf Drechsler (eds.)	Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007	COCV@ETAPS	2007	DBLP BibTeX RDF
1	Jens Knoop, George C. Necula, Wolf Zimmermann (eds.)	Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2006, Vienna, Austria, April 2, 2006	COCV@ETAPS	2007	DBLP BibTeX RDF
1	Aditya Kanade, Amitabha Sanyal, Uday P. Khedker	Structuring Optimizing Transformations and Proving Them Sound.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	David Aspinall 0001, Lennart Beringer, Alberto Momigliano	Optimisation Validation.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Lennart Beringer	Functional Elimination of Phi-instructions.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Jens Knoop, George C. Necula, Wolf Zimmermann	Preface.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Yi Fang 0001, Lenore D. Zuck	Improved Invariant Generation for Tvoc.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Sabine Glesner, Johannes Leitner, Jan Olaf Blech	Coinductive Verification of Program Optimizations Using Similarity Relations.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Eric Van Wyk, Lijesh Krishnan	Using Verified Data-Flow Analysis-based Optimizations in Attribute Grammars.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Wolfram Amme, Marc-André Möller, Philipp Adler	Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations.	COCV@ETAPS	2006	DBLP DOI BibTeX RDF
1	Andreas Gal, Christian W. Probst, Michael Franz	Structural Encoding of Static Single Assignment Form.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling	Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Ying Hu 0003, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli	Validating More Loop Optimizations.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Jens Knoop, George C. Necula, Wolf Zimmermann	Preface.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Hans Langmaack	What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?: Auf Deutsch: Welche Art mathematischer Argumentation darf die Informatikwissenschaft einem Softwareimplementierer auf jeden Fall zumuten?	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Wolfram Amme, Jeffery von Ronne, Michael Franz	Quantifying the Benefits of SSA-Based Mobile Code.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Alexandru Salcianu, Konstantine Arkoudas	Machine-Checkable Correctness Proofs for Intra-procedural Dataflow Analyses.	COCV@ETAPS	2005	DBLP DOI BibTeX RDF
1	Jens Knoop, George C. Necula, Wolf Zimmermann (eds.)	Proceedings of the 3rd International Workshop on Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April 3, 2004	COCV@ETAPS	2005	DBLP BibTeX RDF
1	Jens Knoop, George C. Necula, Wolf Zimmermann (eds.)	Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2005, Edinburgh, UK, April 3, 2005	COCV@ETAPS	2005	DBLP BibTeX RDF
1	Benjamin Goldberg, Lenore D. Zuck, Clark W. Barrett	Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Sabine Glesner, Simone Forster, Matthias Jäger	A Program Result Checker for the Lexical Analysis of the GNU C Compiler.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Karsten Klohs, Uwe Kastens	Memory Requirements of Java Bytecode Verification on Limited Devices.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Arnd Poetzsch-Heffter, Marek Gawkowski	Towards Proof Generating Compilers.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Sabine Glesner	A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Sid Ahmed Ali Touati	On the Optimality of Register Saturation.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Jens Knoop, George C. Necula, Wolf Zimmermann	Preface.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Sorin Lerner, Todd D. Millstein, Craig Chambers	Cobalt: A Language for Writing Provably-Sound Compiler Optimizations.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	An Abstract Interpretation-based Approach to Mobile Code Safety.	COCV@ETAPS	2004	DBLP DOI BibTeX RDF
1	Jens Knoop, Wolf Zimmermann (eds.)	Compiler Optimization Meets Compiler Verification, COCV@ETAPS 2003, Warsaw, Poland, April 12, 2003	COCV@ETAPS	2004	DBLP BibTeX RDF
1	Sabine Glesner, Jan Olaf Blech	Classifying and Formally Verifying Integer Constant Folding.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Manuel M. T. Chakravarty, Gabriele Keller, Patryk Zadarnowski	A Functional Perspective on SSA Optimisation Algorithms.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Stefan Berghofer, Martin Strecker	Extracting a formally verified, fully executable compiler from a proof assistant.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Thomas Genet, Thomas P. Jensen, Vikash Kodati, David Pichardie	A Java Card CAP converter in PVS.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Christophe Alias, Denis Barthou	On the Recognition of Algorithm Templates.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Andreas Hartmann 0001, Wolfram Amme, Jeffery von Ronne, Michael Franz	Code Annotation for Safe and Efficient Dynamic Object Resolution.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Henning Dierks	Moby/RT: A Tool for Specification and Verification of Real-Time Systems.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Gerolf Hoflehner, Daniel M. Lavery, David C. Sehr	The compiler as a validation and evaluation tool.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Ernst-Rüdiger Olderog	Translation and Optimization in the Verification of Real-Time Systems.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Jens Knoop, Wolf Zimmermann	Preface.	COCV@ETAPS	2003	DBLP DOI BibTeX RDF
1	Thi Viet Nga Nguyen, François Irigoin	Alias verification for Fortran code optimization.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Clara Jaramillo, Rajiv Gupta 0001, Mary Lou Soffa	Debugging and Testing Optimizers through Comparison Checking.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Lenore D. Zuck, Amir Pnueli, Yi Fang 0001, Benjamin Goldberg	VOC: A Translation Validator for Optimizing Compilers.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Jens Knoop, Wolf Zimmermann	Preface.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Carl Christian Frederiksen	Correctness of Classical Compiler Optimizations using CTL.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens	Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Wolfgang Goerigk	Towards Acceptability of Optimizations: An Extended View of Compiler Correctness.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Sabine Glesner, Rubino Geiß, Boris Boesler	Verified Code Generation for Embedded Systems.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Gerhard Goos	Compiler Verification and Compiler Architecture.	COCV@ETAPS	2002	DBLP DOI BibTeX RDF
1	Jens Knoop, Wolf Zimmermann (eds.)	Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002	COCV@ETAPS	2002	DBLP BibTeX RDF

Publications at "COCV@ETAPS"( http://dblp.L3S.de/Venues/COCV@ETAPS )