SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 09:00 - 09:20 at SPLASH-III - F-2B Chair(s): Hridesh Rajan
Fri 20 Nov 2020 21:00 - 21:20 at SPLASH-III - F-2B Chair(s): Alex Potanin, Steve Blackburn

While editing code, it is common for developers to make multiple related
repeated edits that are all instances of a more general program transformation.
Since this process can be tedious and error-prone, we study the problem of
automatically learning program transformations from past edits, which
can then be used to predict future edits. We take a novel view of the
problem as a semi-supervised learning problem: apart from the
concrete edits that are instances of the general transformation,
the learning procedure also exploits access to additional inputs
(program subtrees) that are marked as positive or negative depending on
whether the transformation applies on those inputs. We present a procedure
to solve the semi-supervised transformation learning problem using anti-unification
and programming-by-example synthesis technology.
To eliminate reliance on access to marked additional inputs,
we generalize the semi-supervised learning procedure to a feedback-driven
procedure that also generates the marked additional inputs in
an iterative loop. We apply these ideas to build and evaluate three applications
that use different mechanisms for generating feedback. Compared to existing
tools that learn program transformations from edits, our feedback-driven
semi-supervised approach
is vastly more effective in successfully predicting edits with significantly lesser amounts of past edit data.

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

09:00 - 10:20: F-2BOOPSLA at SPLASH-III +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00 - 09:20
Talk
OOPSLA
Xiang GaoNational University of Singapore, Shraddha BarkeUniversity of California at San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
Link to publication DOI Media Attached
09:20 - 09:40
Talk
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania
Link to publication DOI Media Attached
09:40 - 10:00
Talk
OOPSLA
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
Link to publication DOI Media Attached
10:00 - 10:20
Talk
OOPSLA
Hailong ZhangFordham University, Yu HaoOhio State University, Sufian LatifOhio State University, Raef BassilyOhio State University, Atanas RountevOhio State University
Link to publication DOI Media Attached
21:00 - 22:20: F-2BOOPSLA at SPLASH-III
Chair(s): Alex PotaninVictoria University of Wellington, Steve BlackburnAustralian National University
21:00 - 21:20
Talk
OOPSLA
Xiang GaoNational University of Singapore, Shraddha BarkeUniversity of California at San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
Link to publication DOI Media Attached
21:20 - 21:40
Talk
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania
Link to publication DOI Media Attached
21:40 - 22:00
Talk
OOPSLA
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
Link to publication DOI Media Attached
22:00 - 22:20
Talk
OOPSLA
Hailong ZhangFordham University, Yu HaoOhio State University, Sufian LatifOhio State University, Raef BassilyOhio State University, Atanas RountevOhio State University
Link to publication DOI Media Attached