Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)
Using human-in-the-loop synthesis to author functional reactive programs
Macaulay bases of modules No evidence for black hole spin powering of jets in X-ray binaries A Simple Model of Evolution with Variable System Size Methods to Recover Unknown Processes in Partial Differential Equations
  Using Data Cosmology-marginalized approaches in Bayesian model comparison: the
  neutrino mass as a case study Fluctuation dynamics near the QCD critical point On Unconditionally Secure Multiparty Computation for Realizing
  Correlated Equilibria in Games PosePipe: Open-Source Human Pose Estimation Pipeline for Clinical
  Research Toeplitz Inverse Covariance-Based Clustering of Multivariate Time Series
  Data Protein Design by Algorithm Repeated differentiation and free unitary Poisson process Automated bird sound recognition in realistic settings Special Smarandache Curves According To Darboux Frame In E3 Maximal r-Diameter Sets and Solids of Constant Width
cs.PL