rustc - A talk by Mark Mansi about the Rust programming language and compiler
madPL
rustc - A talk by Mark Mansi about the Rust programming language and compiler
1:14:56
Composable, Sound Transformations for Nested Recursion and Loops | Kirshanthan Sundararajah
madPL
Composable, Sound Transformations for Nested Recursion and Loops | Kirshanthan Sundararajah
58:16
MANTIS: Semantics-Guided Inductive Program Synthesis | Roopsha Samanta
madPL
MANTIS: Semantics-Guided Inductive Program Synthesis | Roopsha Samanta
57:53
Synthesis with Uncertainties | Eva Darulova
madPL
Synthesis with Uncertainties | Eva Darulova
58:03
Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning | Kuldeep Meel
madPL
Functional Synthesis: An Ideal Meeting Ground for Formal Methods and Machine Learning | Kuldeep Meel
1:00:55
Objectively Measure Developers' Cognitive Activities: Code, Biases, and Brains | Yu Huang
madPL
Objectively Measure Developers' Cognitive Activities: Code, Biases, and Brains | Yu Huang
1:00:51
Expanding the Reach of Fuzz Testing | Caroline Lemieux
madPL
Expanding the Reach of Fuzz Testing | Caroline Lemieux
1:02:11
How To Find ML Bugs That Expose Data and Bias Outcomes | Matt Fredrikson
madPL
How To Find ML Bugs That Expose Data and Bias Outcomes | Matt Fredrikson
1:11:00
On the Design, Implementation, and Use of Laziness in R | Aviral Goel
madPL
On the Design, Implementation, and Use of Laziness in R | Aviral Goel
43:59
Discussion of "Liquid Information Flow Control" | Zachary Susag
madPL
Discussion of "Liquid Information Flow Control" | Zachary Susag
1:00:34
Automated Testing and Precision Tuning of Numerical Software | Cindy Rubio-González
madPL
Automated Testing and Precision Tuning of Numerical Software | Cindy Rubio-González
58:30
Discussion of "Resource-Guided Program Synthesis" | Qinheping Hu
madPL
Discussion of "Resource-Guided Program Synthesis" | Qinheping Hu
38:11
Algorithmic Verification of String-Manipulating Programs | Anthony Lin
madPL
Algorithmic Verification of String-Manipulating Programs | Anthony Lin
1:02:04
Programming, Debugging, and Reasoning Techniques for Posits | Santosh Nagarakatte
madPL
Programming, Debugging, and Reasoning Techniques for Posits | Santosh Nagarakatte
1:04:56
madPL Live Stream
madPL
madPL Live Stream
Engineering Approximate Computations | Michael Carbin
madPL
Engineering Approximate Computations | Michael Carbin
1:06:19
Accelerator Design Languages | Adrian Sampson
madPL
Accelerator Design Languages | Adrian Sampson
1:01:46
Democratizing Web Automation | Sarah Chasins
madPL
Democratizing Web Automation | Sarah Chasins
1:00:40