Associated types and constraint propagation for generic programming in Scala. - Artem Pelenitsyn (Program. Comput. Softw., 2015)

Can we learn some PL theory?: how to make use of a corpus of subtype checks. - Artem Pelenitsyn (ISSTA/ECOOP Workshops, 2018)

Julia subtyping: a rational reconstruction. - Francesco Zappa Nardelli; Julia Belyakova; Artem Pelenitsyn; Benjamin Chung; Jeff Bezanson; Jan Vitek (Proc. ACM Program. Lang., 2018)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Extended Version). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (CoRR, 2021)

Type stability in Julia: avoiding performance pathologies in JIT compilation. - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Proc. ACM Program. Lang., 2021)

Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation (Artifact). - Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek (Zenodo, 2021)

Approximating Type Stability in the Julia JIT (Work in Progress). - Artem Pelenitsyn (VMIL@SPLASH, 2023)

Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (ECOOP, 2024)

Arkade: k-Nearest Neighbor Search With Non-Euclidean Distances using GPU Ray Tracing. - Durga Keerthi Mandarapu; Vani Nagarajan; Artem Pelenitsyn; Milind Kulkarni 001 (ICS, 2024)

Garbage Collection for Mostly Serialized Heaps. - Chaitanya S. Koparkar; Vidush Singhal; Aditya Gupta; Mike Rainey; Michael Vollmer 003; Artem Pelenitsyn; Sam Tobin-Hochstadt; Milind Kulkarni 001; Ryan R. Newton (ISMM, 2024)

Optimizing Layout of Recursive Datatypes with Marmoset. - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (CoRR, 2024)

SABLE: Staging Blocked Evaluation of Sparse Matrix Computations. - Pratyush Das 001; Adhitha Dias; Anxhelo Xhebraj; Artem Pelenitsyn; Kirshanthan Sundararajah; Milind Kulkarni 001 (CoRR, 2024)

Optimizing Layout of Recursive Datatypes with Marmoset (Artifact). - Vidush Singhal; Chaitanya Koparkar; Joseph Zullo; Artem Pelenitsyn; Michael Vollmer 003; Mike Rainey; Ryan Newton; Milind Kulkarni 001 (Dagstuhl Artifacts Ser., 2024)

SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring. - Adhitha Dias; Logan Anderson; Kirshanthan Sundararajah; Artem Pelenitsyn; Milind Kulkarni 001 (Proc. ACM Program. Lang., 2024)

RT-BarnesHut: Accelerating Barnes-Hut Using Ray-Tracing Hardware. - Vani Nagarajan; Rohan Gangaraju; Kirshanthan Sundararajah; Artem Pelenitsyn; Milind Kulkarni 001 (PPoPP, 2025)