Communication-Safe Web Programming in TypeScript with Routed Multiparty
  Session Types
Measuring source code conciseness across programming languages using
  compression
Imperfect Oracles: The Effect of Strategic Information on Stock Markets A Linear Classifier Based on Entity Recognition Tools and a Statistical
  Approach to Method Extraction in the Protein-Protein Interaction Literature Energy Loss of High-Energy Particles in Particle-in-Cell Simulation CSPs with Global Modular Constraints: Algorithms and Hardness via
  Polynomial Representations Equilibrium potential profile across magnetic field in inhomogeneous
  electronegative plasma Polyethylene naphthalate film as a wavelength shifter in liquid argon
  detectors Sparse recovery for spherical harmonic expansions A Quantum-inspired Algorithm for General Minimum Conical Hull Problems Geometrical properties of local dynamics in Hamiltonian systems: the
  Generalized Alignment Index (GALI) method Large-Scale Query-by-Image Video Retrieval Using Bloom Filters Bragg's reflection for walking droplets in 1D crystals Augmented Skew-Symetric System for Shallow-Water System with Surface
  Tension Allowing Large Gradient of Density The Quality of Oscillations in Overdamped Networks The non-commutative n-th Chern number A Knotted Meta-molecule with 2-D Isotropic Optical Activity Rotating the
  Incident Polarization by 90{\deg} Ranking Online Social Users by their Influence SG-Lagrangian submanifolds and their parametrization Semiclassical analysis of a nonlocal boundary value problem related to
  magnitude Chaitin's Omega and an Algorithmic Phase Transition Epidemics on Hypergraphs: Spectral Thresholds for Extinction Efficient estimation method for time evolution of proto-neutron star
  mass and radius from supernova neutrino signal SLS (Single $\ell_1$ Selection): a new greedy algorithm with an
  $\ell_1$-norm selection rule
cs.PL cs.SE