Christoph Hochrainer

Projektass. Dipl.-Ing. / BSc

Role

PreDoc Researcher
Software Engineering, E194-01

Contact

Publications

Fuzzing Processing Pipelines for Zero-Knowledge Circuits / Hochrainer, C., Isychev, A., Wüstholz, V., & Christakis, M. (2024). Fuzzing Processing Pipelines for Zero-Knowledge Circuits. arXiv. https://doi.org/10.48550/arXiv.2411.02077
Download: Fuzzing Processing Pipelines for Zero-Knowledge Circuits (716 KB)
Projects: ForSmart (2023–2027) / MirandaTesting (2023–2028)
The Vienna Architecture Description Language / Himmelbauer, S., Hochrainer, C., Huber, B. L., Mischkulnig, N., Paulweber, P., Schwarzinger, T., & Krall, A. (2024). The Vienna Architecture Description Language. arXiv. https://doi.org/10.34726/5619
Download: PDF (1.01 MB)
Olympia: Fuzzer Benchmarking for Solidity / Chadt, J., Hochrainer, C., Wüstholz, V., & Christakis, M. (2024). Olympia: Fuzzer Benchmarking for Solidity. In ASE ’24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (pp. 2362–2365). Association for Computing Machinery. https://doi.org/10.1145/3691620.3695352
Download: PDF (648 KB)
Project: ForSmart (2023–2027)
A pred-LL(*) parsable typed higher-order macro system for architecture description languages / Hochrainer, C., & Krall, A. (2023). A pred-LL(*) parsable typed higher-order macro system for architecture description languages. In C. De Roover, B. Rumpe, & A. Shaikhha (Eds.), Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (pp. 29–41). https://doi.org/10.1145/3624007.3624052
Download: PDF (228 KB)
Automated reasoning over Arrays in the superposition calculus / Hochrainer, C. (2020). Automated reasoning over Arrays in the superposition calculus [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.77511
Download: PDF (705 KB)