Precise Null Pointer Analysis Through Global Value Numbering
Search-based Tier Assignment for Optimising Offline Availability in
  Multi-tier Web Applications
Picturing classical and quantum Bayesian inference Maximal Relevance and Optimal Learning Machines Oblivious Bounds on the Probability of Boolean Functions Infrastructure Enabled Autonomy: A Distributed Intelligence Architecture
  for Autonomous Vehicles Phase Transitions In Compact Stars Constraints on Dark Matter and Supersymmetry from LAT Observations of
  Dwarf Galaxies High Performance Solutions for Big-data GWAS Fast Sparse Least-Squares Regression with Non-Asymptotic Guarantees A simple and effective parametrisation for Earth-impacting orbits Average Age of Information Minimization in Reliable Covert Communication
  on Time-Varying Channels Stability conditions, cluster varieties, and Riemann-Hilbert problems
  from surfaces Continuum modeling perspectives of non-Fourier heat conduction in
  biological systems Machine learning applied to single-shot x-ray diagnostics in an XFEL On the Linearized Artin Braid Representation Topological classification of sesquilinear forms: reduction to the
  nonsingular case Distributed soft thresholding for sparse signal recovery A Resolution of the Sommerfeld Paradox Investigating the Vision Transformer Model for Image Retrieval Tasks Breeding realistic D-brane models
cs.PL