Cited By
View all- Li JWang EZhang Y(2024)Compiling Probabilistic Programs for Variable Elimination with Information FlowProceedings of the ACM on Programming Languages10.1145/36564488:PLDI(1755-1780)Online publication date: 20-Jun-2024
- Hunt SSands DStucki S(2023)Reconciling Shannon and Scott with a Lattice of Computable InformationProceedings of the ACM on Programming Languages10.1145/35717407:POPL(1987-2016)Online publication date: 11-Jan-2023
- Bocci AGuanciale RForti SFerrari GBrogi A(2022)Secure Partitioning of Composite Cloud ApplicationsService-Oriented and Cloud Computing10.1007/978-3-031-04718-3_3(47-64)Online publication date: 22-Mar-2022
- Show More Cited By