Modular Verification of Heap Reachability Properties in Separation Logic
A wide-spectrum language for verification of programs on weak memory
  models
Lower bounds for trace reconstruction Chimera Time-Crystalline order in quantum spin networks DNA Sequencing via Quantum Mechanics and Machine Learning Classifying spaces for knots: New bridges between knot theory and
  algebraic number theory Snow Crystals Version Control of Speaker Recognition Systems The double-bubble problem on the square lattice Rationally Inattentive Utility Maximization for Interpretable Deep Image
  Classification Isometric immersions, energy minimization and self-similar buckling in
  non-Euclidean elastic sheets Enhancing microalgal cell wall permeability by microbubble streaming
  flow On masses of unstable particles and their antiparticles in the
  CPT-invariant system The equivariant Toda lattice, I Geometric imprint of CP violation in two flavor neutrino oscillations Assessing Solution Quality of 3SAT on a Quantum Annealing Platform A Renormalization Group Approach to Spontaneous Stochasticity Stability of the homogeneous Bose-Einstein condensate at large gas
  parameter Dynamics of Negativity of a Wannier-Stark Many-Body Localized System
  Coupled to a Bath Reply to Lindgren and Salomonson Causality and deceit: Do androids watch action movies? Limit Theorems on the Mesoscopic Scale for the Anderson Model
cs.PL cs.LO