Acceleration in Multi-PushDown Systems
Abstract elided by the publisher.
Related papers
- Global Reachability in Bounded Phase Multi-stack Pushdown Systems CAV 2010
- Revisiting Underapproximate Reachability for Multipushdown Systems TACAS 2020
- An OpenACC-based unified programming model for multi-accelerator systems PPoPP 2015
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- TAC: Cache-Based System for Accelerating Billion-Scale GNN Training on Multi-GPU Platform PPoPP 2026
- Android Stack Machine CAV 2018
- EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system PLDI 2007
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017