From Reversible Programs to Univalent Universes and Back
An Effect System for Algebraic Effects and Handlers
Nanoscale resolution immersion scanning thermal microscopy Exponential lower bounds on fixed-size psd rank and semidefinite
  extension complexity GaussianProcesses.jl: A Nonparametric Bayes package for the Julia
  Language Lieb-Robinson and the butterfly effect Analysis and Simulation of a Novel Run-and-Tumble Model with
  Autochemotaxis Convergence of metadynamics: discussion of the adiabatic hypothesis PopSkipJump: Decision-Based Attack for Probabilistic Classifiers Intelligent Reflecting Surface Aided Wireless Energy and Information
  Transmission: An Overview Development and performance of a HemeLB GPU code for human-scale blood
  flow simulation Laser-induced dynamics of molecules with strong nuclear quadrupole
  coupling Scalable and Robust Construction of Topical Hierarchies Incoherent bremsstrahlung in flat and bent crystal Remarks on manifolds with two sided curvature bounds Continuity results for TV-minimizers From Inference to Physics The static and dynamic conductivity of warm dense Aluminum and Gold
  calculated within a density functional approach Sparse/Robust Estimation and Kalman Smoothing with Nonsmooth Log-Concave
  Densities: Modeling, Computation, and Theory Hermite--Pad\'{e} approximations with Pfaffian structures: Novikov
  peakon equation and integrable lattices Unraveling the Evolution of Defectors in Online Business Games Accelerating R-based Analytics on the Cloud
cs.PL cs.LO