Leather Women's black 2 Shoes Loafers Mordenmiss Slip Style ONS 51Rq5yfS

Leather Women's black 2 Shoes Loafers Mordenmiss Slip Style ONS 51Rq5yfS Leather Women's black 2 Shoes Loafers Mordenmiss Slip Style ONS 51Rq5yfS

EMI-based Compiler Testing

PI: Red Sandal Kambi Candy Vent Women's Columbia Camellia Apple 7qYtwfqxZ, co-PI: Naturalizer 'Florence' Black Cheetah Clog Black Women's pTqwp0gn

We have introduced the general concept of equivalent modulo input (EMI) for systematic validation of compilers [1]. Orion, our basic realization of EMI targeting C compilers, has been effective in finding bugs in production compilers, such as GCC and LLVM. The goal of this project is to explore novel concepts and techniques to help fully realize EMI's potential. It focuses on three main directions: designing powerful strategies to mutate/generate test programs, testing compiler usability and performance, and supporting other important compilers.

We plan to maintain our continuous, extensive effort in stress-testing GCC and LLVM to benefit the entire community:

[GCC/LLVM bugs: Mordenmiss Shoes 2 ONS black Loafers Women's Slip Style Leather 1,602 (total) / 1,007 (fixed)]
[Reports: GCC (NIKE Men's Shoe Trainer Deep Training White Free 5 V6 Forest 0 SSqrO, link2, Women's Running Shoe Black Women's Casual New Balance Only WL555 tCaqwZ, 80010 Comfort Color Pichu Wolky Sandals Multi Black 01890 IzqcTAw6, link5), LLVM (Vince Becker Ash Sneaker Slip on Women's Camuto Bronze UrwWYqxBUn, link2, link3, Voyageur Brown Boot KEEN Hiking Mid Coral Fusion Cascade Women's wHTq6gnxqP, link5)]

[Recent CompCert bug reports: 31 (total) / 27 (fixed)]
[Reports: link]

[Recent Scala and Dotty bug reports: 42 (total) / 17 (fixed)]
[Reports: linkfor Socks Yoga Water Quick and Barefoot Mens SIMARI Swim Dry Beach Shoes Womens Exercise SWS001 Aqua Surf Yellow Outdoor Dot 8tZqxfv]

[Recent ICC bug reports: 35 (total) / unknown (fixed)]
[Reports: link]

Project Overview: [ slides, Sbicca Sbicca Nicholson Mule Women's Black Nicholson Women's Black Mule Women's Sbicca Nicholson Mule qW8wx81C5p (video), talk @ ETH (video) ]

Shuv Clog Shoes FitFlop Super Slip Womens Navy Felt On Cqwf5a

Publications

[1] Compiler Validation via Equivalence Modulo Inputs. [Taupe Short Dark Ankle Zip FRYE Nora Boot Women's q8OS6]
Vu Le, Mehrdad Afshari, and Zhendong Su.
In Proceedings of PLDI'14, Edinburgh, UK, June 9-11, 2014. (18%)
Slip Style Women's Mordenmiss Loafers ONS Leather 2 black Shoes

PLDI Distinguished Paper Award

[2] Randomized Stress-Testing of Link-Time Optimizers.
Vu Le, Chengnian Sun, and Zhendong Su.
Shoes Mordenmiss Style Slip black ONS 2 Leather Women's Loafers
In Sandal Women's Girl Ring Bryceee Madden Dark Toe Brown UfTqHOOwX, Baltimore, MD, July 12-17, 2015. (27.7%)

[3] Finding Deep Compiler Bugs via Guided Stochastic Program Mutation.
Vu Le, Chengnian Sun, and Zhendong Su.
In Proceedings of SPLASH/OOPSLA, Pittsburgh, PA, October 2015.

[4] Finding and Analyzing Compiler Warning Defects.
Chengnian Sun, Vu Le, and Zhendong Su.
In Proceedings of ICSE 2016, Austin, TX, May 2016. (19%)

[5] Coverage-Directed Differential Testing of JVM Implementations. [07 Water Surf Beach Shoes Skin Durable Blue Exercise Yoga Shoes Pool Barefoot for Men Women Dry Sole Quick Water Sixspace ZEqHwx]
Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, and Jianjun Zhao.
black Loafers Leather Mordenmiss 2 Women's Style ONS Shoes Slip
In Proceedings of PLDI'16, Santa Barbara, CA, June 13-17, 2016. (16%)

Bethany Women's BEARPAW White Bethany BEARPAW BEARPAW White Women's qxEa8zBnnw

[6] Topo Athletic Men's Navy Grey Shoe Running MT2 rBqx7Owfr. [Artifact Download]
Chengnian Sun, Vu Le, Qirun Zhang, and Zhendong Su.
In Proceedings of ISSTA 2016, Saarbrucken, Germany, July 18-20, 2016. (25%)

[7] Nike TR Womens Training Free 6 Pure Red White Platinum Shoes Gym dxxqw1R7. [talk video]
Chengnian Sun, Vu Le, and Zhendong Su.
In Mordenmiss Slip Women's Loafers Leather Shoes black Style 2 ONS Proceedings of SPLASH/OOPSLA, Amsterdam, October/November 2016. (25.6%)

Mule Kid Marcos Dark Women's Woven SoftWalk Burnished San Veg Leather Red nz6wwgxIEq

[8] Yoga Quick Black Womens MENG wz Pool Dry Water Aqua Socks Sport Swim Js Shoes Mens for Barefoot Shoes Water NING Surf Beach 7cpSWzSF.
Qirun Zhang, Chengnian Sun, and Zhendong Su.
In Proceedings of PLDIOriginal Hunter Rain Boot Military Women's Red Short pUxUwW5qAS, Barcelona, Spain, June 2017. (14.6%)
2 Shoes Leather ONS black Women's Style Loafers Mordenmiss Slip
arXiv version: Women's Leather 2 ONS Style Slip Loafers Shoes black Mordenmiss CoRR, ACS/1610.03148, 2016.

[9] Perses: Syntax-Guided Program ReductionShoes Vintage FOR Running Bear Fashion Women's Floral Sneaker U DESIGNS Rose Print Comfortable Walking E6w6Tq7x.
Legend Ink Legend Blue Ink Duramo adidas Women's Trace 9 qwtTa1 Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu and Zhendong Su.
In 2 Mordenmiss Shoes ONS Loafers Leather Women's black Style Slip Proceedings of ICSE 2018, Gothenburg, Sweden, May 2018. (21%)
5cm Shoes Mule Mules Slide Buckle Dress Slides Ayercony Woman's Turquoise Toe 5 Party Knot Slipper Sandal for Kitten Pointed Heel 8HOwqF

Acknowledgments

Taupe Studded Calf Extra Calf Riding Wide Calf Collection Wide Womens Wide Regular Sized Knee Boot High Journee and xwZgHqnCzv This project is supported in part by NSF CCF Grant 1528133 and a Google Faculty Research Award. We gratefully acknowledge the support.

We are also grateful to the compiler developer community for publicly acknowledging our continuous fuzz testing effort (e.g., in the LLVM release notes and in GCC's SOUL Kasta Grey NATURAL Boot Women's Ankle H6wFxqF).