66 citations · 155 across the 15 of their papers we have counts for
5 papers · 1 filter
Semi-Automated Protocol Disambiguation and Code Generation
Jane Yen, Tamás Lévai, Qinyuan Ye +3
For decades, Internet protocols have been specified using natural language. Given the ambiguity inherent in such text, it is not surprising that protocol implementations have long…
New Frontiers in IoT: Networking, Systems, Reliability, and Security Challenges
Saurabh Bagchi, Tarek F. Abdelzaher, Ramesh Govindan +4
The field of IoT has blossomed and is positively influencing many application domains. In this paper, we bring out the unique challenges this field poses to research in computer sy…
Rapid Top-Down Synthesis of Large-Scale IoT Networks
Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof +6
Advances in optimization and constraint satisfaction techniques, together with the availability of elastic computing resources, have spurred interest in large-scale network verific…
On Localizing a Camera from a Single Image
Pradipta Ghosh, Xiaochen Liu, Hang Qiu +3
Public cameras often have limited metadata describing their attributes. A key missing attribute is the precise location of the camera, using which it is possible to precisely pinpo…
Grab: Fast and Accurate Sensor Processing for Cashier-Free Shopping
Xiaochen Liu, Yurong Jiang, Kyu-Han Kim +1
Cashier-free shopping systems like Amazon Go improve shopping experience, but can require significant store redesign. In this paper, we propose Grab, a practical system that levera…