Shamiek Mangipudi

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Reinforcement Learning

Computationally Expensive

Top Venues

Proc. ACM Program. Lang.

Publications

Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation. Proc. ACM Program. Lang. 7 (PLDI) (2023)