BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Fine-Grained Aliasing Control with Capture Calculus
DTSTART:20230706T110000
DTEND:20230706T130000
DTSTAMP:20260407T111445Z
UID:563a596508c91b2fc4b1a5a909578afc8eb13361020171ed143bb508
CATEGORIES:Conferences - Seminars
DESCRIPTION:Yichen Xu\nEDIC candidacy exam\nExam president: Prof. Viktor K
 uncak\nThesis advisor: Prof. Martin Odersky\nCo-examiner: Prof. Clément P
 it-Claudel\n\nAbstract\nVarious problems in programming\, such as dangling
  pointers and data races\, stem from aliasing. Aliasing control addresses 
 these problems by tracking and regulating aliases. However\, aliasing cont
 rol is a double-edged sword as it can simultaneously invalidate common pro
 gramming patterns and affect language usability. We propose to study fine-
 grained aliasing control mechanisms based on capture calculus\, aiming to 
 stike a balance between safety and usability. We put forward two potential
  extensions to capture calculus: syntactic control of interference and uni
 queness. Formal results\, including type soundness\, will be developed for
  the proposed calculi. Additionally\, we intend to implement the formal me
 thods resulted from this research as an extension to the Scala 3 compiler 
 to validate its usability and effectiveness in real-world programming scen
 arios.\n\nBackground papers\n1. Karl Crary\, David Walker\, J. Gregory Mor
 risett: Typed Memory Management in a Calculus of Capabilities. POPL 1999: 
 262-275\n2. Aaron Weiss\, Olek Gierczak\, Daniel Patterson\, Amal Ahmed: O
 xide: the Essence of Rust. arXiv:1903.00982 [cs.PL]\n3. Martin Odersky\, A
 leksander Boruch-Gruszecki\, Edward Lee\, Jonathan Brachthäuser\, Ondřej
  Lhoták: Scoped Capabilities for Polymorphic Effects. arXiv:2207.03402 [c
 s.PL]
LOCATION:BC 229 https://plan.epfl.ch/?room==BC%20229
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR