Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Thu 30 May 2019 15:00 - 15:20 at Place du Canada - Trends and Challenges in SE Chair(s): Barbora Buhnova

Many modern applications require low-latency processing of large data sets, often by using approximate algorithms that trade accuracy of the results for faster execution or reduced memory consumption. Although the algorithms provide probabilistic accuracy and performance guarantees, a software developer who implements these algorithms has little support from existing tools. Standard profilers do not consider accuracy of the computation and do not check whether the outputs of these programs satisfy their accuracy specifications.

We present AxProf, an algorithmic profiling framework for analyzing randomized approximate programs. The developer provides the accuracy specification as a formula in a mathematical notation, using probability or expected value predicates. AxProf automatically generates statistical reasoning code. It first constructs the empirical models of accuracy, time, and memory consumption. It then selects and runs appropriate statistical tests that can, with high confidence, determine if the implementation satisfies the specification.

We used AxProf to profile 15 approximate applications from three domains – data analytics, numerical linear algebra, and approximate computing. AxProf was effective in finding bugs and identifying various performance optimizations. In particular, we discovered five previously unknown bugs in the implementations of the algorithms and created fixes, guided by AxProf.

Thu 30 May

icse-2019-Paper-Presentations
14:00 - 15:30: Papers - Trends and Challenges in SE at Place du Canada
Chair(s): Barbora BuhnovaMasaryk University
icse-2019-Software-Engineering-in-Practice14:00 - 14:20
Talk
Saleema AmershiMicrosoft, Andrew BegelMicrosoft Research, Christian BirdMicrosoft Research, Rob DeLineMicrosoft Research, Harald GallUniversity of Zurich, Ece KamarMicrosoft, Nachiappan NagappanMicrosoft Research, Besmira NushiMicrosoft Research, Thomas ZimmermannMicrosoft Research
Pre-print
icse-2019-New-Ideas-and-Emerging-Reults14:20 - 14:30
Talk
Moritz BellerDelft University of Technology, Joseph HejderupDelft University of Technology, Netherlands
Pre-print
icse-2019-New-Ideas-and-Emerging-Reults14:30 - 14:40
Talk
Andriy MiranskyyRyerson University, Lei ZhangRyerson University
Pre-print
icse-2019-New-Ideas-and-Emerging-Reults14:40 - 14:50
Talk
Emily WinterLancaster University, Stephen ForshawLancaster University, Lucy HuntLancaster University, Maria Angela FerarrioLancaster University
icse-2019-New-Ideas-and-Emerging-Reults14:50 - 15:00
Talk
Jack H. LutzIowa State University, Neil LutzUniversity of Pennsylvania, Robyn LutzIowa State University, Matthew RileyIowa State University
icse-2019-Technical-Papers15:00 - 15:20
Talk
Keyur JoshiUniversity of Illinois at Urbana-Champaign, Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
Pre-print
icse-2019-Paper-Presentations15:20 - 15:30
Talk