9 Hits in 4.5 sec

CANAL: A Cache Timing Analysis Framework via LLVM Transformation [article]

Chungha Sung and Brandon Paulsen and Chao Wang
2018 arXiv   pre-print
We present CANAL, a framework that models the cache behaviors of a program by transforming its intermediate representation in the LLVM compiler.  ...  A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual researchers to implement  ...  CANAL: A Cache Timing Analysis Framework via LLVM Transformation , , Figure 4 shows a program where we check if read of buffer [2] is a Must-hit.  ... 
arXiv:1807.03329v1 fatcat:n5y3s2aybzhwxi6wmyohyyawii

SyRA: Early System Reliability Analysis for Cross-Layer Soft Errors Resilience in Memory Arrays of Microprocessor Systems

A. Vallero, A. Savino, A. Chatzidimitriou, M. Kaliorakis, M. Kooli, M. Riera, M. Anglada, G. Di Natale, A. Bosio, R. Canal, A. Gonzalez, D. Gizopoulos (+2 others)
2019 IEEE transactions on computers  
This paper proposes SyRA, a system-level cross-layer early reliability analysis framework for radiation induced soft errors in memory arrays of microprocessor-based systems.  ...  analysis.  ...  cache (L1D) and level-2 cache (L2).  ... 
doi:10.1109/tc.2018.2887225 fatcat:dwukqo5iwnejjge6nhy3ihaaha

Celeritas: GPU-accelerated particle transport for detector simulation in High Energy Physics experiments [article]

S. C. Tognini, P. Canal, T. M. Evans, G. Lima, A. L. Lund, S. R. Johnson, S. Y. Jun, V. R. Pascuzzi, P. K. Romano
2022 arXiv   pre-print
Within the next decade, experimental High Energy Physics (HEP) will enter a new era of scientific discovery through a set of targeted programs recommended by the Particle Physics Project Prioritization  ...  The ECP is a collaborative effort of two DOE organizations, the Office of Science and the National Nuclear Security Administration, that are responsible for the planning and preparation of a capable exascale  ...  This is also a time of significant change in the C++ language itself, particularly with respect to concurrency support via Standard Library algorithms.  ... 
arXiv:2203.09467v2 fatcat:psq4sv2mhfaelann4je6pvtgza

A Monitoring Framework for Side-Channel Information Leaks

Michael Lescisin, Qusay H. Mahmoud
2020 2020 IEEE International Conference on Consumer Electronics (ICCE)  
Abstract A Monitoring Framework for Side-Channel Information Leaks Security and privacy in computer systems is becoming an ever important field of study as the information available on these systems is  ...  This thesis introduces a framework based on interoperable components for the purpose of modelling an adversary and generating feedback on what the adversary is capable of learning through the monitoring  ...  The authors of CANAL define a program, P (k), to have a timing side-channel leak if there exists any value of k such that τ (P, CANAL: A Cache Timing Analysis Framework via LLVM Transformation k 1 )  ... 
doi:10.1109/icce46568.2020.9042987 dblp:conf/iccel/LescisinM20 fatcat:tedyne4qavhgvletmjhlapo7c4

History of the ROOT system: conception, evolution and experience

Rene Brun, Philippe Canal, Fons Rademakers
2011 Proceedings of 13th International Workshop on Advanced Computing and Analysis Techniques in Physics Research — PoS(ACAT2010)   unpublished
The ROOT system started in 1995, at a time when future software directions were unclear.  ...  Initially started as a successor of the PAW system, ROOT has considerably evolved since its initial conception.  ...  EVE can serve as a framework for object management offering hierarchical data organization, object interaction and visualization via GUI and OpenGL representations and automatic creation of 2D projected  ... 
doi:10.22323/1.093.0002 fatcat:qwpz5szzdbcilfk2opttsijtva

PIConGPU: Predictive Simulations of Laser-Particle Accelerators with Manycore Hardware

Axel Huebl, Michael Dr. Bussmann, Thomas Dr. Kluge, Ulrich Prof. Dr. Schramm, Thomas E. Prof. Dr. Cowan, Paul Prof. Dr. Gibbon, Burkhardt Prof. Dr. Kämpfer, Stefan PD Dr. Grafström
2019 Zenodo  
The open source particle-in-cell code PIConGPU, which is developed in the framework of this thesis, answers these demands, providing speed and scalability to run on the world's largest supercomputers.  ...  generating a highly directed proton beam.  ...  "ROOT -A C++ Framework for PetaByte Data Storage, Statistical Analysis and Visualization". In: Comput. Phys. Commun. . DOI: 10.1016/j.cpc.2009.08.005. ] V Vasilev, P Canal, A Naumann, et al.  ... 
doi:10.5281/zenodo.3266819 fatcat:b73a3zvxvjecjplcsks7gf52cu

Cross layer reliability estimation for digital systems

Alessandro Vallero, S. Di Carlo
Acknowledgements The experimental results presented in this thesis have demonstrated that the proposed work constitutes a valuable alternatives to state-of-the-art solutions.  ...  LIFILL is a softwarelevel fault injector based on a virtual ISA, LLVM. In detail, software injections are performed by mutating the LLVM code according to the injected SFM.  ...  Framework implementation We implemented a complete automatic framework able to perform the reliability analysis described in Section 5.2.  ... 
doi:10.6092/polito/porto/2673865 fatcat:hlz7fcyi4fg6beesy46nz2mifm

PhD Thesis: Quarantine-mode based Live Patching for Zero Downtime Safety-critical Systems

Imanol Mugarza
2019 unpublished
CIL [113] and LLVM [126] compilation, source analysis and transformation tools are commonly utilized [82] .  ...  A DSU is applied for each application thread. For this purpose, their code cache is flushed.  ... 
doi:10.13140/rg.2.2.10662.68160 fatcat:qoewi7hgkzh6tjkfw2my6dbxoe


We take note of the time spent on task and this is used during the analysis.  ...  process via CPU.  ...  Appendix A Convolution Implementations We present here different code snippets for the different implementations of the convolution engine.  ... 
doi:10.13130/mauro-davide-andrea_phd2012-03-06 fatcat:c256h6m2jjcvlnkbs5r4obdduq