Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Abstract elided by the publisher.
Related papers
- Open multi-methods for c++ GPCE 2007
- Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) ECOOP 2019
- InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration OOPSLA 2026
- Dynamic atomicity: optimizing swift memory management DLS 2017
- Kitsune: efficient, general-purpose dynamic software updating for C OOPSLA 2012
- Verifying an Open Compiler Using Multi-language Semantics ESOP 2014
- Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges SAS 2002
- Robust Almost-Sure Reachability in Multi-Environment MDPs TACAS 2023