VergeDB: A Database for IoT Analytics on Edge Devices. - John Paparrizos; Chunwei Liu; Bruno Barbarioli; Johnny Hwang; Ikraduya Edian; Aaron J. Elmore; Michael J. Franklin; Sanjay Krishnan (CIDR, 2021)