Good actors can come in smaller sizes: a case study on the value of...
Good actors can come in smaller sizes: a case study on the value of actor-critic asymmetry Mysore, Siddharth; Mabsout, Bassel El; Mancuso, Renato; Saenko, Kate
View ArticleWCET derivation under single core equivalence with explicit memory budget...
WCET derivation under single core equivalence with explicit memory budget assignment Mancuso, Renato; Pellizzoni, Rodolfo; Tokcan, Neriman; Caccamo, Marco In the last decade there has been a steady...
View ArticleRelational memory: native in-memory accesses on rows and columns
Relational memory: native in-memory accesses on rows and columns Roozkhosh, Shahin; Hoornaert, Denis; Mun, Ju Hyoung; Papon, Tarikul Islam; Sanaullah, Ahmed; Drepper, Ulrich; Mancuso, Renato;...
View ArticleWhat is learned in knowledge graph embeddings
What is learned in knowledge graph embeddings Chin, Sang; Dang, Trung V.; Douglas, Michael R.; Simkin, Michael; Ben-Eliezer, Omri; Wood, Andrew; Wu, Tianqi A knowledge graph (KG) is a data structure...
View ArticleDeep reinforcement learning for FlipIt security game
Deep reinforcement learning for FlipIt security game Greige, Laura; Chin, Sang Reinforcement learning has shown much success in games such as chess, backgammon and Go [21,24,22]. However, in most of...
View ArticleCorrupting data to remove deceptive perturbation: using preprocessing method...
Corrupting data to remove deceptive perturbation: using preprocessing method to improve system robustness Chin, Sang; Le, Hieu; Tran, Dung; Walker, Hans Although deep neural networks have achieved...
View ArticleNeural network optimization with biologically inspired low-dimensional...
Neural network optimization with biologically inspired low-dimensional manifold learning Chin, Sang; Le, Hieu; Wood, Andrew; Dandaker, Sylee Neural Networks learn to recognize and leverage patterns in...
View ArticleNon-volatile memory accelerated geometric multi-scale resolution analysis
Non-volatile memory accelerated geometric multi-scale resolution analysis Wood, Andrew; Hershcovitch, Moshik; Waddington, Daniel; Cohen, Sarel; Wolf, Meredith; Suh, Hongjun; Zong, Weiyu; Chin, Peter...
View ArticlePATCHCOMM: using commonsense knowledge to guide syntactic parsers
PATCHCOMM: using commonsense knowledge to guide syntactic parsers Xin, Yida; Lieberman, Henry; Chin, Peter Syntactic parsing technologies have become significantly more robust thanks to advancements in...
View ArticleRetroGAN: a cyclic post-specialization system for improving out-of-knowledge...
RetroGAN: a cyclic post-specialization system for improving out-of-knowledge and rare word representations Colon-Hernandez, Pedro; Xin, Yida; Lieberman, Henry; Havasi, Catherine; Breazeal, Cynthia;...
View ArticleGraded Hoare logic and its categorical semantics
Graded Hoare logic and its categorical semantics Gaboardi, Marco; Katsumata, Shin-Ya; Orchard, Dominic; Sato, Tetsuya Deductive verification techniques based on program logics (i.e., the family of...
View ArticleCoupled relational symbolic execution for differential privacy
Coupled relational symbolic execution for differential privacy Farina, Gian Pietro; Chong, Stephen; Gaboardi, Marco Differential privacy is a de facto standard in data privacy with applications in the...
View ArticleEstimating smooth GLM in non-interactive local differential privacy model...
Estimating smooth GLM in non-interactive local differential privacy model with public unlabeled data Wang, Di; Zhang, Huanyu; Gaboardi, Marco; Xu, Jinhui In this paper, we study the problem of...
View ArticleTANTIGEN 2.0: a knowledge base of tumor T cell antigens and epitopes
TANTIGEN 2.0: a knowledge base of tumor T cell antigens and epitopes Zhang, Guanglan; Chitkushev, Lou; Olsen, Lars Rønn; Keskin, Derin B.; Brusic, Vladimir We previously developed TANTIGEN, a...
View ArticleCovariance-aware private mean estimation without private covariance estimation
Covariance-aware private mean estimation without private covariance estimation Brown, Gavin; Gaboardi, Marco; Smith, Adam; Ullman, Jonathan; Zakynthinou, Lydia
View ArticleMulticlass versus binary differentially private PAC learning
Multiclass versus binary differentially private PAC learning Sivakumar, Satchit; Bun, Mark; Gaboardi, Marco We show a generic reduction from multiclass differentially private PAC learning to binary...
View ArticleRelational cost analysis in a functional-imperative setting
Relational cost analysis in a functional-imperative setting Qu, Weihao; Gaboardi, Marco; Gard, Deepak Relational cost analysis aims at formally establishing bounds on the difference in the evaluation...
View ArticleTurning HATE into LOVE: compact homomorphic ad hoc threshold encryption for...
Turning HATE into LOVE: compact homomorphic ad hoc threshold encryption for scalable MPC Reyzin, Leonid; Smith, Adam D.; Yakoubov, Sophia In a public-key threshold encryption scheme, the sender...
View ArticleAlternative stable states of the forest mycobiome are maintained through...
Alternative stable states of the forest mycobiome are maintained through positive feedbacks Averill, Colin; Fortunel, Claire; Maynard, Daniel S.; Dietze, Michael C.; Bhatnagar, Jennifer M.; Crowther,...
View ArticleRevisiting insularity and expansion: a theory note
Revisiting insularity and expansion: a theory note Schuessler, John M.; Shifrinson, Joshua; Blagden, David What is the relationship between insularity—a state’s separation from other states via large...
View Article