Xiaowen Hu  (胡 晓文)

PDF version

Education

Ph.D. in Computer Science2021-2024
Supervisor: Professor Bernhard Scholz
Thesis Topic: High-Performance Virtual Machine Design for Domain-Specific Languages
The University of Sydney
B.S. in Computer Science (First-class Honours)2016-2021
The University of Sydney

Teaching

Tutor of System Programming in C, The University of Sydney. 2021-2022
Tutor of Introduction to Programming, The University of Sydney. 2021

Activities

Committee Member 2023
OOPSLA’23 External Review Committee.
OOPSLA’23 Artifact Evaluation Committee.
ECOOP’23 External Review Committee.
ECOOP’23 Artifact Evaluation Committee.
Committee Member 2021
OOPSLA’21 Artifact Evaluation Committee.
PLDI’21 Artifact Evaluation Committee.

Honours

High Honour Roll 2021
First-Class Honours 2021
Supervisor: Professor Bernhard Scholz
Thesis Topic: An Efficient Interpreter for Soufflé.
Dean’s List 2018

Projects

• Core Maintainer of the Soufflé Programming Language (C++) 2017-2022

  • Led the design and implementation of the virtual machine.
  • Optimized intermediate representation for logic programming.
  • Just-in-Time compilation techniques for Soufflé.
  • Expanded language features and third-party LSP.

• Research Project on Ethereum Virtual Machine (Golang) 2021-2023

  • Validation techniques for smart conracts decompilers with SSA form.
  • Conducted at-scale performance analysis using dynamic tracing.
  • Synthesized super-instructions for EVM.

• Internship at Cryptape (Rust) 2022

  • Maintained and optimized the RISC-V backend for CKB-VM.
  • Explored and prototyped a zero-knowledge virtual machine for RISC-V.

Publications

1.

Hu, Xiaowen, David Zhao, Herbert Jordan, and Bernhard Scholz. An Efficient Interpreter for Datalog by De-Specializing Relations. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2021, page 681–695, New York, NY, USA, 2021. Association for Computing Machinery

---

2.

Hu, Xiaowen, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, and Bernhard Scholz. The Choice Construct in the Soufflé Language. In Hakjoo Oh, editor, Programming Languages and Systems, pages 163–181, Cham, 2021. Springer International Publishing

---

3.

Samuel Arch, Hu, Xiaowen, David Zhao, Pavle Subotić, and Bernhard Scholz. Building a Join Optimizer for Soufflé. In Alicia Villanueva, editor, Logic-Based Program Synthesis and Transformation, pages 83–102, Cham, 2022. Springer International Publishing

---

4.

Hu, Xiaowen, Bernd Burgstaller, and Bernhard Scholz. EVMTracer: Dynamic Analysis of the Parallelization and Redundancy Potential in the Ethereum Virtual Machine. IEEE Access, 11:47159–47178, 2023

---

5.

Hu, Xiaowen, David Zhao, and Bernhard Scholz. Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine. In Proceedings of the 16th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL ’24, page 54–64, New York, NY, USA, 2024. Association for Computing Machinery

---