PLDI 2023 (series) / SOAP 2023 (series) / State Of the Art in Program Analysis / Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)
Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)Invited Talk
Sat 17 Jun 2023 14:00 - 14:40 at Magnolia 18 - SOAP: Session 3 - Scalable Analysis Chair(s): Pietro Ferrara
- Harvard College 1971-1975, AB Summa Cum Laude Chemistry
- Harvard Radcliffe Student Computing Center 1975-1979, Systems Programmer
- Intermetrics/AverStar/AverCom 1980-2002, Chief Scientist
- SofCheck 2002-2011, Founder and CTO
- AdaCore 2011-present, VP, Director of Language Research, Model-Based Toolset Product Architect
Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change
Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | SOAP: Session 3 - Scalable AnalysisSOAP at Magnolia 18 Chair(s): Pietro Ferrara Università Ca' Foscari, Venezia, Italy | ||
14:00 40mKeynote | Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value Numbering (Virtual)Invited Talk SOAP Tucker Taft AdaCore, United States | ||
14:40 25mTalk | Extensible and Scalable Architecture for Hybrid Analysis SOAP DOI | ||
15:05 25mTalk | User-Assisted Code Query Optimization SOAP Ben Liblit Amazon, Yingjun Lyu Amazon, Rajdeep Mukherjee Amazon, Omer Tripp Amazon, Yanjun Wang Amazon Web Services, USA DOI | ||
