|
Final correction.
The Caroline Lemieux PL seminar will be this Friday, December 4 at 1pm.
Not Dec 2, not Dec 20, Dec 4.
John
From: Loris D'Antoni <loris@xxxxxxxxxxx>
Sent: Tuesday, December 1, 2020 11:52 AM
To: JOHN CYPHERT <jcyphert@xxxxxxxx>
Cc: pl-seminar@xxxxxxxxxxx <pl-seminar@xxxxxxxxxxx>
Subject: Re: [madPL] Caroline Lemieux PL Seminar
Typo! This is this Friday December 2nd
Hi Everyone,
We will be having a PL seminar Friday
Dec 20, at 1pm CST. Caroline Lemieux from UC Berkley will be presenting on
Expanding the Reach of Fuzz Testing.
Abstract:
Software bugs are pervasive in modern software. If they occur in the wrong software component, the consequences can be dire, both from a cost and security perspective (e.g. Cloudbleed,
Heartbleed, Shellshock). Fuzzing refers to a set of techniques that automatically find bug-triggering inputs by sending many random-looking inputs to the program under test. In this talk, I will discuss the state-of-the-art in fuzzing techniques, their successes,
and their limitations. I will discuss my research into overcoming these limitations: first, how I generalized coverage-guided fuzzing into feedback-directed fuzzing to find performance and resource consumption errors. Second, how I fine-tuned mutations towards
preserving important structure in mutational fuzzing, enabling deeper program exploration. And third, how I made generator-based fuzzing adaptive to the program under test, and used similar techniques to tackle program synthesis. Finally, I will discuss the
key research problems that must be tackled to make fuzzing readily-available and useful to all developers.
Bio:
Caroline Lemieux is a final-year PhD candidate at UC Berkeley, advised by Koushik Sen. Her research aims to help developers improve
the correctness, security, and performance of software systems. She is particularly interested in developing methods that are applicable to large, existing software systems, ranging from complex open-source projects to industrial-scale software. Her current
projects tackle these goals with a focus on fuzz testing and program synthesis. Her work on fuzz testing has been awarded an ACM SIGSOFT Distinguished Paper Award, Distinguished Artifact Award, Tool Demonstration Award, and Best Paper Award (Industry Track).
Before Berkeley, she received her B.Sc. in Combined Honours Computer Science and Mathematics at the University of British Columbia, where she won the Governor General's Silver Medal in Science, awarded to the undergraduate student with highest standing in
the Faculty of Science. She is the recipient of a Berkeley Fellowship for Graduate Study and a Google PhD Fellowship in Programming Technologies and Software Engineering.
See you on Friday,
John
Join Zoom Meeting
https://uwmadison.zoom.us/j/97079120314?pwd=UFN3c3lDcWlieWdqdjVUNnk4aVZXUT09
Meeting ID: 970 7912 0314
Passcode: 790380
One tap mobile
+19292056099,,97079120314#,,,,,,0#,,790380# US (New York)
+13017158592,,97079120314#,,,,,,0#,,790380# US (Germantown)
Dial by your location
+1 929 205 6099 US (New York)
+1 301 715 8592 US (Germantown)
+1 312 626 6799 US (Chicago)
+1 669 900 6833 US (San Jose)
+1 253 215 8782 US (Tacoma)
+1 346 248 7799 US (Houston)
Meeting ID: 970 7912 0314
Passcode: 790380
Find your local number: https://uwmadison.zoom.us/u/aiMtYuleM
Join by SIP
97079120314@xxxxxxxxxxx
Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
115.114.131.7 (India Mumbai)
115.114.115.7 (India Hyderabad)
213.19.144.110 (Amsterdam Netherlands)
213.244.140.110 (Germany)
103.122.166.55 (Australia)
149.137.40.110 (Singapore)
64.211.144.160 (Brazil)
69.174.57.160 (Canada)
207.226.132.110 (Japan)
Meeting ID: 970 7912 0314
Passcode: 790380
_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar
--
|
![[Computer Systems Lab]](http://www.cs.wisc.edu/pics/csl_logo.gif){kind=logo}