Ritwika Ghosh

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 5

Top Topics

Programming Language

Cooperative Multiagent Systems

Extended Abstract

Top Venues

Proc. ACM Program. Lang.

Publications

Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA (2020)
Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR (2019)
Ritwika Ghosh, Sasa Misailovic, Sayan Mitra
Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC (2018)
Ritwika Ghosh, Sayan Mitra
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. FORTE (2015)