Fetching the paper…
Reading the bibliography…
Most software that runs on computers undergoes processing by compilers.
“Differential Testing for Software.”
William. McKeeman · 1998
Earlier work this paper cites.
“Translation validation”
A. Pnueli, M. Siegel and E. Singerman · 1998
Earlier work this paper cites.
“Translation Validation for an Optimizing Compiler”
George. Necula · 2000
Earlier work this paper cites.
“Translation Validation for an Optimizing Compiler”
George. Necula · 2000
Earlier work this paper cites.
“Metamorphic Testing: A New Approach for Generating Next Test Cases”, 2020
T.. Chen, S.. Cheung and S.. Yiu · 2002
Earlier work this paper cites.
“LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation”, 2004, pp. 75–88
Chris Lattner and Vikram Adve · 2004
Earlier work this paper cites.
“Practical testing of a C99 compiler using output comparison”
Flash Sheridan · 2007
Earlier work this paper cites.
“Volatiles Are Miscompiled, and What to Do about It”
Eric Eide and John Regehr · 2008
Earlier work this paper cites.
“Generics of a Higher Kind”
Adriaan Moors, Frank Piessens and Martin Odersky · 2008
Earlier work this paper cites.
“A Formally Verified Compiler Back-end”
Xavier Leroy · 2009
Earlier work this paper cites.
“Formal Verification of a Realistic Compiler”
Xavier Leroy · 2009
Earlier work this paper cites.
“An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique”
Qiuming Tao, Wei Wu, Chen Zhao and Wuwei Shen · 2010
Earlier work this paper cites.
“Finding and Understanding Bugs in C Compilers”
Xuejun Yang, Yang Chen, Eric Eide and John Regehr · 2011
Earlier work this paper cites.
“Swarm Testing”
Alex Groce et al · 2012
Earlier work this paper cites.
“Fuzzing with Code Fragments”
Christian Holler, Kim Herzig and Andreas Zeller · 2012
Earlier work this paper cites.
“Random Testing of C Compilers Targeting Arithmetic Optimization”, 2012
Eriko Nagai, Hironobu Awazu, Nagisa Ishiura and Naoya Takeda · 2012
Earlier work this paper cites.
“Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation”
Chris Hawblitzel et al · 2013
Earlier work this paper cites.
“Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model”
Robin Morisset, Pankaj Pawan and Francesco Zappa · 2013
Earlier work this paper cites.
“Compiler Validation via Equivalence modulo Inputs”
Vu Le, Mehrdad Afshari and Zhendong Su · 2014
Earlier work this paper cites.
“Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions”
Eriko Nagai, Atsushi Hashimoto and Nagisa Ishiura · 2014
Earlier work this paper cites.
“Finding Deep Compiler Bugs via Guided Stochastic Program Mutation”
Vu Le, Chengnian Sun and Zhendong Su · 2015
Earlier work this paper cites.
“Randomized Stress-Testing of Link-Time Optimizers”
Vu Le, Chengnian Sun and Zhendong Su · 2015
Earlier work this paper cites.
“Many-Core Compiler Fuzzing”
Christopher Lidbury, Andrei Lascu, Nathan Chong and Alastair. Donaldson · 2015
Earlier work this paper cites.
“Generating Focused Random Tests Using Directed Swarm Testing”
Mohammad Alipour, Alex Groce, Rahul Gopinath and Arpit Christi · 2016
Earlier work this paper cites.
“Practical Validation of Bytecode to Bytecode JIT Compiler Dynamic Deoptimization”
Clément Bera, Eliot Miranda, Marcus Denker and Stéphane Ducasse · 2016
Earlier work this paper cites.
“XGBoost”
Tianqi Chen and Carlos Guestrin · 2016
Earlier work this paper cites.
“Coverage-Directed Differential Testing of JVM Implementations”
Yuting Chen et al · 2016
Earlier work this paper cites.
“Metamorphic Testing for (Graphics) Compilers”
Alastair. Donaldson and Andrei Lascu · 2016
Earlier work this paper cites.
“CompCert - A Formally Verified Optimizing Compiler”
Xavier Leroy et al · 2016
Earlier work this paper cites.
“RandIR: Differential Testing for Embedded Compilers”
Georg Ofenbeck, Tiark Rompf and Markus Püschel · 2016
Earlier work this paper cites.
“Finding and Analyzing Compiler Warning Defects”
Chengnian Sun, Vu Le and Zhendong Su · 2016
Cited alongside, same era.
“Finding Compiler Bugs via Live Code Mutation”
Chengnian Sun, Vu Le and Zhendong Su · 2016
Cited alongside, same era.
“Toward Understanding Compiler Bugs in GCC and LLVM”
Chengnian Sun, Vu Le, Qirun Zhang and Zhendong Su · 2016
Cited alongside, same era.
“CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments”, 2017, pp. 46–60
Shafiul Chowdhury, Taylor Johnson and Christoph Csallner · 2017
Cited alongside, same era.
“Automated Testing of Graphics Shader Compilers”
Alastair. Donaldson, Hugues Evrard, Andrei Lascu and Paul Thomson · 2017
Cited alongside, same era.
“Closing the Gap – The Formally Verified Optimizing Compiler CompCert”
Daniel Kästner et al · 2017
Cited alongside, same era.
“DSmith: Compiler Fuzzing through Generative Deep Learning Model with Attention”
Haoran Xu et al · 2020
Later among the works it cites.
“An empirical study of optimization bugs in GCC and LLVM”
Zhide Zhou, Zhilei Ren, Guojun Gao and He Jiang · 2020
Later among the works it cites.
“Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers”
Stefanos Chaliasos et al · 2021
Later among the works it cites.
“Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing”
Alastair. Donaldson et al · 2021
Later among the works it cites.
“An Empirical Study on Common Bugs in Deep Learning Compilers”
Xiaoting Du, Zheng Zheng, Lei Ma and Jianjun Zhao · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“Skyfire: Data-Driven Seed Generation for Fuzzing”
Junjie Wang, Bihuan Chen, Lei Wei and Yang Liu · 2017
Cited alongside, same era.
“Compiler-Agnostic Translation Validation”
Kunal Banerjee and Chandan Karfa · 2018
Cited alongside, same era.
“Finding Missed Compiler Optimizations by Differential Testing”
Gergö Barany · 2018
Cited alongside, same era.
“TVM: An Automated End-to-End Optimizing Compiler for Deep Learning”, 2018
Tianqi Chen et al · 2018
Cited alongside, same era.
“Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain with SLforge”
Shafiul Chowdhury et al · 2018
Cited alongside, same era.
“Compiler Fuzzing through Deep Learning”
Chris Cummins, Pavlos Petoumenos, Alastair Murray and Hugh Leather · 2018
Cited alongside, same era.
Xiaoyu He et al · 2021
Later among the works it cites.
“Language-Parametric Compiler Validation with Application to LLVM”
Theodoros Kasampalis et al · 2021
Later among the works it cites.
“Alive2: Bounded Translation Validation for LLVM”
Nuno. Lopes et al · 2021
Later among the works it cites.
“Graph-Based Fuzz Testing for Deep Learning Inference Engines”
Weisi Luo et al · 2021
Later among the works it cites.
“JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification”
Jihyeok Park et al · 2021
Later among the works it cites.
“A Comprehensive Study of Deep Learning Compiler Bugs”
Qingchao Shen et al · 2021
Later among the works it cites.
“Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation”
Yixuan Tang et al · 2021
Later among the works it cites.
“JIT-Picking: Differential Fuzzing of JavaScript Engines”
Lukas Bernhard et al · 2022
Later among the works it cites.
“Finding Typing Compiler Bugs”
Stefanos Chaliasos et al · 2022
Later among the works it cites.
“Boosting Compiler Testing via Compiler Optimization Exploration”
Junjie Chen and Chenyao Suo · 2022
Later among the works it cites.
“CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively”
Karine Even-Mendoza, Cristian Cadar and Alastair. Donaldson · 2022
Later among the works it cites.
“Detecting Simulink Compiler Bugs via Controllable Zombie Blocks Mutation”
Shikai Guo et al · 2022
Later among the works it cites.
“Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation”
Jiawei Liu et al · 2022
Later among the works it cites.
“An Empirical Study on Bugs in Python Interpreters”
Ziyuan Wang et al · 2022
Later among the works it cites.
“Metamorphic Testing of Deep Learning Compilers”
Dongwei Xiao et al · 2022
Later among the works it cites.
“History-Driven Test Program Synthesis for JVM Testing”
Yingquan Zhao et al · 2022
Later among the works it cites.
Yinlin Deng et al · 2023
Closest in time.
“Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT”, 2023
Yinlin Deng et al · 2023
Closest in time.
“Fuzzilli: Fuzzing for JavaScript JIT Compiler Vulnerabilities”
Samuel Groß et al · 2023
Closest in time.
“NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers”
Jiawei Liu et al · 2023
Closest in time.
“Fuzzing Deep Learning Compilers with HirGen”, 2023
Haoyang Ma et al · 2023
Closest in time.
“Relax” https://github.com/tlc-pack/relax , last accessed on 5/23/2023, 2023
Community TVM · 2023
Closest in time.
“FuzzJIT: Oracle-Enhanced Fuzzing for JavaScript Engine JIT Compiler”
Junjie Wang et al · 2023
Closest in time.
“Compiler Testing Using Template Java Programs”
Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric and August Shi · 2023
Closest in time.
“Enriching Compiler Testing with Real Program from Bug Report”
Hao Zhong · 2023
Closest in time.