CajunBot: Architecture and algorithmsArun Lakhotia; Suresh Golconda; Anthony Maida; Pablo Mejia; Amit Puntambeker; Guna Seetharaman; Scott Wilson · 2006

Implication and equivalence I / OLakhotia, Arun · ACM SIGOPS Operating Systems Review · 1985

Abstract Symbolic AutomataDalla Preda, Mila; Giacobazzi, Roberto; Lakhotia, Arun; Mastroeni, Isabella · ACM SIGPLAN Notices · 2015

How to control unfolding when specializing interpretersArun Lakhotia; Leon Sterling · 1990

Constructing malware normalizers using term rewritingAndrew Walenstein; Rachit Mathur; Mohamed R. Chouchane; Arun Lakhotia · 2008

Theory and algorithms for slicing unstructured programsMark Harman; Arun Lakhotia; David Binkley · 2006

Restructuring programs by tucking statements into functionsArun Lakhotia; Jean-Christophe Deprez · 1998