Suppl: A Flexible Language for Policies
Abstract elided by the publisher.
Related papers
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- Flexible access control for javascript OOPSLA 2013
- A Type System for Expressive Security Policies POPL 2000
- Program Analysis with Local Policy Iteration VMCAI 2016
- Non-interference Preserving Optimising Compilation OOPSLA 2025
- Trieste: A C++ DSL for Flexible Tree Rewriting SLE 2024
- HPVM: heterogeneous parallel virtual machine PPoPP 2018
- A verified information-flow architecture POPL 2014