22 November, 2024
I have successfully defended my PhD thesis, ‘Towards Declarative Specification of Static Analysis for Programming Tools.’ This marks the conclusion of an incredible 5-year journey of research, learning, and collaboration.
26 November, 2024
Our paper ‘IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis’ has been published in The International Journal on Software Tools for Technology Transfer (STTT)! It discusses how IntraJ provides interactive analysis results directly in the editor with response times under 0.1 seconds for most Java compilation units.
21 October, 2024
🏆 I am happy to announce that our paper, ‘Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis’, presented at ACM SIGPLAN Software Language Engineering (SLE) 2024, has won both the Distinguished Paper Award and the Distinguished Artifact Award!
22 November, 2024
I have scheduled my PhD defense for the 22nd of November, 2024! I’m excited to present my work titled ‘Towards Declarative Specification of Static Analysis for Programming Tools.’ You can find more details about the defense, including the opponent and the examination committee, here.
20-25 October, 2024
The paper ‘Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis’ has been accepted at SLE 2024! Excited to present it in Pasadena, California.
2 July, 2024
Submitted the paper ‘IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis’ to the Journal of Technology Transfer (JTTT)!
25 May, 2024
Presented my work on IntraJ at the Challenges of Software Verification Symposium!
23 March, 2024
Won the Student Research Competition at the ACM SRC during <Programming> 2024 for my work on using static analysis to improve the efficiency of static analyzers!
10 March, 2024
Honored to serve as Chair for the Programming Workshop track at the ACM Programming Conference.
July 2023
Excited to attend the Oregon Programming Languages Summer School (OPLSS) in Oregon, USA!
25 March, 2023
Successfully defended my Licentiate thesis ‘Declarative Specification of Intraprocedural Control-flow and Dataflow Analysis’ at Lund University. Great discussion with my opponent, Alexandre Bartel!
20-23 September, 2022
Going to the first instance of Security Testing and Verification in Leuven!
2 August, 2022
Accepted paper at SCAM on extracting Java Features! The paper is titled ‘JFeature: Know Your Corpus’.
7 September, 2021
Accepted paper at SCAM on control-flow and dataflow analysis. The paper, ‘A Precise Framework for Source-Level Control-Flow Analysis’, was published by IEEE. It’s open access, check it out!