Abstract is missing.
- BinFPE: accurate floating-point exception detection for GPU applicationsIgnacio Laguna, Xinyi Li, Ganesh Gopalakrishnan. 1-8 [doi]
- Modeling code manipulation in JIT compilersHeuiChan Lim, Xiyu Kang, Saumya Debray. 9-15 [doi]
- Statically detecting data leakages in data science codePavle Subotic, Uros Bojanic, Milan Stojic. 16-22 [doi]
- Ensuring determinism in blockchain software with GoLiSA: an industrial experience reportLuca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara 0001, Fausto Spoto, Enrico Talin. 23-29 [doi]
- ADA: a tool for visualizing the architectural overview of open-source repositoriesMd Rakib Hossain Misu, Aleksandar Sasa Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski. 30-35 [doi]
- Abstract interpretation of Michelson smart-contractsGuillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz. 36-43 [doi]
- Towards an implementation of differential dynamic logic in PVSJ. Tanner Slagel, César Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci 0001, Lauren White. 44-50 [doi]