Career Profile
I am a software engineer specializing in program analysis techniques to improve software security and robustness. I rely heavily on open source and enjoy contributing back.
Experiences
I contributed to the company's proprietary solution with a static analyzer that detects reachable vulnerabilities in Java source code. Also, I Implemented data platform for software vulnerability database with Airflow and Kubernetes. In addition, I am managing DevOps infrastructure of the data engineering team.
I developed automated unit test generators to find crashes in Java libraries, and wrote a technical report as a preparation for the paper submission.
Publications
- Effective Unit Test Generation for Java Null Pointer Exceptions
ASE 2024: 39th IEEE/ACM International Conference on Automated Software Engineering
- Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
TSE: IEEE Transactions on Software Engineering, Vol. 48, Issue 9, Sept. 2022