Programming Non-Volatile Memory
James Larus, School of Computer and Communication Sciences (IC) at EPFL (École Polytechnique Fédérale de Lausanne)”” – Abstract: New memory technologies are changing the computer systems landscape. Motivated by the power limitations of DRAM, new, non-volatile memory (NVM) technologies — such as ReRAM, PCM, and…
Bioinformatics: a Servant or the Queen of Molecular Biology? (INESC-ID and IST Distinguished Lecture)
Pavel A. Pevzner, Department of Computer Science and Engineering University of California at San Diego Abstract While some experimental biologists view bioinformatics as a servant, I argue that it is rapidly turning into the queen of molecular biology. I will illustrate this view by showing…
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…