Compare revisions

f3f745d5 · f3f745d5 · f3f745d5 · f3f745d5 · f3f745d5 · f3f745d5
--- a/slides/Neither_Web nor_Assembly.pdf
+++ b/slides/Neither_Web nor_Assembly.pdf
--- a/slides/Practical_Dynamic_Symbolic_Execution_of_Standalone_JavaScript.pdf
+++ b/slides/Practical_Dynamic_Symbolic_Execution_of_Standalone_JavaScript.pdf
--- a/slides/Reasoning_for_Open_Systems.pdf
+++ b/slides/Reasoning_for_Open_Systems.pdf
--- a/slides/Safe_types_untyped_contexts.pdf
+++ b/slides/Safe_types_untyped_contexts.pdf
--- a/slides/Sampaio-Automatic-JavaScript.pdf
+++ b/slides/Sampaio-Automatic-JavaScript.pdf
--- a/slides/Systematic_approaches_for_increasing_soundness_and_precision_of_static_analyzers.pdf
+++ b/slides/Systematic_approaches_for_increasing_soundness_and_precision_of_static_analyzers.pdf
--- a/slides/Testing_and_Evolving_TypeScript_Declaration_Files_with_Program_Analysis.pdf
+++ b/slides/Testing_and_Evolving_TypeScript_Declaration_Files_with_Program_Analysis.pdf
--- a/slides/Towards_Formal_Verification_in_Cryptographic_Web_Applications.pdf
+++ b/slides/Towards_Formal_Verification_in_Cryptographic_Web_Applications.pdf
--- a/slides/Verify_what_Navigating_the_Attack_Surface.pdf
+++ b/slides/Verify_what_Navigating_the_Attack_Surface.pdf
--- a/slides/Verifying_Cryptographic_Web_Application.pdf
+++ b/slides/Verifying_Cryptographic_Web_Application.pdf
--- a/slides/Xiong-Concurrent.pdf
+++ b/slides/Xiong-Concurrent.pdf
--- a/slides/adventures_in_machanising_and_verifying_webassembly.pdf
+++ b/slides/adventures_in_machanising_and_verifying_webassembly.pdf
--- a/teaching/Bi-Abduction-slides-Sutherland.pdf
+++ b/teaching/Bi-Abduction-slides-Sutherland.pdf
--- a/teaching/InferLab.md
+++ b/teaching/InferLab.md
--- a/teaching/ModelsComputation.md
+++ b/teaching/ModelsComputation.md
--- a/teaching/separationlogic.md
+++ b/teaching/separationlogic.md
No results found