Towards certificated model robustness against weight perturbationsTsui Wei WengPu Zhaoet al.2020AAAI 2020
Online planner selection with graph neural networks and adaptive schedulingTengfei MaPatrick Ferberet al.2020AAAI 2020
Causal knowledge extraction through large-scale text miningOktie HassanzadehDebarun Bhattacharjyaet al.2020AAAI 2020
Speculator: A tool to analyze speculative execution attacks and mitigationsAndrea MambrettiMatthias Neugschwandtneret al.2019ACSAC 2019
Agni: An Efficient Dual-Access File System over Object StorageKunal LillaneyVasily Tarasovet al.2019SoCC 2019