BEGIN:VCALENDAR
VERSION:2.0
PRODID:icalendar-ruby
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Vienna
BEGIN:DAYLIGHT
DTSTART:20260329T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260424T143456Z
UID:68de42fd17bf5619505613@ist.ac.at
DTSTART:20260127T100000
DTEND:20260127T120000
DESCRIPTION:Speaker: Ralf Jung\nhosted by Michael Sammler\nAbstract: Rust i
 s primarily known for its ownership-based type system that enables a low-l
 evel programming paradigm in a type-safe language. However\, another key p
 illar of Rust is its treatment of unsafe code: while most languages tend t
 o shun unsafe operations\, often leaving them poorly specified\, Rust give
 s unsafe operations a lot of attention\, from a dedicated syntax to docume
 ntation and community norms. In this talk\, I will explain this often-misu
 nderstood aspect of Rust by talking about what unsafe Rust is\, why it exi
 sts\, how it is used\, and how tooling and formal methods help mitigate th
 e inherent risks of using unsafe operations.Bio: Ralf Jung is an assistant
  professor at ETH Zrich\, where he leads the Programming Language Foundati
 ons Lab within the Institute for Programming Languages and Systems in the 
 Department of Computer Science. With a PhD from MPI-SWS and Saarland Unive
 rsity under the supervision of Derek Dreyer\, and postdoctoral experience 
 in the PDOS group at MIT CSAIL\, he has worked on the foundations of progr
 amming languages and applied verification to systems software. His primary
  research interests are Rust and Iris. His work has received numerous awar
 ds\, such as a POPL Most Influential Paper Award and an Honorable Mention 
 for the ACM Doctoral Dissertation Award. In collaboration with the Rust la
 nguage team\, his group is working to establish the formal foundations of 
 Rust\, particularly addressing the language's unsafe components. They are 
 developing Miri\, a tool for identifying Undefined Behavior bugs in unsafe
  Rust code\, and working on MiniRust\, a proposal for the precise specific
 ation of unsafe Rust. His long-term aim is to use formal verification to b
 ring the full suite of Rust safety guarantees to unsafe Rust.
LOCATION:Raiffeisen Lecture Hall\, Central Building\, ISTA
ORGANIZER:akeri@ist.ac.at
SUMMARY:Ralf Jung: CS Colloquium
URL:https://talks-calendar.ista.ac.at/events/6245
END:VEVENT
END:VCALENDAR