Distinguished Lecture Series
Generating Software Tests Andreas Zeller CISPA Helmholtz Institute for IT Security 15/04/2019 Anfiteatro VA4 no piso-1 do Edificio de Civil – IST/Alameda | 11:00H Abstract Software has bugs. What can we do to find as many of these as possible? In this talk, I show…
Origins of NP and P (Distinguished Lecture)
Jack Edmonds, – Abstract: NP and P have origins in “the marriage theorem”: A matchmaker has as clients the parents of some boys and some girls where some boy-girl pairs love each other. The matchmaker must find a marriage of all the girls to distinct…
Mixing Consistency in Geodistributed Transactions (Distinguished Lecture)
Andrew Myers, Cornell University, USA – Abstract: Programming concurrent, distributed systems that mutate shared, persistent, geo-replicated state is hard. To enable high availability and scalability, a new class of weakly consistent data stores has become popular. However, some data needs strong consistency. We introduce mixed-consistency…