1. A Survey of Software Dynamic Analysis Methods;Programming and Computer Software;2024-02
2. Hevm, a Fast Symbolic Execution Framework for EVM Bytecode;Lecture Notes in Computer Science;2024
3. An Ethological Analysis of Developmental Behavior in Machines;2023 IEEE International Conference on Development and Learning (ICDL);2023-11-09
4. Dynamic TopHat: Start and Stop Tasks at Runtime;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
5. Grisette: Symbolic Compilation as a Functional Programming Library;Proceedings of the ACM on Programming Languages;2023-01-09