Read Efficient Data Structures, RUM Conjecture (4 Part Series) 1 RUM Conjecture - Reasoning About Data Access 2 Read Efficient Data Structures 3 Update Efficient Data Structures 4 ...

Java is Unsound: The Industry Perspective,Recently Nada Amin and I discovered that Java and Scala are unsound. We submitted the finding and related discussion to OOPSLA, an academi...