BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
PRODID:Data::ICal 0.24
BEGIN:VTIMEZONE
TZID:Pacific/Auckland
X-LIC-LOCATION:Pacific/Auckland
BEGIN:DAYLIGHT
DTSTART:19700927T020000
RRULE:FREQ=YEARLY;BYMONTH=9;BYDAY=-1SU
TZNAME:NZDT
TZOFFSETFROM:+1200
TZOFFSETTO:+1300
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19700405T030000
RRULE:FREQ=YEARLY;BYMONTH=4;BYDAY=1SU
TZNAME:NZST
TZOFFSETFROM:+1300
TZOFFSETTO:+1200
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:ECS Seminars
CONTACT:Associate Professor Patrick Lam (University of Waterloo\, Canada)
DESCRIPTION:Tests are a ubiquitous feature of modern software. We are under
 -using\nthis promising source of developer-provided information about our\
 nsoftware. In this talk\, I will sketch a research programme that leverage
 s the full potential of tests in the context of program analysis.\n\nTests
  provide valuable information about actual concrete program\nexecutions.  
 This information has been used by dynamic analysis tools\,\ne.g. Daikon fo
 r inferring program invariants\, and Tamiflex for\nsummarizing uses of Jav
 a reflection.  Furthermore\, at the limit\,\nexhaustive test generation ca
 n even show the absence of some kinds of\nbugs.\n\nI believe that we can d
 o much more than test generation: good tools\ncan help developers write we
 ll-targeted test cases and explore key\nparts of a program's behaviour. To
  that end\, I'll talk about some of\nmy ongoing work on automatically addi
 ng sibling tests\, as well as test\nrefactoring.\n\nGetting back to what t
 ests can do for you: tests can enable dynamic\nanalyses to delimit API sur
 faces of libraries as they are used by\ntheir clients. But I'm even more e
 xcited about combining the strengths\nof static analysis and the informati
 on provided by tests\, and I'll\nconclude by speculating about novel stati
 c analyses with drastically\nfewer false alarms than at present.\n\nBio:\n
 Patrick Lam is an Associate Professor of Electrical and Computer Engineeri
 ng at the University of Waterloo and a Visiting Scholar at VUW\, having ju
 st completed his term a Director of Waterloo's Software Engineering Progra
 m. His research interests focus on static analysis\, particularly of devel
 oper-supplied information like annotations and test cases. Patrick has bee
 n making a concerted effort to enjoying New Zealand's outdoors.\n\nThis ta
 lk is part of the New Zealand Software Innovation Seminar (SI^NZ) Series: 
 https://softwareinnovation.nz/seminars/\n\nZoom Link: https://vuw.zoom.us/
 my/softwareinnovationnewzealand\n\n
DTEND;TZID=Pacific/Auckland:20210624T160000
DTSTAMP:20260512T230917Z
DTSTART;TZID=Pacific/Auckland:20210624T150000
LOCATION:Cotton 431
ORGANIZER:Associate Professor Patrick Lam (University of Waterloo\, Canada)
SUMMARY:Associate Professor Patrick Lam (University of Waterloo\, Canada) -
  Ask not what you can do for tests\; ask what tests can do for you
UID:seminar_ecs1250_20210617004701
URL:https://patricklam.ca/
END:VEVENT
END:VCALENDAR