Not registered as user yet

Name:Palina Tolmach
Affiliation:Nanyang Technological University, Singapore, Institute of High Performance Computing, Agency for Science, Technology and Research (A*STAR), Singapore

Contributions

ESEC/FSE 2022 Author of SolSEE: A Source-Level Symbolic Execution Engine for Solidity within the Demonstrations-track
ASE 2022 Author of Property-Based Automated Repair of DeFi Protocols within the NIER Track-track
Author of Property-Based Automated Repair of DeFi Protocols within the Artifact Evaluation-track