BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Efficient Staged Datalog Evaluation
DTSTART:20220131T100000
DTEND:20220131T120000
DTSTAMP:20260430T083126Z
UID:851ff7043f7bed6afd766e910d4d8ea092fe23d44de348fcfe9ae07a
CATEGORIES:Conferences - Seminars
DESCRIPTION:Anna Herlihy\nEDIC candidacy exam\nExam president: Prof. Karl 
 Aberer\nThesis advisor: Prof. Anastasia Ailamaki\nThesis co-advisor: Prof 
 Martin Odersky\nCo-examiner: Prof. Sanidhya Kashyap\n\nAbstract\nDatalog i
 s a rule-based declarative database query language based on logic programm
 ing. Datalog is more expressive than relational algebra as it supports mut
 ually recursive rules\, making it a natural way to express fixed point pro
 blems like a transitive closure. Many static program analyses\, including 
 data-flow\, control-flow\, and points-to analyses can be expressed as fixe
 d point problems. Yet there are still barriers to more widespread adoption
  of Datalog\, in part because users are forced to choose between inefficie
 nt Datalog libraries accessible from general purpose programming languages
  and external\, optimized Datalog engines behind strong architectural boun
 daries. Datalog solvers are often standalone applications that require fac
 ts to be serialized to specialized file format\, and do not automatically 
 derive facts from external data sources.\n\nBackground papers\n\n	S. Ceri\
 , G. Gottlob\, and L. Tanca. 1989. What You Always Wanted to Know About Da
 talog (And Never Dared to Ask). IEEE Trans. on Knowl. and Data Eng. 1\, 1 
 (March 1989)\, 146–166. DOI:https://doi.org/10.1109/69.43410\n	Bernhard 
 Scholz\, Herbert Jordan\, Pavle Subotić\, and Till Westmann. 2016. On fas
 t large-scale program analysis in Datalog. In Proceedings of the 25th Inte
 rnational Conference on Compiler Construction (CC 2016). Association for C
 omputing Machinery\, New York\, NY\, USA\, 196–206. DOI:https://doi.org/
 10.1145/2892208.2892226\n	Nicolas Stucki\, Aggelos Biboudis\, and Martin O
 dersky. 2018. A practical unification of multi-stage programming and macro
 s. SIGPLAN Not. 53\, 9 (September 2018)\, 14–27. DOI:https://doi.org/10.
 1145/3393934.3278139\n
LOCATION:
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR