This page tracks good news (without failures) starting from 2020.
Recent
-
Nov 2024: accepted paper at POPL 2025
Derivative-Guided Symbolic Execution -
Aug 2024: joined the Review Committee of OOPSLA 2025
-
Apr 2024: accepted paper at PLDI 2024
Decidable Subtyping of Existential Types for Julia -
Apr 2024: joined the Program Committee of Scheme 2024
-
Feb 2024: joined the Program Committee of TyDE 2024
-
Jan 2024: joined the Program Committee of ARRAY 2024
2023
-
Nov 2023: talk at PurPL Seminar
Julia: Practical Restrictions for a Scientific-Computing Language -
Sep 2023: started a postdoc at PurPL
-
Aug 2023: defended my PhD thesis on decidable subtyping for Julia
2022
This was a tough year for me, mostly for personal reasons and the state of the world.
🇺🇦 As a Russian national, I strongly condemn the war in Ukraine started by the Russian government on February 24th, 2022.
2021
-
Oct 2021: invited talk at POPV Seminar (Principles of Programming and Verification)
Julia: Language Design and Users Working Together -
Oct 2021: invited talk at BCC (Boston Computation Club)
Types in Programming Languages Research vs Types in Julia -
Sep 2021: accepted paper at OOPSLA 2021
Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation -
Aug 2021: talked about the Julia language on Podlodka Podacst
Episode #230: Julia (in Russian) -
Apr 2021: joined External Review Committee of OOPSLA 2021
2020
-
Dec 2020: joined Artifact Evaluation Committee of CAV 2021
-
Oct 2020: accepted paper at OOPSLA 2020
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval -
Sep 2020: accepted short paper at VIS 2020
Just TYPEical: Visualizing Common Function Type Signatures in R -
Jun 2020: joined Program Committee of ICCQ 2021
-
Mar 2020: started working from home due to COVID-19 lockdown