Re: [madPL] Cindy Rubio Gonzalez PL Seminar

[JOHN CYPHERT <jcyphert@xxxxxxxx>]

Reminder,

This is in 30 minutes!

---

From: Pl-seminar <pl-seminar-bounces@xxxxxxxxxxx> on behalf of JOHN CYPHERT <pl-seminar-bounces@xxxxxxxxxxx>
Sent: Monday, October 19, 2020 2:48 PM
To: pl-seminar@xxxxxxxxxxx <pl-seminar@xxxxxxxxxxx>
Subject: [madPL] Cindy Rubio Gonzalez PL Seminar

 

Hi Everyone,

We will having a PL seminar this Friday Oct 23, at 1pm. Cindy Rubio Gonzalez from UC Davis (also an alumnus from our department) will be giving a presentation on ''Automated Testing and Precision Tuning of Numerical Software''. 

Abstract:

The use of numerical software has grown rapidly over the past few years, providing the foundation for a large variety of applications including scientific software and machine learning. Given the variety of numerical errors that can occur, floating-point programs are difficult to write, test and debug. One common practice among developers is to use the highest available precision when allocating variables. While more robust, this can degrade program performance significantly. In this talk, I will describe our recent research on developing tools for testing numerical programs. Then I will describe our work on developing tools to assist programmers in tuning the precision of their floating-point programs. I will conclude by discussing remaining challenges and opportunities for testing and scalable precision tuning of HPC applications.

Bio:

Cindy Rubio-González is an Associate Professor of Computer Science at the University of California, Davis. Prior to joining UC Davis, she was a Postdoctoral Researcher in the EECS Department at the University of California, Berkeley. She received her Ph.D. in Computer Science from the University of Wisconsin–Madison in 2012. Her research spans the areas of Software Engineering and Programming Languages, with a focus on program analysis for automated bug finding and program optimization. She is particularly interested in the reliability and performance of systems software and scientific computing applications. Cindy is a recipient of several awards including the DOE Early Career Award, NSF CAREER Award, DOE Better Scientific Software Fellowship, Facebook Testing and Verification Research Award, UC Davis Hellman Fellowship, and UC Davis CAMPOS Faculty Award.

See you all 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