PDF-Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr PDF document

utahedu Abstract Compilers should be correct To improve the quality of C compilers we created Csmith a randomized testcase generation tool and spent three years

Upload by yoshiko-marsland
Published on 2014-12-12

Presentation Embed Code

<iframe width="560" height="315" src="https://www.docslides.com/embed/23024" frameborder="0" allowfullscreen></iframe>

Download Presentation

Download Presentation The PPT/PDF document "Finding and Understanding Bugs in C Comp..." is the property of its rightful owner. Permission is granted to download and print the materials on this web site for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr: Transcript

PDF-Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr PDF document

Presentation Embed Code

Download Presentation

Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr: Transcript

Related Contents

Nuno Lopes Joint work with David Menendez, Santosh Nagarakatte, John Regehr,

Compressed Sensing in

Hierarchical Cache Coherence Protocol erication One Le el at ime Through AssumeGuarantee

Hierarchical Cache Coherence Protocol erication One Le el at ime Through AssumeGuarantee

Pengetahuan Bahan Agroindustri

Saliency Detection via Absorbing Markov Chain Bowen Jiang Lihe Zhang Huchuan Lu Chuan

CS 5780 School of Computing University of Utah Synchronizing SW w/ I/O

A Comparative Study of Discretization Methods for NaiveBayes Classiers Ying Yang Georey

Functional Correctness Proofs of Encryption Algorithms Jianjun Duan Joe Hurd Guodong

Restoring Sensibility

TEMA, IDE, SINOPSIS

Finding Progression Stages in Timeevolving Event Sequences Jaewon Yang Julian McAuley

Learning Finegrained Image Similarity with Deep Ranking Jiang Wang Yang Song Thomas Leung

Consumer Insight