... von eurer Lieblinξfaχschaft
und eurem Lieblinξverein

Vorlesungen online

Statische Programmanalyse zum Feed...

Semester: WS16
Veranstalter: Prof. Noll
Di, 18.10.16 Introduction to Program Analysis

Literature
1080p RWTH-intern 901 MB
720p RWTH-intern 464 MB
360p RWTH-intern 237 MB
im Browser abspielen
Do, 20.10.16 Dataflow Analysis 1
Introduction
Available Expressions Analysis
Live Variables Analysis
1080p RWTH-intern 1.29 GB
720p RWTH-intern 661 MB
360p RWTH-intern 338 MB
im Browser abspielen
Di, 25.10.16 Dataflow Analysis 2
Order-Theoretic Foundations
1080p RWTH-intern 1.24 GB
720p RWTH-intern 638 MB
360p RWTH-intern 326 MB
im Browser abspielen
Do, 27.10.16 Dataflow Analysis 3
The Framework
1080p RWTH-intern 887 MB
720p RWTH-intern 456 MB
360p RWTH-intern 233 MB
im Browser abspielen
Do, 03.11.16 Dataflow Analysis 4
Worklist Algorithm
MOP Solution
1080p RWTH-intern 1.29 GB
720p RWTH-intern 662 MB
360p RWTH-intern 338 MB
im Browser abspielen
Do, 10.11.16 Dataflow Analysis 5
MOP vs. Fixpoint Solution
1080p RWTH-intern 1.39 GB
720p RWTH-intern 717 MB
360p RWTH-intern 367 MB
im Browser abspielen
Di, 15.11.16 Dataflow Analysis 6
Undecidability of MOP Solution
Non-ACC Domains
1080p RWTH-intern 1.40 GB
720p RWTH-intern 720 MB
360p RWTH-intern 369 MB
im Browser abspielen
Do, 17.11.16 Dataflow Analysis 7
Narrowing
DFA with Conditional Branches
1080p RWTH-intern 1.22 GB
720p RWTH-intern 626 MB
360p RWTH-intern 321 MB
im Browser abspielen
Di, 22.11.16 Dataflow Analysis 8
Conditional Interval Analysis
Java Virtual Machine
1080p RWTH-intern 1.39 GB
720p RWTH-intern 712 MB
360p RWTH-intern 365 MB
im Browser abspielen
Do, 24.11.16 Dataflow Analysis 9
Java Bytecode Verification
1080p RWTH-intern 1.13 GB
720p RWTH-intern 582 MB
360p RWTH-intern 298 MB
im Browser abspielen
Di, 29.11.16 Abstract Interpretation 1
Theoretical Foundations
1080p RWTH-intern 1.37 GB
720p RWTH-intern 704 MB
360p RWTH-intern 361 MB
im Browser abspielen
Di, 06.12.16 Abstract Interpretation 2
Safe Approximation
1080p RWTH-intern 1.41 GB
720p RWTH-intern 725 MB
360p RWTH-intern 372 MB
im Browser abspielen
Di, 13.12.16 Abstract Interpretation 3
Abstract Semantics of WHILE
1080p RWTH-intern 1.47 GB
720p RWTH-intern 756 MB
360p RWTH-intern 387 MB
im Browser abspielen
Do, 15.12.16 Abstract Interpretation 4
Application Example: 16-Bit Multiplication
1080p RWTH-intern 1.16 GB
720p RWTH-intern 596 MB
360p RWTH-intern 305 MB
im Browser abspielen
Di, 20.12.16 Abstract Interpretation 5
Numerical & Predicate Abstraction
1080p RWTH-intern 1.30 GB
720p RWTH-intern 671 MB
360p RWTH-intern 343 MB
im Browser abspielen
Di, 10.01.17 Abstract Interpretation 6
Counterexample-Guided Abstraction Refinement
(CEGAR)
1080p RWTH-intern 1.40 GB
720p RWTH-intern 718 MB
360p RWTH-intern 367 MB
im Browser abspielen
Do, 12.01.17 Abstract Interpretation 7
Limits and Improvements of CEGAR
1080p RWTH-intern 1.35 GB
720p RWTH-intern 695 MB
360p RWTH-intern 356 MB
im Browser abspielen
Di, 17.01.17 Interprocedural Dataflow Analysis 1
MVP Solution
1080p RWTH-intern 891 MB
720p RWTH-intern 458 MB
360p RWTH-intern 234 MB
im Browser abspielen
Do, 19.01.17 Interprocedural Dataflow Analysis 2
Fixpoint Solution
1080p RWTH-intern 1.37 GB
720p RWTH-intern 705 MB
360p RWTH-intern 360 MB
im Browser abspielen
Di, 31.01.17 Wrap-Up
Interprocedural DFA
Pointer Analysis
1080p RWTH-intern 1.19 GB
720p RWTH-intern 612 MB
360p RWTH-intern 313 MB
im Browser abspielen
Do, 02.02.17 Shape Analysis
Final Remarks
1080p RWTH-intern 1.14 GB
720p RWTH-intern 585 MB
360p RWTH-intern 299 MB
im Browser abspielen
Admin Bereich:

Fachschaft I/1, Mathematik/Physik/Informatik
RWTH Aachen