Fencing off Go: Liveness and Safety for Channel-based Programming
  (extended version)
Description, Implementation, and Evaluation of a Generic Design for
  Tabled CLP
An Interactive Musical Prediction System with Mixture Density Recurrent
  Neural Networks Photon-Notoph Equations Process Discovery Using Graph Neural Networks A More General Theory of Static Approximations for Conjunctive Queries Quantum Observables on a Completely Simple Semigroup Generalized Conjugate Gradient Methods for $\ell_1$ Regularized Convex
  Quadratic Programming with Finite Convergence Looking for the gluon condensation signature in proton using the Earth
  limb gamma-ray spectra CloudSim: A Novel Framework for Modeling and Simulation of Cloud
  Computing Infrastructures and Services On the Dynamics of Deterministic Epidemic Propagation over Networks Control of eigenfunctions on hyperbolic surfaces: an application of
  fractal uncertainty principle Bringing the LHC and ATLAS to a regional planetarium Succinct progress measures for solving parity games Self-organized quantization and oscillations on continuous fixed-energy
  sandpiles Interacting Bose and Fermi gases in low dimensions and the Riemann
  hypothesis A SAT Approach to Twin-Width Arithmetic of commutative semigroups with a focus on semigroups of
  ideals and modules Resolution enhancement in scanning electron microscopy using deep
  learning Giant Coulomb broadening and Raman lasing on ionic transitions An Exact Integral-to-Sum Relation for Products of Bessel Functions Liquidsoap: a High-Level Programming Language for Multimedia Streaming Chiral Symmetry Breaking and the Dirac Spectrum at Nonzero Chemical
  Potential
cs.PL cs.LO