Slides Opening Exploiting Abstract Interpretation for Model Checking Programs Application-Level Energy Accounting with Chappie Designing Self-Certifying Compilers Weak-Consistency Specification via Visibility Relaxation Direct Reflection for Free! Leveraging Big Code to Improve Software Reliability This entry is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International license.