Protocol Inference Using Static Path Profiles
No abstract available.
Related papers
- Inferred call path profiling OOPSLA 2009
- Static analysis for probabilistic programs: inferring whole program properties from finitely many paths PLDI 2013
- Profile-guided static typing for dynamic scripting languages OOPSLA 2009
- Exploiting Hardware Performance Counters with Flow and Context Sensitive Profiling PLDI 1997
- Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs OOPSLA 2026
- GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks CGO 2025
- Profile-Directed Optimization of Event-Based Programs PLDI 2002
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019