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

We present a novel methodology for the automated resource analysis of non-deterministic,
probabilistic imperative programs, which gives rise to a \emph{modular approach}.
Program fragments are analysed in full independence.
Moreover, the established results allow us to incorporate sampling
from \emph{dynamic distributions}, making our analysis applicable to a wider class of examples, for
example the \emph{Coupon Collector's problem}.

We have implemented our contributions in the tool \ecoimp, exploiting a constraint-solver over iterative refineable
cost functions facilitated by off-the-shelf SMT solvers.
We provide ample experimental evidence of the prototype's algorithmic power. %MA: downscale superiority.
Our experiments show that our tool runs typically at least one \emph{order of magnitude faster} than comparable tools.
On more involved examples, it may even be the case that execution times of seconds become milliseconds.
At the same time we retain the precision of existing tools.

The extensions in applicability and the greater efficiency of our prototype, yield
scalability of sorts. This effects into a wider class of examples, whose expected cost analysis
can be thus be performed fully automatically.

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