Simone Atzeni

According to our database1, Simone Atzeni authored at least 9 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Pruners.
Int. J. High Perform. Comput. Appl., 2019

2018
SWORD: A Bounded Memory-Overhead Detector of OpenMP Data Races in Production Runs.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

An Operational Semantic Basis for Building an OpenMP Data Race Checker.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

2017
Low Overhead Data Race Detection Techniques for Large OpenMP Applications.
PhD thesis, 2017

An Operational Semantic Basis for OpenMP Race Analysis.
CoRR, 2017

2016
ARCHER: Effectively Spotting Data Races in Large OpenMP Applications.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

Evaluation of Android Malware Detection Based on System Calls.
Proceedings of the 2016 ACM on International Workshop on Security And Privacy Analytics, 2016

2014
Towards providing low-overhead data race detection for large OpenMP applications.
Proceedings of the 2014 LLVM Compiler Infrastructure in HPC, 2014

2009
Some resources for teaching concurrency.
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009


  Loading...