Talk by Panagiotis Bougoulias: Tail-call optimisation in lazy functional languages
June 14, 2019
In this talk, I will present tail-call optimisation in a functional programming language in the presence of multiple evaluation orders...
[ Read More ]
Tail-call optimisation in lazy functional languages
June 14, 2019
In this talk, I will present tail-call optimisation in a functional programming language in the presence of multiple evaluation orders...
[ Read More ]
Postdoctoral Researcher Julio J. Lado introduced ECPU Research Lines in Research Institutions of Beijing and Tianjin (China)
June 13, 2019
Dr. Lado was invited by Dr Jianbo Shi (史建波) to visit State Key Laboratory of Environmental Chemistry and Ecotoxicology in...
[ Read More ]
Solar fuel breakthrough: SUN-to-LIQUID produces solar kerosene from sunlight, water and CO2
June 13, 2019
The transition from fossil to renewable fuels is one of the most important challenges of the future. The SUN-to-LIQUID project...
[ Read More ]
Talk by Mooly Sagiv: Deductive verification of distributed protocols in first-order logic
June 12, 2019
Distributed protocols such as Paxos play an important role in many computer systems. Therefore, a bug in a distributed protocol...
[ Read More ]
Novel communications architecture for future ultra-high speed wireless networks developed by IMDEA Networks researchers
June 12, 2019
The radio frequency spectrum, the basis for wireless telecommunications, is a finite resource that needs to be managed effectively to...
[ Read More ]
Deductive verification of distributed protocols in first-order logic
June 12, 2019
Distributed protocols such as Paxos play an important role in many computer systems. Therefore, a bug in a distributed protocol...
[ Read More ]
The Demo by Lucas Kuhring and Zsolt István on "Bionic Distributed Storage for Parquet Files", accepted at VLDB’19
June 11, 2019
Lucas Kuhring and Zsolt István, researchers at the IMDEA Software Institute, will present a demo “I Can’t Believe It’s Not...
[ Read More ]
Dr. Andreas Mavrantonakis participated in European Materials Research Society (E-MRS) Spring Meeting 2019
June 11, 2019
Dr. Andreas Mavrantonakis from the Electrochemical Processes Unit of IMDEA Energy participated in the 2019 Spring Meeting of the European...
[ Read More ]
The Demo by Lucas Kuhring and Zsolt István on “Bionic Distributed Storage for Parquet Files”, accepted at VLDB’19
June 11, 2019
Lucas Kuhring and Zsolt István will present the demo at the 45th International Conference on Very Large Data Bases (VLDB’19)...
[ Read More ]
