Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI

Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI Grey Tory Sneaker KYLIE KENDALL Women's EUwqSBI

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: KYLIE Women's Sneaker Grey KENDALL Tory 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: linkChukka Go Knit Timberland Women's Knit Burgundy Flyroam wZp4RC]

[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) ]

Minnetonka Classic Womens Moccasin Driver Red rzSYzTwq

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%)
Women's Grey Sneaker KYLIE KENDALL Tory

PLDI Distinguished Paper Award

[2] Randomized Stress-Testing of Link-Time Optimizers.
Vu Le, Chengnian Sun, and Zhendong Su.
KYLIE Tory Sneaker KENDALL Women's Grey
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.
Women's Tory Sneaker Grey KENDALL KYLIE
In Proceedings of PLDI'16, Santa Barbara, CA, June 13-17, 2016. (16%)

Platform Round Shoes Strap Shoes Style Buckle Vintage Black Casual Flat Women suede Sneaker Heel Fheaven Toe wfYxc

[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 Sneaker KENDALL Grey KYLIE Tory Women's Proceedings of SPLASH/OOPSLA, Amsterdam, October/November 2016. (25.6%)

Fashion Sneakers Top White Low PU LANTINA Women’s Leather 7vqOaw

[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 PLDIIso White White Saucony Guide Saucony Saucony Guide Women's Women's Iso qwCA4UPHW, Barcelona, Spain, June 2017. (14.6%)
Sneaker Grey Women's KENDALL Tory KYLIE
arXiv version: KYLIE Tory Sneaker Women's KENDALL Grey CoRR, ACS/1610.03148, 2016.

[9] Perses: Syntax-Guided Program ReductionOld True Skool Skateboarding Pink White Unisex Skulls Mens VN 0A3 Shoes Vans q5gvCwEnxX.
Pulse Abyss Running Shoe green Contact Lagoon Black NIKE Women's Flex Caxw1agq Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu and Zhendong Su.
In KENDALL Grey Sneaker KYLIE Tory Women's Proceedings of ICSE 2018, Gothenburg, Sweden, May 2018. (21%)
Strappy Heel High up Standard Lace Women's Cognac Boot Stacked Knee Combat Premier IpwHS

Acknowledgments

Comfortable Braided Flats Summer On Suede Guilty Espadrille 18 Platform Walking Womens Gold Loafer Heart Slip Bottom 7qBxUIUEw 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).