Java JIT testing with template extraction
We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers.
Like recent template-based frameworks, LeJit executes a template---a program with holes to …
Like recent template-based frameworks, LeJit executes a template---a program with holes to …
T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax
Program reduction strives to eliminate bug-irrelevant code elements from a bug-triggering
program, so that (1) a smaller and more straightforward bug-triggering program can be …
program, so that (1) a smaller and more straightforward bug-triggering program can be …
MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation
Self‐adaptive applications are becoming increasingly attractive, with the ability to smartly
understand their runtime environments (or contexts) and deliver adaptive services, for …
understand their runtime environments (or contexts) and deliver adaptive services, for …
LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing (Registered Report)
F Schwarcz, F Berlakovich, G Barany… - Proceedings of the 3rd …, 2024 - dl.acm.org
Compiler fuzzing with randomly generated input programs is a powerful technique for
finding compiler crashes and miscompilation bugs. Existing fuzzers for compilers are often …
finding compiler crashes and miscompilation bugs. Existing fuzzers for compilers are often …