![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() | Lifted Termination Analysis by Abstract Interpretation and its Applications (ACM SIGPLAN) View |
![]() | Improving Thread-Modular Abstract Interpretation (Michael Schwarz) View |
![]() | Abstract Interpretation Repair (ACM SIGPLAN) View |
![]() | Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules (ACM SIGPLAN) View |
![]() | Static Analysis of Endian Portability by Abstract Interpretation (ACM SIGPLAN) View |
![]() | Thread-modular Analysis of Release-Acquire Concurrency (ACM SIGPLAN) View |
![]() | Verified Functional Programming of an Abstract Interpreter (ACM SIGPLAN) View |
![]() | Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination (ACM SIGPLAN) View |
![]() | Partial (In)Completeness in Abstract Interpretation (Teaser) (ACM SIGPLAN) View |
![]() | (Software and System Verification) View |