~/talk

Ask Me Anything with Felix Klock

Talkat PLDI 2020 · 2020-06-15..06-20· [javascript]
slides:none on file

A live Q&A at PLDI 2020 explains concrete Rust work: ongoing unsafe code guidelines to write down rules, a dynamic checker implemented in the Miri interpreter for stack‑borrows undefined behavior, heavy focus on shaving ridiculous compile times via better incremental compilation and MIR optimizations, exploration of alternatives to LLVM, and shipping rust‑analyzer as the IDE backend; examples include phantom data and Pin causing subtle soundness and API surprises that motivated these tooling and documentation efforts.

AI-written summary · about

  1. 0:00Start
  2. 1:33How Did You Get Involved in Rust
  3. 3:27How Has Your Role in the Russ Team Evolved over Time
  4. 19:33What Do You Think Are the Biggest Opportunities of Improvement on the Optimization Phases of the Rus Compiler and Do You Have any Advice to Someone Who Wants To Contribute both to Rusty or Do Research on Rusty Optimization
  5. 46:50What's the Backstory behind Your Dissertation How Did You Choose the Topic and What Was the
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.