IFDS Taint Analysis with Access Paths
Path-Based Program Repair
Semantic Text Analysis for Detection of Compromised Accounts on Social
  Networks Buzz: An Extensible Programming Language for Self-Organizing
  Heterogeneous Robot Swarms Mechanical resonance: 300 years from discovery to the full understanding
  of its importance Kitaev chains with long-range pairing Dynamical Quantization of Contact Structures Support Vector Machines and Generalisation in HEP Kolmogorov complexity in perspective Heat kernels on 2d Liouville quantum gravity: a numerical study Shining LUX on Isospin-Violating Dark Matter Beyond Leading Order A Non-parametric Statistical Approach on the Classification of
  Photometric Time Series Data Heterogeneous Task Offloading and Resource Allocations via Deep
  Recurrent Reinforcement Learning in Partial Observable Multi-Fog Networks A Framework for Reproducible, Interactive Research: Application to
  health and social sciences Scattering-Induced Disk Polarization By Millimeter-Sized Grains Untangling knots via reaction-diffusion dynamics of vortex strings Extracting Dense and Connected Subgraphs in Dual Networks by Network
  Alignment An explanatory evo-devo model for the developmental hourglass Supersymmetric Quantum Mechanics and Solitons of the sine-Gordon and
  Nonlinear Schr\"{o}dinger Equations
cs.PL cs.SE