Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 14:30 - 15:00 at Templars - Onward! Papers 2 Chair(s): Hidehiko Masuhara

Software applications have grown increasingly complex to deliver the features desired by users. Software modularity has been used as a way to mitigate the costs of developing such complex software. Active learning-based program inference provides an elegant framework that exploits this modularity to tackle development correctness, performance and cost in large applications. Inferred programs can be used for many purposes, including generation of secure code, code re-use through automatic encapsulation, adaptation to new platforms or languages, and optimization. We show through detailed examples how our approach can infer three modules in a representative application. Finally, we outline the broader paradigm and open research questions.

Wed 23 Oct

Displayed time zone: Beirut change

14:00 - 15:30
Onward! Papers 2Onward! Papers at Templars
Chair(s): Hidehiko Masuhara Tokyo Institute of Technology
AlleAlle: Bounded Relational Model Finding with Unbounded Data
Onward! Papers
Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands
Link to publication DOI Pre-print
Active Learning for Software Engineering
Onward! Papers
José Pablo Cambronero MIT, Thurston HY Dang MIT, Nikos Vasilakis MIT CSAIL, USA, Jiasi Shen Massachusetts Institute of Technology, Jerry Wu MIT, Martin C. Rinard MIT