TU Wien Informatics

20 Years
Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Christoph Hochrainer

Projektass. Dipl.-Ing. / BSc

Role

Contact

  • 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
    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)