Home > Taxonomy > Term > IMDEA Software Institute

IMDEA Software Institute

Fractal Small: 
Fractal Large: 

Talk by Paolo Giarrusso: Towards Semantic Type Soundness for Dependent Object Types and Scala with Logical Relations in Iris

The metatheory of the Scala core type system (DOT), first established recently, is still hard to extend, like other systems combining subtyping and forms of dependent types. Soundness of important Scala features remains an open problem in theory and in practice.

Talk by Martin A.T. Handley: Liquidate your assets: reasoning about resource usage in Liquid Haskell

Liquid Haskell is an extension to the type system of Haskell that supports
formal reasoning about program correctness by encoding logical properties as
refinement types. In this interactive talk, I demonstrate how Liquid Haskell can
also be used to reason about program efficiency in the same setting, with the
system’s existing verification machinery being used to ensure that the results
are both meaningful and precise. My experience is that reasoning about
efficiency in Liquid Haskell is often just as simple as reasoning about correctness,

Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project

IMDEA Software IMDEA Software Institute Faculty Zsolt István was awarded a Marie Skłodowska-Curie Individual Fellowship, for the Project Accelerated Ordering Service for Distributed Ledgers (ACCORD). The project sets out to improve blockchain systems that target Business to Business use-cases and builds on earlier success in the use of specialized hardware to implement distributed algorithms.

Zsolt István awarded Marie Skłodowska-Curie Individual Fellowship for the ACCORD project

IMDEA Software IMDEA Software Institute Faculty Zsolt István was awarded a Marie Skłodowska-Curie Individual Fellowship, for the Project Accelerated Ordering Service for Distributed Ledgers (ACCORD). The project sets out to improve blockchain systems that target Business to Business use-cases and builds on earlier success in the use of specialized hardware to implement distributed algorithms.

Talk by Platon Kotzias: Mind Your Own Business: A Longitudinal Study of Threats and Vulnerabilities in Enterprises

Enterprises own a significant fraction of the hosts connected to the Internet and possess valuable assets, such as financial data and intellectual property, which may be targeted by attackers.
They suffer attacks that exploit unpatched hosts and install malware, resulting in breaches that may cost millions in damages. Despite the scale of this phenomenon, the threat and vulnerability landscape of enterprises remains under-studied. The security posture of enterprises remains unclear, and it's unknown whether enterprises are indeed more secure than consumer hosts.

Pages

Subscribe to RSS - IMDEA Software Institute