Travelled to:1 × India
1 × Ireland
1 × Italy
1 × Spain
1 × The Netherlands
10 × USA
2 × Canada
Collaborated with:∅ J.Deprez J.M.Gravley L.Sterling A.Walenstein E.U.Kumar M.Mohammed P.Pathak J.Li Y.Yang M.D.Preda R.Giacobazzi I.Mastroeni D.R.Boccardo A.Singh A.Manacero R.Mathur M.R.Chouchane N.Jyoti
Talks about:program (5) techniqu (3) analysi (3) detect (3) abstract (2) develop (2) toward (2) symbol (2) prolog (2) obfusc (2)
Person: Arun Lakhotia
DBLP: Lakhotia:Arun
Contributed to:
2015
2010
20062004
2004
2003200320001999199819961995
19931993
1990
19891988Wrote 18 papers:
- POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity
- Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
- PEPM-2010-LakhotiaBSM #analysis #bytecode #obfuscation
- Context-sensitive analysis of obfuscated x86 executables (AL, DRB, AS, AM), pp. 131–140.
- SCAM-2006-WalensteinMCL #normalisation #term rewriting #using
- Normalizing Metamorphic Malware Using Term Rewriting (AW, RM, MRC, AL), pp. 75–84.
- SCAM-2004-LakhotiaK #detection #obfuscation #stack
- Abstracting Stack to Detect Obfuscated Calls in Binaries (AL, EUK), pp. 17–26.
- WCRE-2004-LakhotiaM #anti #order
- Imposing Order on Program Statements to Assist Anti-Virus Scanners (AL, MM), pp. 161–170.
- WCRE-2004-LakhotiaP #analysis #research #tool support
- Virus Analysis: Techniques, Tools, and Research Issues (AL, PP), p. 2.
- IWPC-2003-LakhotiaLWY #benchmark #clone detection #detection #metric #towards
- Towards a Clone Detection Benchmark Suite and Results Archive (AL, JL, AW, YY), pp. 285–287.
- WCRE-2003-WalensteinJLYL #clone detection #detection #problem
- Problems Creating Task-relevant Clone Detection Reference Data (AW, NJ, JL, YY, AL), pp. 285–295.
- IWPC-2000-DeprezL
- A Formalism to Automate Mapping from Program Features to Code (JCD, AL), pp. 69–78.
- WCRE-1999-LakhotiaD
- Restructuring Functions with Low Cohesion (AL, JCD), pp. 36–46.
- IWPC-1998-Lakhotia #development #named
- DIME: A Direct Manipulation Environment for Evolutionary Development of Software (AL), pp. 72–79.
- WCRE-1996-GravleyL #identification
- Identifying Enumeration Types Modeled with Symbolic Constants (JMG, AL), p. 227–?.
- WCRE-1995-LakhotiaG #classification #evaluation #towards
- Toward Experimental Evaluation of Subsystem Classification Recovery Techniques (AL, JMG), pp. 262–269.
- ICSE-1993-Lakhotia #approach #rule-based
- Rule-Based Approach to Computing Module Cohesion (AL), pp. 35–44.
- POPL-1993-Lakhotia #dependence #graph #multi #using
- Constructing Call Multigraphs Using Dependence Graphs (AL), pp. 273–284.
- SEKE-1990-LakhotiaS #development
- Program Development by Stepwise “Enhancement” (AL, LS), pp. 78–83.
- NACLP-1989-Lakhotia #programming #prolog #source code
- Incorporating “Programming Techniques” into Prolog Programs (AL), pp. 426–440.
- JICSCP-1988-SterlingL88 #prolog
- Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.