From post

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.

 

Другие публикации лиц с тем же именем

STORM: Refinement Types for Secure Web Applications., , , , , , , и . OSDI, стр. 441-459. USENIX Association, (2021)Type-directed program synthesis for RESTful APIs., , , , , и . PLDI, стр. 122-136. ACM, (2022)Counterfactual Resimulation for Causal Analysis of Rule-Based Models., , и . IJCAI, стр. 1882-1890. ijcai.org, (2018)Liquid information flow control., , , , , и . Proc. ACM Program. Lang., 4 (ICFP): 105:1-105:30 (2020)Contextual and Granular Policy Enforcement in Database-backed Applications., , , и . AsiaCCS, стр. 432-444. ACM, (2020)How APIs Are Both the Illness and the Cure: The Software Heterogeneity Problem in Modern Web Applications.. PLAS@CCS, стр. 23. ACM, (2020)Automating Audit with Policy Inference., , и . CSF, стр. 1-16. IEEE, (2021)DCARS: differential correlation across ranked samples, , , , и . Bioinformatics, 35 (5): 823--829 (2019)A novel 3D DRAM memory cube architecture for space applications., , , , , , и . DAC, стр. 24:1-24:6. ACM, (2018)Testing and Modeling of a SAR ADC for Cryogenic Applications., , , , , , и . MWSCAS, стр. 758-761. IEEE, (2019)