关注
Simone Atzeni
Simone Atzeni
PhD Student, University of Utah
在 cs.utah.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Evaluation of android malware detection based on system calls
M Dimjašević, S Atzeni, I Ugrina, Z Rakamaric
Proceedings of the 2016 ACM on international workshop on security and …, 2016
1202016
ARCHER: effectively spotting data races in large OpenMP applications
S Atzeni, G Gopalakrishnan, Z Rakamaric, DH Ahn, I Laguna, M Schulz, ...
2016 IEEE international parallel and distributed processing symposium (IPDPS …, 2016
952016
Sword: A bounded memory-overhead detector of openmp data races in production runs
S Atzeni, G Gopalakrishnan, Z Rakamaric, I Laguna, GL Lee, DH Ahn
2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2018
322018
Android malware detection based on system calls
M Dimjaševic, S Atzeni, I Ugrina, Z Rakamaric
University of Utah, Tech. Rep, 2015
322015
OpenMP GPU offload in Flang and LLVM
G Özen, S Atzeni, M Wolfe, A Southwell, G Klimowicz
2018 IEEE/ACM 5th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM …, 2018
27*2018
Towards providing low-overhead data race detection for large OpenMP applications
J Protze, S Atzeni, DH Ahn, M Schulz, G Gopalakrishnan, MS Müller, ...
2014 LLVM Compiler Infrastructure in HPC, 40-47, 2014
152014
Some resources for teaching concurrency
G Gopalakrishnan, Y Yang, S Vakkalanka, A Vo, S Aananthakrishnan, ...
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing …, 2009
62009
An operational semantic basis for building an openmp data race checker
S Atzeni, G Gopalakrishnan
2018 IEEE International Parallel and Distributed Processing Symposium …, 2018
52018
Pruners: Providing reproducibility for uncovering non-deterministic errors in runs on supercomputers
K Sato, I Laguna, GL Lee, M Schulz, CM Chambreau, S Atzeni, M Bentley, ...
The International Journal of High Performance Computing Applications 33 (5 …, 2019
42019
Automatic malware detection for Android
S Atzeni, M Dimjasevic, C Schreiner, Y Wang
Proceedings of the 1st University of Utah CS5350/CS6350 Conference on …, 2013
22013
Archer
GL Lee, I Hauck, M Terry, E English, M Tally
Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States), 2019
12019
An operational semantic basis for openmp race analysis
S Atzeni, G Gopalakrishnan
arXiv preprint arXiv:1709.04551, 2017
12017
Archer
S Atzeni, D Ahn, G Gopalakrishnan, I Lagnua, G Lee, J Protze, ...
Lawrence Livermore National Laboratory (LLNL), Livermore, CA (United States), 2017
2017
Low Overhead Data Race Detection Techniques for Large OpenMP Applications
S Atzeni
The University of Utah, 2017
2017
LLVM-HPC 2018
G Ozen, S Atzeni, D Truby, C Bertolli
Choi, Jong 348
A Abdelfattah, S Aga, K Agrawal, M Ahmad, DH Ahn, P Ahrens, A Alaghi, ...
Coming Soon| A Toolset to Fight Non-deterministic Bugs at Scale
DH Ahn, C Chambreau, I Laguna, G Lee, K Sato, M Schulz, S Atzeni, ...
Archer: A Low Overhead Data Race Detector for OpenMP
S Atzeni, G Gopalakrishnan, Z Rakamaric
系统目前无法执行此操作,请稍后再试。
文章 1–18