Andrei Marian Dan
Título
Citado por
Citado por
Ano
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
2352018
Predicate abstraction for relaxed memory models
AM Dan, Y Meshman, M Vechev, E Yahav
International Static Analysis Symposium, 84-104, 2013
482013
Effective abstractions for verification under relaxed memory models
A Dan, Y Meshman, M Vechev, E Yahav
Computer Languages, Systems & Structures 47, 62-76, 2017
412017
Synthesis of memory fences via refinement propagation
Y Meshman, A Dan, M Vechev, E Yahav
International Static Analysis Symposium, 237-252, 2014
252014
Modeling and analysis of remote memory access programming
AM Dan, P Lam, T Hoefler, M Vechev
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
52016
Finding fix locations for cfl-reachability analyses via minimum cuts
AM Dan, M Sridharan, S Chandra, JB Jeannin, M Vechev
International Conference on Computer Aided Verification, 521-541, 2017
32017
Fast and Effective Robustness Certification for Recurrent Neural Networks
W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev
arXiv preprint arXiv:2005.13300, 2020
12020
Automatic Verification of RMA Programs via Abstraction Extrapolation
C Baumann, AM Dan, Y Meshman, T Hoefler, M Vechev
International Conference on Verification, Model Checking, and Abstract …, 2018
12018
Synthesizing Unrestricted False Positive Adversarial Objects Using Generative Models
M Kotuliak, SE Schoenborn, A Dan
arXiv preprint arXiv:2005.09294, 2020
2020
Program Analysis for Weak Memory Models
AM Dan
ETH Zurich, 2018
2018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–10