May 16, 2024: Local Reasoning in C++

Time and Location

THURSDAY, May 16, 2024 at 6:30 PM - 30 minutes earlier!!!

In Person:
Microsoft Redmond Reactor | 3709 157th Ave NE, Redmond, WA 98052
Conf Room 20/1143 (12) Maple Reactor
Map

Remote:
On Line Using Microsoft Teams
Click here to join the meeting
Meeting ID: 218 364 237 982
Passcode: 7NAufd

Call in (audio only)
+1 323-849-4874
Phone Conference ID: 697 568 740#

Title

Local Reasoning in C++

Abstract

Local reasoning is the ability to look at a defined unit of code, a function, or a class, understand it, and verify its correctness without understanding all the contexts within which it is used. This talk covers local reasoning principles and explores conventions and rules to support local reasoning and develop better interfaces and code.

Speaker Bio

Sean Parent is a senior principal scientist and software architect managing Adobe’s Software Technology Lab. Sean joined Adobe in 1993, working on Photoshop, and is one of the creators of Photoshop Web, Photoshop Mobile, Lightroom Mobile, and Lightroom Web. In 2009, Sean spent a year at Google working on Chrome OS before returning to Adobe. From 1988 through 1993, Sean worked at Apple, where he was part of the system software team that developed the technologies that allowed Apple’s successful transition to PowerPC.

A Word From Our Sponsor

Please thank Microsoft for sponsoring our meeting room and Teams account!

Resources

Slides

Video

Note: We had some issues with this recording. We’ll do what we can to clean up those issues as we can. In particular the start nmay need to be adjusted and toward the end of the video the Teams session cut out and was then restored. Sorry about this and we’ll work to make the video as clean as we can.