Andrei Marian Dan
Andrei Marian Dan
Hitachi Energy Research
Verified email at - Homepage
Cited by
Cited by
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
Predicate abstraction for relaxed memory models
AM Dan, Y Meshman, M Vechev, E Yahav
International Static Analysis Symposium, 84-104, 2013
Effective abstractions for verification under relaxed memory models
A Dan, Y Meshman, M Vechev, E Yahav
Computer Languages, Systems & Structures 47, 62-76, 2017
Synthesis of memory fences via refinement propagation
Y Meshman, A Dan, M Vechev, E Yahav
International Static Analysis Symposium, 237-252, 2014
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
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
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
Synthesizing Unrestricted False Positive Adversarial Objects Using Generative Models
M Kotuliak, SE Schoenborn, A Dan
arXiv preprint arXiv:2005.09294, 2020
Automatic Verification of RMA Programs via Abstraction Extrapolation.
C Baumann, AM Dan, Y Meshman, T Hoefler, MT Vechev
VMCAI, 47-70, 2018
Program Analysis for Weak Memory Models
AM Dan
ETH Zurich, 2018
The system can't perform the operation now. Try again later.
Articles 1–10