BEGIN:VCALENDAR
VERSION:2.0
PRODID:OpenCms 20.0.18
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
END:STANDARD
END:VTIMEZONE				
BEGIN:VEVENT
DTSTAMP:20231018T092418
UID:5984774f-6d87-11ee-9021-000e0c3db68b
SUMMARY:Unsound Program Analysis & Feedback-directed Test Generation
DESCRIPTION:Talk #1: Feedback- and mined data- directed test generation for JavaScriptTest generation involves automatically exercising the functionality of a given software library. This is particularly challenging for JavaScript: as a dynamic language, there is minimal-to-no type information available for functions, and as if that is not bad enough functions rarely crash even if called with invalid arguments. JavaScript is also replete with libraries using asynchronous higher-order functions, which is a class of APIs that most test generation algorithms are unequipped to deal with.In this talk, I will present a feedback-directed unit test generator for JavaScript that supports the testing of  APIs with asynchronously invoked callback arguments. The core of this test generator is a feedback-driven approach for concurrent test generation and API discovery, which is also seeded with example function calls mined from real code bases. We evaluated this over some JavaScript libraries both with and without asynchronous callback arguments, and found it to be effective in both code coverage and behavioural difference identification. We also make some actionable observations on the conditions under which each of the test generation features are most effective, from which we can infer some generalizations on the utility of mined program patterns.Speaker: Ellen Arteca. Recently obtained a PhD at Northeastern University. Soon starting at Google. See https://emarteca.github.io/\nTalk #2: Optimisations via Unsound Program AnalysisThe laissez-faire semantics of languages like JavaScript and Python result in languages that are as easy to use as they are difficult to analyse statically. For instance, JavaScript programmers can access non-existent properties of objects and add new properties to objects at runtime; this makes simple analysis tasks like determining the properties of an object difficult for sound analysis. This is a shame, as sound static analysis typically underpins approaches to repair and optimise code, of which there is a pressing need in dynamic languages given how easy they are to (mis-)use.In this talk, I will present an approach we developed to optimise database-backed JavaScript web applications using deliberately unsound analysis. Our approach leverages unsound data flow analysis to detect inefficiencies, and automatically generates a program transformation to optimise the code. Overall we found encouraging results, and applied our technique successfully to many open-source, client-side JavaScript applications. Beyond presenting our approach, I will discuss the pros and cons of using unsound analysis, how we mitigated the unsoundness of our approach, and future research directions.Speaker: Alexi Turcotte. Post-doc at CISPA. See https://reallytg.github.io/
DTSTART;TZID=Europe/Berlin;VALUE=DATE:20231024
DTEND;TZID=Europe/Berlin;VALUE=DATE:20231025
LOCATION: , 2.013 (Fakultätssitzungssaal), Universitätsstr. 38,  Stuttgart 
URL;VALUE=URI:https://www.f05.uni-stuttgart.de/fakultaet/aktuelles/veranstaltung/Unsound-Program-Analysis--Feedback-directed-Test-Generation/
END:VEVENT
END:VCALENDAR