Roles Are Really Great!
Accurate Programming: Thinking about programs in terms of properties
Efficiency of a wide-area survey in achieving short- and long-term
  warning for small impactors Brownian excursions an Parisian barrier options: a note Certain uncertainty: using pointwise error estimates in super-resolution
  microscopy Adversarial Decisions on Complex Dynamical Systems using Game Theory Changepoint detection in random coefficient autoregressive models Comparison of Uniform and Random Sampling for Speech and Music Signals Isomorphism problems for tensors, groups, and cubic forms: completeness
  and reductions A covering second-order Lagrangian for the relativistic top without
  forces A Variant of Azuma's Inequality for Martingales with Subgaussian Tails Visualization of Tradeoff in Evaluation: from Precision-Recall & PN to
  LIFT, ROC & BIRD Improved Quantum Multicollision-Finding Algorithm Adapting Persistent Data Structures for Concurrency and Speculation Testing Multiple Linear Regression Systems with Metamorphic Testing Nonlinear superfluidity and time-delay based chaotic spin-down in
  pulsars Nuclear Norm Under Tensor Kronecker Products Explaining Anomalies Detected by Autoencoders Using SHAP Computing higher homotopy groups is W[1]-hard Calculation of Energy Loss in Antiproton Collisions with Many-Electron
  Systems using Ehrenfest's Theorem Multi-Scale Stochastic Simulation for Diffusive Molecular Communication Clipped DeepControl: deep neural network two-dimensional pulse design
  with an amplitude constraint layer A theoretical investigation of time-dependent Kohn-Sham equations A commutative algebraic approach to the fitting problem
cs.PL cs.SE