Principles of Programming Seminar

— 4:00pm

Location:
In Person - ASA Conference Room, Gates Hillman 6115

Speaker:
STEFFAN SØLVSTEN, Ph.D. Student, Department of Computer Science, Aarhus University, Denmark
https://ssoelvsten.github.io/

There are multiple approaches to deal with computations that have to run on massive data sets, e.g., randomised algorithms or machine learning. There is also a  third approach: make the classic deterministic algorithms able to consume an input and/or produce an output that vastly exceeds the machine's internal memory. To do so, one needs to optimise the algorithm's access to data. That is, it needs to be I/O-efficient. This talk is a short guided tour of the prior 36 years of research into I/O-efficient computation, starting with the I/O-model by Aggarwal and Vitter, then looking at the foundational I/O-efficient data structures, to then finally combining these data structures into algorithms that can handle petabytes of data without breaking a sweat.

Steffan Sølvsten is a Ph.D. student at Aarhus University, Denmark, where he attempts to bridge the gap between algorithms and formal methods. Aarhus University is world-renowned for its contributions to designing I/O-efficient algorithms; Steffan's research applies these techniques to Decision Diagrams - both in theory and in practice.

Faculty Host:  Marijin Heule  

Event Website:
https://www.cs.cmu.edu/Groups/pop/


Add event to Google
Add event to iCal