BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.com//juliacon-2026//speaker//HZBXLP
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-juliacon-2026-GBYL3S@pretalx.com
DTSTART;TZID=CET:20260812T123000
DTEND;TZID=CET:20260812T130000
DESCRIPTION:JuliaSubtyping is a new implementation of Julia's core subtypin
 g (and intersection / type-subtraction) algorithms. This talk will motivat
 e the new implementation and explore the theory behind its operation.\n\nD
 espite being built on complex theory (SAT solvers\, QBF\, and more)\, the 
 new design attempts to be more performant and transparently correct than J
 ulia's existing implementation\, while also being straightforward to exten
 d with new kinds of reasoning. At the heart of the design a "logical core"
  is combined with a "type logic" to form the basis of the algorithm and pr
 ovides semantics rich enough to describe many interesting subtyping algori
 thms.\n\nYou can of course expect many challenges along the way. Every the
 oretician's favorite enemy (undecidability) will rear its head along our j
 ourney\, along with other practical engineering trade-offs. We'll investig
 ate performance and demonstrate how the new algorithm stands with respect 
 to the old. Finally we'll speculate about what new types of compiler reaso
 ning this kind of typing algorithm may one day support.
DTSTAMP:20260502T095415Z
LOCATION:Room 1
SUMMARY:JuliaSubtyping: A logical approach to types - Cody Tapscott
URL:https://pretalx.com/juliacon-2026/talk/GBYL3S/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-juliacon-2026-LYBBPW@pretalx.com
DTSTART;TZID=CET:20260812T154500
DTEND;TZID=CET:20260812T160000
DESCRIPTION:Type-piracy is often said to be "defining foreign behavior over
  foreign types".\n\nSounds intuitive\, but in practice things get complica
 ted quickly: A basic type like `ForeignType{Float64}` may be "obviously fo
 reign"\, but how do we extend that notion to Julia's full type language in
 cluding `Union` and `where`? Are all forms of type-piracy equally bad\, or
  is "type-privateering" a thing? Most importantly\, how does this affect y
 our code in practice?\n\nThis talk will attempt to construct a mathematica
 lly precise definition for the "essence" of type-piracy. We'll discuss how
  determining type-piracy might be automated and what it would mean to make
  this a "first-class" restriction in Julia. Do we lose expressivity\, gain
  performance? What designs would this affect in practice?\n\nAlong the way
 \, we'll examine cases of "type-piracy in the wild" in the community (and 
 even in Julia's own standard libraries!). These controversial case studies
  will serve as a litmus test to see if we can conquer the type seas\, or i
 f the age of the type-privateer continues.
DTSTAMP:20260502T095415Z
LOCATION:Room 1
SUMMARY:Bringing Order to the Seas: Defining Type-piracy in Julia - Cody Ta
 pscott
URL:https://pretalx.com/juliacon-2026/talk/LYBBPW/
END:VEVENT
BEGIN:VEVENT
UID:pretalx-juliacon-2026-3AYREY@pretalx.com
DTSTART;TZID=CET:20260812T160000
DTEND;TZID=CET:20260812T161500
DESCRIPTION:Specialization behavior in Julia can be surprising and mystifyi
 ng at times\, especially when it leads to inference failures or performanc
 e problems. The compiler has a number of techniques and heuristics that it
  uses to determine how code ought to specialized to maintain performance a
 nd code size.\n\nThis talk will focus on how the Julia compiler makes spec
 ialization decisions and where these can sometimes go wrong\, leading to s
 uboptimal code\, type-unstable code\, `--trim` failures\, and more.\n\nTo 
 illustrate the discussion\, we'll see scenarios where specialization goes 
 right (as well as where it "goes wrong") and we'll dive into what it looks
  like to try to guide the compiler to specialize the way you need / want i
 t to.
DTSTAMP:20260502T095415Z
LOCATION:Room 1
SUMMARY:Specialization in Julia: Heuristics\, Optimizations\, and More! - C
 ody Tapscott
URL:https://pretalx.com/juliacon-2026/talk/3AYREY/
END:VEVENT
END:VCALENDAR