How to Compute Worst-Case Execution Time by Optimization Modulo Theory
  and a Clever Encoding of Program Semantics
Contextual Modal Types for Algebraic Effects and Handlers
Discrepancy-based Inference for Intractable Generative Models using
  Quasi-Monte Carlo Entropy of Hidden Markov Processes via Cycle Expansion Universal Route for the Emergence of Exceptional Points in PT-Symmetric
  Metamaterials with Unfolding Spectral Symmetries Finding Liouvillian first integrals of rational ODEs of any order in
  finite terms Ionization of a Model Atom: Exact Results and Connection with Experiment Kohn's theorem and Newton-Hooke symmetry for Hill's equations Optimal Questionnaires for Screening of Strategic Agents RESTORE: Automated Regression Testing for Datasets Constrained optimisation of preliminary spacecraft configurations under
  the design-for-demise paradigm Generalized Fishburn numbers and torus knots smartSDH: An Experimental Study of Mechanism Based Building Control Reduced-Order Modeling through Machine Learning Approaches for Brittle
  Fracture Applications Flattening single-vertex origami: the non-expansive case Mathematics for cryo-electron microscopy Fastest mixing Markov chain on graphs with symmetries Duality and Conditional Expectations in the Nakajima-Mori-Zwanzig
  Formulation From Smooth to Almost Complex Towards a Principled Learning Rate Adaptation for Natural Evolution
  Strategies Mapping distinct phase transitions to a neural network The depletion in Bose Einstein condensates using Quantum Field Theory in
  curved space An educational distributed Cosmic Ray detector network based on ArduSiPM Morphological components analysis for circumstellar disks imaging
cs.PL cs.LO