ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Mon 8 Apr 2019 15:00 - 15:30 at SUN II - Language Design Chair(s): Atsushi Igarashi

Site-graph rewriting languages, such as Kappa or BNGL, offer parsimonious ways to describe highly combinatorial systems of mechanistic interactions among proteins, which may be then simulated efficiently. Modelling mechanisms involving counting (a number of phosphorylated sites for instance) require an exponential number of rules in Kappa, and may not be simulated efficiently in BNGL.

In this paper, we extend Kappa to deal both parsimoniously and efficiently with counters. We propose a single push-out semantics for Kappa with counters, we show how to compile Kappa with counters into Kappa without counters (without requiring more rules, nor damaging the performance of the simulation), and we design a static analysis, based on affine relationships, to relate the value of each counter to their meaning and bound their values.

Mon 8 Apr

esop-2019-papers
14:00 - 16:00: ESOP 2019 - Language Design at SUN II
Chair(s): Atsushi IgarashiKyoto University, Japan
esop-2019-papers14:00 - 14:30
Talk
Paul DownenUniversity of Oregon, USA, Zachary Sullivan, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK
Link to publication
esop-2019-papers14:30 - 15:00
Talk
Li-yao XiaUniversity of Pennsylvania, Dominic OrchardUniversity of Kent, UK, Meng WangUniversity of Bristol, UK
Link to publication
esop-2019-papers15:00 - 15:30
Talk
Link to publication
esop-2019-papers15:30 - 16:00
Talk
Kathleen FisherTufts University, Ferdinand VeselySwansea University
Link to publication