IMDEA Institutes at the Madrid por la Ciencia y la Innovación 2019
March 26, 2019
From Thursday 28 to Sunday, March 31, the IMDEA Institutes will participate in the Madrid por la Ciencia y la Innovación,...
[ Read More ]
Talk by Andreas Pavlogiannis: Algorithmic Advances in Automated Program Analysis
March 26, 2019
Modern-day software is increasingly complex and software engineering is commonly accepted as a challenging, error-prone task. Consequently, software bugs are...
[ Read More ]
Algorithmic Advances in Automated Program Analysis
March 26, 2019
Modern-day software is increasingly complex and software engineering is commonly accepted as a challenging, error-prone task. Consequently, software bugs are...
[ Read More ]
Undecidability and Context-Free Languages
March 25, 2019
Starting from one of the most celebrated undecidable problem in CS, the Halting Problem, and using reductions as a bridge...
[ Read More ]
Talk by Paolo Giarrusso: Towards Semantic Type Soundness for Dependent Object Types and Scala with Logical Relations in Iris
March 22, 2019
The metatheory of the Scala core type system (DOT), first established recently, is still hard to extend, like other systems...
[ Read More ]
Towards Semantic Type Soundness for Dependent Object Types and Scala with Logical Relations in Iris
March 22, 2019
The metatheory of the Scala core type system (DOT), first established recently, is still hard to extend, like other systems...
[ Read More ]
Talk by Rahul Chatterjee: Empiricism-Informed Secure System Design: From Improving Passwords to Helping Domestic Violence Victims
March 21, 2019
Security often fails in practice due to a lack of understanding of the nuances in real-world systems. For example, users...
[ Read More ]
Empiricism-Informed Secure System Design: From Improving Passwords to Helping Domestic Violence Victims
March 21, 2019
Security often fails in practice due to a lack of understanding of the nuances in real-world systems. For example, users...
[ Read More ]
Talk by Martin A.T. Handley: Liquidate your assets: reasoning about resource usage in Liquid Haskell
March 19, 2019
Liquid Haskell is an extension to the type system of Haskell that supports formal reasoning about program correctness by encoding...
[ Read More ]
Liquidate your assets: reasoning about resource usage in Liquid Haskell
March 19, 2019
Liquid Haskell is an extension to the type system of Haskell that supports formal reasoning about program correctness by encoding...
[ Read More ]
