PANDA - Supporting Distributed Programming in C++
Abstract elided by the publisher.
Related papers
- FORTE: Online DataFrame Query Optimizer CGO 2026
- AutoPandas: neural-backed generators for program synthesis OOPSLA 2019
- Gauss: program synthesis by reasoning over graphs OOPSLA 2021
- Modular State Level Analysis of Distributed Systems Techniques and Tool Support TACAS 1999
- ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation TACAS 2000
- A Parallel Debugger with Support for Distributed Arrays, Multiple Executables and Dynamic Processes CC 1996
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs TOPLAS 1983
- Guardians and Actions: Linguistic Support for Robust, Distributed Programs POPL 1982