Month: September 2020

Spying on the floating point behavior of existing, unmodified scientific applications

~ Adrian Colyer ~ Leave a comment
Spying on the floating point behavior of existing, unmodified scientific applications Dinda et al., HPDC'20 It's common knowledge that the IEEE standard floating point number representations used in modern computers have their quirks, for example not being able to accurately represent numbers such as 1/3, or 0.1. The wikipedia page on floating point numbers describes ... Continue Reading

Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room

~ Adrian Colyer ~ Leave a comment
Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room, Antoniadis et al., PLDI'20 Static analysis is a key component of many quality and security analysis tools. Being static, it has the advantage that analysis results can be produced solely from source code without the need to execute the program. This ... Continue Reading

Watchman: monitoring dependency conflicts for Python library ecosystem

~ Adrian Colyer ~ Leave a comment
Watchman: monitoring dependency conflicts for Python library ecosystem Wang et al., ICSE ‘20 There are more than 1.4M Python libraries in the PyPI repository. Figuring out which combinations of those work well together is not always easy. In fact, we have a phrase for navigating the maze of dependencies modern projects seem to accumulate: “dependency ... Continue Reading