October Reading List

The list of papers, books, and other articles that caught my attention during the last month.

Papers:

• ASTREE project: Proving the Absence of Runtime Errors [PDF]
• Static Analysis and Verification of Aerospace Software by Abstract Interpretation [PDF]
• NASA : Monitoring Distributed Real-Time Systems: A Survey and Future Directions
• OOPSLA papers:
• SPUR: a trace-based JIT compiler for CIL 
• Ownership and Immutability in Generic Java
• From OO to FPGA
• HERA-JVM : a runtime system for heterogeneous multi-core architectures

Books:

• Revisiting some chapters in Compilers: Principles, Techniques, and Tools 
• Neal Stephenson : Snow Crash (finally!)

Others:

• Hacker Monthly
• High-Frequency Trading Interview : TradeWorkx
• Matt Might's blog (as usually)