TracerX: Dynamic Symbolic Execution with Interpolation
Industrial Experience Report on the Formal Specification of a Packet
  Filtering Language Using the K Framework
Allocating marketing resources over social networks: A long-term
  analysis Thermodynamic Machine Learning through Maximum Work Production On random measures, unordered sums and discontinuities of the first kind Privacy Concerns in Chatbot Interactions: When to Trust and When to
  Worry Coexisting Vortices and Antivortices Generated by Dually Gauged Harmonic
  Maps Two complementary representations of a scale-free network Deciphering Environmental Air Pollution with Large Scale City Data Quantum sensing in a physiological-like cell niche using fluorescent
  nanodiamonds embedded in electrospun polymer nanofibers Brain Modelling as a Service: The Virtual Brain on EBRAINS Modeling Endogenous Social Networks: the Example of Emergence and
  Stability of Cooperation without Refusal MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications Impact-induced energy transfer and dissipation in granular clusters
  under microgravity conditions The strictly-correlated electron functional for spherically symmetric
  systems revisited Physical limits of inference MMS Observations of Whistler and Lower Hybrid Drift Waves Associated
  with Magnetic Reconnection in the Turbulent Magnetosheath Emergent Effective Collusion in an Economy of Perfectly Rational
  Competitors Setting the stage for data science: integration of data management
  skills in introductory and second courses in statistics Distributed Estimation Recovery under Sensor Failure Light diffusion in birefringent polycrystals and the IceCube ice
  anisotropy
cs.PL cs.SE