46 citations · 85 across the 13 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries
Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli +3
Despite the advancements in software testing, bugs still plague deployed software and result in crashes in production. When debugging issues -- sometimes caused by "heisenbugs" --…
cs.DC2020★ 1 cited
Synchronous Byzantine Lattice Agreement in Rounds
Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi +1
In the Lattice Agreement (LA) problem, originally proposed by Attiya et al. \cite{Attiya:1995}, a set of processes has to decide on a chain of a lattice. More precisely, each corre…