SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Fri 20 Nov 2020 14:00 - 14:20 at SPLASH-I - F-4A Chair(s): Ruben Martins, Louis Mandel
Sat 21 Nov 2020 02:00 - 02:20 at SPLASH-I - F-4A Chair(s): Hidehiko Masuhara

We present Hoogle+, a web-based API discovery tool for Haskell. A Hoogle+ user can specify a programming task using either a type, a set of input-output tests, or both. Given a specification, the tool returns a list of matching programs composed from functions in popular Haskell libraries, and annotated with automatically-generated examples of their behavior. These features of Hoogle+ are powered by three novel techniques. First, to enable efficient type-directed synthesis from tests only, we develop an algorithm that infers likely type specifications from tests. Second, to return high-quality programs even with ambiguous specifications, we develop a technique that automatically eliminates meaningless and repetitive synthesis results. Finally, we show how to extend this elimination technique to automatically generate informative inputs that can be used to demonstrate program behavior to the user. To evaluate the effectiveness of Hoogle+ compared with traditional API search techniques, we perform a user study with 30 participants of varying Haskell proficiency. The study shows that programmers equipped with Hoogle+ generally solve tasks faster and were able to solve 50% more tasks overall.

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

13:00 - 14:20: F-4AOOPSLA at SPLASH-I +12h
Chair(s): Ruben MartinsCarnegie Mellon University, Louis MandelIBM Research, USA
13:00 - 13:20
Talk
OOPSLA
Martin AvanziniInria, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
Link to publication DOI Media Attached
13:20 - 13:40
Talk
OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Rupak MajumdarMPI-SWS
Link to publication DOI Media Attached
13:40 - 14:00
Talk
OOPSLA
Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity of California at Los Angeles
Link to publication DOI Pre-print Media Attached
14:00 - 14:20
Talk
OOPSLA
Michael B. JamesUniversity of California at San Diego, Zheng GuoUniversity of California, San Diego, Ziteng WangUniversity of California at San Diego, Shivani DoshiUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Ranjit JhalaUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached

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

01:00 - 02:20: F-4AOOPSLA at SPLASH-I
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
01:00 - 01:20
Talk
OOPSLA
Martin AvanziniInria, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
Link to publication DOI Media Attached
01:20 - 01:40
Talk
OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Rupak MajumdarMPI-SWS
Link to publication DOI Media Attached
01:40 - 02:00
Talk
OOPSLA
Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity of California at Los Angeles
Link to publication DOI Pre-print Media Attached
02:00 - 02:20
Talk
OOPSLA
Michael B. JamesUniversity of California at San Diego, Zheng GuoUniversity of California, San Diego, Ziteng WangUniversity of California at San Diego, Shivani DoshiUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Ranjit JhalaUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached