Experimental evaluation of various register-pressure-reduction heuristics. - Ghassan Shobaki; Laith Sakka; Najm Eldeen Abu Rmaileh; Hasan Al-Hamash (Softw. Pract. Exp., 2015)

Locality Transformations for Nested Recursive Iteration Spaces. - Kirshanthan Sundararajah; Laith Sakka; Milind Kulkarni 001 (ASPLOS, 2017)

Compiling Tree Transforms to Operate on Packed Representations. - Michael Vollmer 003; Sarah Spall; Buddhika Chamith; Laith Sakka; Chaitanya Koparkar; Milind Kulkarni 001; Sam Tobin-Hochstadt; Ryan Newton (ECOOP, 2017)

TreeFuser: a framework for analyzing and fusing general recursive tree traversals. - Laith Sakka; Kirshanthan Sundararajah; Milind Kulkarni 001 (Proc. ACM Program. Lang., 2017)

Sound, fine-grained traversal fusion for heterogeneous trees. - Laith Sakka; Kirshanthan Sundararajah; Ryan R. Newton; Milind Kulkarni 001 (PLDI, 2019)

LoCal: a language for programs operating on serialized data. - Michael Vollmer 003; Chaitanya Koparkar; Mike Rainey; Laith Sakka; Milind Kulkarni 001; Ryan R. Newton (PLDI, 2019)

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. - Laith Sakka; Kirshanthan Sundararajah; Ryan R. Newton; Milind Kulkarni 001 (CoRR, 2019)

Lightning BOLT: powerful, fast, and scalable binary optimization. - Maksim Panchenko; Rafael Auler; Laith Sakka; Guilherme Ottoni (CC, 2021)

Velox: Meta's Unified Execution Engine. - Pedro Pedreira; Orri Erling; Maria Basmanova; Kevin Wilfong; Laith Sakka; Krishna Pai; Wei He; Biswapesh Chattopadhyay (Proc. VLDB Endow., 2022)

Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals. - Vidush Singhal; Laith Sakka; Kirshanthan Sundararajah; Ryan Newton; Milind Kulkarni 001 (ACM Trans. Archit. Code Optim., 2024)

Simple (yet Efficient) Function Authoring for Vectorized Engines. - Laith Sakka; Pedro Pedreira; Orri Erling; Masha Basmanova; Kevin Wilfong; Wei He; Xiaoxuan Meng; Krishna Pai; Bikramjeet Vig (Proc. VLDB Endow., 2024)