Extending Basic Block Versioning with Typed Object Shapes
Mechanized semantics for the Clight subset of the C language
Residual finiteness for central extensions of lattices in
  $\mathrm{PU}(n,1)$ and negatively curved projective varieties Projected Topological Branes The Canonical Form of the Rabi Hamiltonian On the geometrization of matter by exotic smoothness Luge Track Safety Orderable groups and semigroup compactifications Numerical Method in Classical Dynamics Representations for the derivative at zero and finite parts of the
  Barnes zeta function Tropical formulae for summation over a part of SL(2, Z) A new algorithm for solving the rSUM problem Spacetime interpretation of Torsion in Prismatic Bodies Classification of fractional quantum Hall states with spatial symmetries Towards Gigayear Storage Using a Silicon-Nitride/Tungsten Based Medium Universality, exponents and anomaly cancellation in disordered Dirac
  fermions Dominated Splitting and Pesin's Entropy Formula Dark-bright soliton pairs: bifurcations and collisions
cs.PL