ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Sat 9 Sep 2023 11:40 - 12:05 at Vashon 2 - DeclMed: Session 2 Chair(s): Sierra Moxon

Arun Isaac (University College London), Pjotr Prins (University of Tennessee Health Science Center)

Computer programs are very susceptible to breakage. Setting up automated testing to protect against breakage introduced by modifying code is considered best practice. Even so, bugs slip through the nets and programmers often become wary of editing code that is known to work well. “If it ain’t broke, don’t fix it” is the idiom. As a result, older software tends to set like concrete and not evolve much.

The susceptibility of software to breakage is due to the implicit assumption in programming culture of scarce computational resources. Code with degenerate parts—say, two different algorithms to compute the same function—is considered wasteful. Degeneracy is not a new idea, and safety critical applications such as in the aerospace industry routinely use degeneracy. But, the complexity of plumbing together degenerate parts has dissuaded more widespread use in general software.

In this talk, we will show how propagator networks can serve as a robust and expressive architecture to implement degenerate computation. We will explain how they permit easy evolution of software, enable collection of operational feedback from software, and enable easy mixing of programming languages. Finally, we will present concrete examples using GeneNetwork, a bioinformatics data analysis web service, as a use case.

Slides (slides.pdf)332KiB

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30
DeclMed: Session 2DeclMed at Vashon 2
Chair(s): Sierra Moxon Lawrence Berkeley National Laboratory
10:50
25m
Talk
Modeling Graph-Based Morphology of the Synaptic Spine Head
DeclMed
Matthew Hur University of California, Irvine
11:15
25m
Talk
Why code in Python+C if you can code in Lisp+Zig?
DeclMed
Pjotr Prins University of Tennessee Health Science Center
File Attached
11:40
25m
Talk
Propagator networks for degenerate computation
DeclMed
Arun Isaac University College London (UCL)
File Attached
12:05
25m
Talk
Functional Pearl: Signature Memoization for Drug Repurposing
DeclMed
Media Attached File Attached