Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automating Audit with Policy Inference., , and . CSF, page 1-16. IEEE, (2021)Type-directed program synthesis for RESTful APIs., , , , , and . PLDI, page 122-136. ACM, (2022)STORM: Refinement Types for Secure Web Applications., , , , , , , and . OSDI, page 441-459. USENIX Association, (2021)Liquid information flow control., , , , , and . Proc. ACM Program. Lang., 4 (ICFP): 105:1-105:30 (2020)How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.. PLAS@CCS, page 23. ACM, (2020)Contextual and Granular Policy Enforcement in Database-backed Applications., , , and . AsiaCCS, page 432-444. ACM, (2020)Counterfactual Resimulation for Causal Analysis of Rule-Based Models., , and . IJCAI, page 1882-1890. ijcai.org, (2018)Testing and Modeling of a SAR ADC for Cryogenic Applications., , , , , , and . MWSCAS, page 758-761. IEEE, (2019)Autotract: automatic cleaning and tracking of fibers., , , and . Medical Imaging: Image Processing, volume 9784 of SPIE Proceedings, page 978408. SPIE, (2016)A novel 3D DRAM memory cube architecture for space applications., , , , , , and . DAC, page 24:1-24:6. ACM, (2018)