A Thread-Local Semantics and Efficient Static Analyses for Race Free
  Programs
Function Overloading Implementation in C++
Perturbation Resilience and Superiorization of Iterative Algorithms Superfluidity in a Three-flavor Fermi Gas with SU(3) Symmetry Learning algorithms versus automatability of Frege systems From Reinforcement Learning to Optimal Control: A unified framework for
  sequential decisions On Weingarten-Volterra defects Hybrid Quantum-Classical Graph Convolutional Network The Maxwell-Stefan Diffusion Limit of a Hard-Sphere Kinetic Model for
  Mixtures Closed $k$-Schur Katalan functions as $K$-homology Schubert
  representatives of the affine Grassmannian A Novel Approach for Classification and Forecasting of Time Series in
  Particle Accelerators CaloGAN: Simulating 3D High Energy Particle Showers in Multi-Layer
  Electromagnetic Calorimeters with Generative Adversarial Networks Axion Electrodynamics in Topological Materials Combining complex networks and data mining: why and how Liquid droplets act as "compass needles" for the stresses in a
  deformable membrane FabSim: facilitating computational research through automation on
  large-scale and distributed e-infrastructures Crowd Sensing and Living Lab Outdoor Experimentation Made Easy Wisture: RNN-based Learning of Wireless Signals for Gesture Recognition
  in Unmodified Smartphones Hamiltonian Relativistic Two-Body Problem: Center of Mass and Orbit
  Reconstruction Burstiness in activity-driven networks and the epidemic threshold Application of integral equations to simulate local fields in carbon
  nanotube reinforced composites On the Scaling Window of Model RB
cs.PL