BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Diagramming for programs and proofs
DTSTART:20230627T140000
DTEND:20230627T160000
DTSTAMP:20260407T025717Z
UID:f0aa95442b979ebbb1f63c1078889d9fd1b2e4068e9e9b83244f18a7
CATEGORIES:Conferences - Seminars
DESCRIPTION:Shardul Chiplunkar\nEDIC candidacy exam\nExam president: Prof.
  Viktor Kuncak\nThesis advisor: Prof. Clément Pit-Claudel\nCo-examiner: P
 rof. James Larus\n\nAbstract\nWe consider the problem of automatic diagram
 ming in the context of programming environments and proof assistants: spec
 ifying and automatically drawing diagrams representing objects\, proofs\, 
 and processes from the underlying system. We present and evaluate three in
 stances of related work. The first is a system for automatic mathematical 
 diagramming based on DSL specification and numerical constraint solving [1
 ]. The second is a functional program calculation approach to the classic 
 problem of pretty printing [2]. The third is a diagrammatic notional machi
 ne for Prolog with corresponding software to generate such diagrams [3]. D
 rawing on the successes and limitations of these lines of research\, we la
 y out our research vision for automatic diagramming: natural specification
 s of diagrams and diagrammatic  computations that generate structurally r
 egular\, extensible\, pretty diagrams.\n\nBackground papers\n\n	Ye\, Kathe
 rine and Wode Ni\, Max Krieger\, Dor Ma'ayan\, Jenna Wise\, Jonathan Aldri
 ch\, Joshua Sunshine\, Keenan Crane. “Penrose: From mathematical notatio
 n to beautiful diagrams.” SIGGRAPH 2020. https://doi.org/10.1145/3386569
 .3392375\n	Bernardy\, Jean-Philippe. “A pretty but not greedy printer (f
 unctional pearl).” ICFP 2017. https://doi.org/10.1145/3110250\n	Eisensta
 dt\, Marc and Mike Brayshaw. “A fine-grained account of Prolog execution
  for teaching and debugging.” Instructional Science 1990. https://doi.or
 g/10.1007/BF00116447\n
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR