39:45Analysis of Release-Acquire Concurrency with Partial Order Domain by Subodh Sharma
A 40-minute video from Formal Methods Update: “Analysis of Release-Acquire Concurrency with Partial Order Domain by Subodh Sharma”.
Formal Methods Update
26 subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
39:45
29:59Automated inference of production rules for glycans by Missula Meghana
Advanced
A 30-minute video from Formal Methods Update: “Automated inference of production rules for glycans by Missula Meghana”.
35:39Can Zones be used to analyze pushdown timed automata? a simulations -equivalence story! by Akshay S
Advanced
A 36-minute video from Formal Methods Update: “Can Zones be used to analyze pushdown timed automata? a simulations -equivalence story! by Akshay S”.
1:22:49Counter-example guided repair in Boolean functional synthesis by Supratik Chakraborty
A 83-minute video from Formal Methods Update: “Counter-example guided repair in Boolean functional synthesis by Supratik Chakraborty”.
32:48Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains by K V Raghavan
A 33-minute video from Formal Methods Update: “Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains by K V Raghavan”.
31:08Exploiting Induction and Difference Computation to Verify Array Programs by Divyesh Unadkat
A 31-minute video from Formal Methods Update: “Exploiting Induction and Difference Computation to Verify Array Programs by Divyesh Unadkat”.
37:42Learning-based Controlled Concurrency Testing by Akash Lal
A 38-minute video from Formal Methods Update: “Learning-based Controlled Concurrency Testing by Akash Lal”.
28:06Machine Learning with 2KB RAM by Rahul Sharma
A 28-minute video from Formal Methods Update: “Machine Learning with 2KB RAM by Rahul Sharma”.
36:49Mean-payoff adversarial Stackelberg games by Shibashis Guha
A 37-minute video from Formal Methods Update: “Mean-payoff adversarial Stackelberg games by Shibashis Guha”.
33:47On the Separability Problem of String Constraints by Vrunda Dave
A 34-minute video from Formal Methods Update: “On the Separability Problem of String Constraints by Vrunda Dave”.
30:14Partial order reduction for timed systems by Govind R
A 30-minute video from Formal Methods Update: “Partial order reduction for timed systems by Govind R”.
32:30Program Synthesis as Dependency Quantified Modulo Theory by Priyanka Golia
Advanced
A 32-minute video from Formal Methods Update: “Program Synthesis as Dependency Quantified Modulo Theory by Priyanka Golia”.
30:35Property Directed Self Composition by Akshatha Shenoy
Advanced
A 31-minute video from Formal Methods Update: “Property Directed Self Composition by Akshatha Shenoy”.
33:43Regular languages over countable words by Sreejith A V
A 34-minute video from Formal Methods Update: “Regular languages over countable words by Sreejith A V”.
34:23Specification Synthesis with Constrained Horn Clauses by Sumanth Prabhu
A 34-minute video from Formal Methods Update: “Specification Synthesis with Constrained Horn Clauses by Sumanth Prabhu”.
32:27Translation Validation of Loop involving Code Optimizing Transformations by Soumyadip Bandyopadhyay
Advanced
A 32-minute video from Formal Methods Update: “Translation Validation of Loop involving Code Optimizing Transformations by Soumyadip Bandyopadhyay”.
36:37Verification of Concurrent Programs under Release Acquire by Krishna S
A 37-minute video from Formal Methods Update: “Verification of Concurrent Programs under Release Acquire by Krishna S”.