DALEQ: A Datalog-Based Tool for Binary Equivalence in Java Bytecode
By
xupybd
A baker's-dozen of insight crammed into one ring.
Summary
DALEQ is a datalog-based binary equivalence tool designed for Java bytecode, with applications in explainable equivalence and cross-build differential testing. The project includes publications and a CLI for building and running the tool.
Key quotes
· 3 pulledDALEQ - Explainable Equivalence for Java Bytecode (preprint)
Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds. ICSME'25
Towards Cross-Build Differential Testing. ICST'25
You might also wanna read
DeiMOS: A Superoptimizer for the MOS 6502 Processor
The article introduces DeiMOS, a superoptimizer tool specifically designed for the MOS 6502 processor. A superoptimizer is a specialized too
aransentin.github.io·1mo ago
Understanding the Complexity of Time Zones and the Value of the Time Zone Database
The article discusses the complexity of time zones and the importance of relying on existing solutions like the Time Zone Database rather th
Hidden Performance Costs in Programming Languages: Comparing C and Higher-Level Languages
The article examines the perception that systems programmers avoid higher-level languages due to hidden performance costs, while arguing tha
Inside Functional Programming Languages: Implementation Details and Compilation Phases
The article explores the internal workings and implementation details of functional programming languages, particularly Haskell-like languag
taylor.town·3mo agoChuck Moore's ColorForth: A Programming Language and Operating System Using Color as Syntax
ColorForth is a modern redesign of the classic Forth programming language that uses color as punctuation for syntax. Created by Chuck Moore,
D Programming Language: Combining Multiple Paradigms for Fast, Scalable Code
The article presents D as a programming language that combines multiple programming paradigms harmoniously, offering classic polymorphism, v
dlang.org·3mo ago