Skip to main content
Patents and patent applications
- Lakhotia, M. E. Karim, and A. Walenstein, “Phylogeny Generation,” US Patent Number 7,873,947, January 18, 2011.
- Lakhotia. “System and Method for Identifying and Comparing Code by Semantic Abstractions,” US Patent Number 10,747,880, August 18, 2020.
- Lakhotia. “System and Method for Identifying and Comparing Code by Semantic Abstractions,” US Patent Number US11,481,494B2, October 25, 2022.
- Seshagiri Prabhu and Arun Lakhotia, Method for Extracting the Structure of an Input for a Binary Program, U.S. Patent 12,572,332B2, March 10, 2026.
- Lakhotia. “Method for automatic creation of malware detection signature,” U.S. Patent 11,556,639, January 17, 2023.
Refereed journals
- Black, Paul, Iqbal Gondal, Peter Vamplew, and Arun Lakhotia. "Function Similarity Using Family Context." Electronics 9, no. 7 (2020): 1163. doi:10.3390/electronics9071163.
- Radhouane Chouchane,Natalia Stakhanova, Andrew Walenstein, Arun Lakhotia, Detecting Machine-Morphed Malware Variants via Engine Attribution. Journal in Computer Virology and Hacking Techniques. Springer Paris, August 2013, Volume 9, Issue 3, pp 137-157. DOI: 10.1007/s11416-013-0183-6.
- Arun Lakhotia, Andrew Walenstein, Craig Miles, and Anshuman Singh. "VILO: a rapid learning nearest-neighbor classifier for malware triage." Journal of Computer Virology and Hacking Techniques, Springer Paris, August 2013, Volume 9, Issue 3, pp 109-123. DOI: 10.1007/s11416-013-0178-3.
- Craig Miles, Arun Lakhotia, and Andrew Walenstein. In Situ Reuse of Logically Extracted Functional Components. Journal in Computer Virology. Springer Paris, August 2012, 8 (3): 73-84. DOI: 10.1007/s11416-012-0167-y.Kemal Efe, Alp V. Asutay, Arun Lakhotia: Exploring Web Neighbours in Exploratory Search. IJWIS7(2): 152-182 (2011).
- Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero Jr.: Context-sensitive analysis without calling-context. Higher-Order and Symbolic Computation 23(3): 275-313 (2010).
- M. Hayes, A. Walenstein, and A. Lakhotia. Evaluation of Malware Phylogeny Modelling Systems using Automated Variant Generation. Journal in Computer Virology, Springer, July 2008. DOI: 10.1007/s11416-008-0100-6.
- A. Walenstein, R. Mathur, M. Chouchane, A. Lakhotia. Constructing Malware Normalizers Using Term Rewriting. Journal in Computer Virology, 2008. 4(4), Nov. 2008. pp. 307-322. DOI: 10.1007/s11416-008-0081-5.
- J. Herpin, A. Fekih, S. Golconda, and A. Lakhotia. Steering Control of the Autonomous Vehicle: CajunBot, Journal of Aerospace Computing, Information, and Communication, 4 (12), 2007, 1134-1142, DOI: 10.2514/1.35050.
- A. Lakhotia, et al. “CajunBot: Architecture and Algorithms,” Journal of Field Robotics, 23 (8), 2006, 555-578, DOI: 10.1002/rob.20129.
- A. Maida, S. Golconda, P. Mejia, A. Lakhotia, and C. Cavanaugh, “Subgoal-based local navigation and obstacle avoidance using a grid-distance field,” International Journal of Vehicle Autonomous Systems (IJVAS) 4 (2-4), 2006, pp. 122-142. DOI: 10.1504/IJVAS.2006.012203.
- A. Lakhotia, E. U. Kumar, and M. Venable, “A Method for Detecting Obfuscated Calls in Malicious Binaries,” IEEE Transactions on Software Engineering, 31 (11), November 2005, pp. 955-968.
- M. Karim, A. Walenstein, A. Lakhotia, and L. Parida, "Malware Phylogeny Generation using Permutations of Code," Journal of Computer Virology, Springer-Verlag, 1, 2005, pp. 13-23.
- M. Harman, A. Lakhotia, and D. Binkley, "Theory and Algorithms for Slicing Unstructured Programs," Journal of Information and Software Technology, Elsevier, 48 (7): 549-565 (2006).
- J. Nandigam, A. Lakhotia, C. Cech, "Experimental Evaluation of Agreement Between Programmers in Applying the Rules of Cohesion," J. of Software Maintenance: Research and Practice, John Wiley & Sons, 11, 1999, 35-53.
- A. Lakhotia and J-C Deprez. "Restructuring Programs by Tucking Statements into Functions," J. of Information and Software Technology, Elsevier Science, 40, 1999, 677-689.
- T. W. Chan and A. Lakhotia, "Debugging Failures in the Presence of Voluminous Data," J. of Software Maintenance: Research and Practice, John Wiley & Sons, 10, 1998, 111-150.
- A. Lakhotia, "A Unified Framework for Expressing Subsystem Classification Techniques," J. of Systems & Software, Elsevier Science, Inc., New York, 36, March 1997, pp. 211-231.
- J. Li & A. Lakhotia, "Using Mathematical Induction in Systematic Program Development," Intl. J. of Software Engineering & Knowledge Engineering, World Scientific Press, Singapore, 4 (4), 1994, pp. 561-574.
- A. Lakhotia, "Understanding Someone Else's Code: Analysis of Experiences," J. of Systems & Software, Elsevier Science, Inc., New York, 23, December, 1993, pp. 269-275.
- A. Lakhotia & L. Sterling, "How to Control Unfolding When Specializing Interpreters," New Generation Computing Journal, Springer-Verlag & OMHSA, Tokyo, 8 (10), 1990, pp. 61-70.
- A. Lakhotia & L. Sterling, "Composing Logic Programs with Clausal Join," New Generation Computing Journal, Springer-Verlag & OMHSA, Tokyo, 6 (2), 1988, pp. 211-225.
Book & Book chapters
- Black P., Gondal I., Vamplew P., Lakhotia A. (2021) Reanimating Historic Malware Samples. In: Stamp M., Alazab M., Shalaginov A. (eds) Malware Analysis Using Artificial Intelligence and Deep Learning. Springer, Cham. https://doi.org/10.1007/978-3-030-62582-5_13.
- LeDoux, Charles, and Arun Lakhotia. Malware and Machine Learning. Intelligent Methods for Cyber Warfare. Ronald Yager, Marek Reformat, and Naif Alajilan, eds. Springer International Publishing, 2015. 1-42 ISBN: 978-3-319-08623-1.
- A. Fekih, S. Golconda, J. Herpin, A. Lakhotia, "Steering Controller of the CajunBot II," Chapter 8, pp.195-207, Experience from the DARPA Urban Challenge, Springer, 2012.
- G. Seetharaman, A. Lakhotia, & E. P. Blasch (Eds.), Special Issue on Unmanned Vehicles, IEEE Computer, 39 (12), December 2006.
- K. Efe, V. Raghavan, and A. Lakhotia, “Content and Link Structure Analysis for Searching the Web”, Y. Zhang, A. Kandel, T. Y. Lin, Y. Y. Yao, (Eds.), World Scientific Press, 2003.
- G. Canfora & A. Lakhotia (Guest Eds.) Special Issue on Program Comprehension, Journal of Systems and Software, 44(1), January 1999.
- G. Canfora & A. Lakhotia (Eds.), Proceedings of the 5th International Workshop on Program Comprehension, IEEE Computer Society Press, 1997.
- A. Lakhotia & L. Sterling, "ProMiX: A Prolog Partial Evaluation System," The Practice of Prolog, L. Sterling (Ed.), MIT Press, 1990.
Refereed conference proceedings
- Narasimha, Seshagiri Prabhu, and Arun Lakhotia. "Reverse Engineering Structure and Semantics of Input of a Binary Executable." arXiv preprint arXiv:2405.14052 (2024).
- Narasimha, Seshagiri Prabhu, and Arun Lakhotia. "Recovering Structure of Input of a Binary Program." In Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy, pp. 125-136. 2022.
- Black, Paul, Iqbal Gondal, Peter Vamplew, and Arun Lakhotia. "Reanimating Historic Malware Samples." Malware Analysis Using Artificial Intelligence and Deep Learning (2021): 345-360.
- Black, Paul, Iqbal Gondal, Peter Vamplew, and Arun Lakhotia. "Identifying Cross-Version Function Similarity Using Contextual Features." In 2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), pp. 810-817. IEEE, 2020.
- Black, Paul, Iqbal Gondal, Peter Vamplew, and Arun Lakhotia. "Evolved Similarity Techniques in Malware Analysis." In 2019 18th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/13th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE), pp. 404-410. IEEE, 2019. doi: 10.1109/TrustCom/BigDataSE.2019.00061.
- Lakhotia, Arun, Vivek Notani, and Charles LeDoux. "Malware economics and its implication to anti-malware situational awareness." In 2018 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA), pp. 1-8. IEEE, 2018.
- Arrott, Anthony, Arun Lakhotia, Ferenc Leitold, and Charles LeDoux. "Cluster analysis for deobfuscation of malware variants during ransomware attacks." In 2018 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA), pp. 1-9. IEEE, 2018.
- Arun Lakhotia and Paul Black, “Mining Malware Secrets,” In 12th IEEE International Conference on Malicious and Unwanted Software (MALWARE), 2017, IEEE.
- Noel, Steven, and Arun Lakhotia. "Adaptive Autonomous Agent Responses to Targeted Malware Attacks." Proceedings of the NATO IST-152 Workshop on Intelligent Autonomous Agents for Cyber Defence and Resilience (IST-152 2017), Prague, Czech Republic, October 18-20, 2017 (Edited by: Michal Pechoucek, Alexander Kott).
- Mila Dalla Preda, Roberto Giacobazzi, Arun Lakhotia, and Isabella Mastroeni. “Abstract Symbolic Automata.” Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, January 2015, Mumbai.
- Craig Miles, Arun Lakhotia, Charles LeDoux, Aaron Newsom, and Vivek Notani. "VirusBattle: State-of-the-art malware analysis for better cyber threat intelligence." In 7th International Symposium on Resilient Control Systems (ISRCS), 2014, pp. 1-6. IEEE, August 2014.
- Luke Deshotels, Vivek Notani, and Arun Lakhotia. "DroidLegacy: Automated Familial Classification of Android Malware." Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014. ACM, 2014.
- Brian Ruttenberg, et al. "Identifying Shared Software Components to Support Malware Forensics." Detection of Intrusions and Malware, and Vulnerability Assessment. Springer International Publishing, 2014. 21-40.
- Charles LeDoux, Arun Lakhotia, Craig Miles, Vivek Notani, and Avi Pfeffer. FuncTracker: Discovering Shared Code to Aid Malware Forensics. LEET'13: 6th USENIX Workshop on Large-Scale Exploits and Emergent Threats. August 2013.
- Jacob Ouellette, Avi Pfeffer, and Arun Lakhotia. "Countering malware evolution using cloud-based learning." In Malicious and Unwanted Software:" The Americas"(MALWARE), 2013 8th International Conference on, pp. 85-94. IEEE, 2013.
- Arun Lakhotia, Mila Dalla Preda, and Roberto Giacobazzi. 2013. Fast location of similar code fragments using semantic 'juice'. In Proceedings of the 2nd ACM SIGPLAN Program Protection and Reverse Engineering Workshop (PPREW '13). ACM, New York, NY, USA, 6 pages. DOI=10.1145/2430553.2430558.
- Pfeffer, Avi, Catherine Call, John Chamberlain, Lee Kellogg, Jacob Ouellette, Terry Patten, Greg Zacharias, Arun Lakhotia, Suresh Golconda, John Bay, Robert Hall, Daniel Scofield. "Malware analysis and attribution using genetic information." In 7th IEEE International Conference on Malicious and Unwanted Software (MALWARE), 2012, pp. 39-45. IEEE, 2012.
- Andrew Walenstein and Arun Lakhotia. “A Transformation-Based Model of Malware Derivation”, 7th IEEE International Conference on Malicious and Unwanted Software (MALWARE). October 16-18, 2012, Fajardo, Puerto Rico.
- Anshuman Singh, Andew Walenstein, Arun Lakhotia. "Tracking Concept Drift in Malware Families" AISec'12: Workshop on Security and Artificial Intelligence, November 19 2012, Raleigh, NC, USA, © Copyright 2012 ACM.
- Craig Miles, Arun Lakhotia, Andrew Walenstein. In Situ Reuse of Logically Extracted Functional Components, European International Conference on Anti-Virus Research, EICAR’2012.
- Mila Dalla Preda, Wu Feng, Roberto Giacobazzi, Richard Greechie and Arun Lakhotia. Twisting Additivity in Program Obfuscation, Sixth International Conference on Information Systems Technology and Management, Workshop on Program Protection and Reverse Engineering, Grenoble, March 28-30, 2012, Grenoble, France. DOI: 10.1007/978-3-642-29166-1_30
- Charles Ledoux, Andrew Walenstein and Arun Lakhotia. Improved Malware Classification Through the Use of Differences in Sensor Outputs, Sixth International Conference on Information Systems Technology and Management, Workshop on Program Protection and Reverse Engineering, Grenoble , March 28-30, 2012, Grenoble, France. DOI: 10.1007/978-3-642-29166-1_32
- Anshuman Singh, Sumi Singh, Andrew Walenstein and Arun Lakhotia. Deployable classifiers for malware detection, Sixth International Conference on Information Systems Technology and Management, Workshop on Program Protection and Reverse Engineering, Grenoble , March 28-30, 2012, Grenoble, France.
- Anshuman Singh and Arun Lakhotia. Game-theoretic Design of an Information Exchange Model for Detecting Packed Malware, 6th IEEE International Conference on Malicious and Unwanted Software (MALWARE 2011), Puerto Rico, October 18-19, 2011. DOI: 10.1109/MALWARE.2011.6112319
- Anshuman Singh, Sumi Singh, Andrew Walenstein, and Arun Lakhotia. On Deployable Adversarial Classification Models, Proceedings of the 4th ACM Workshop on Artificial Intelligence and Security, October 21, 2011, Chicago, IL.
- A. Singh, A. Lakhotia, and A. Walenstein. Malware Antimalware Games, International Conference on Information Warfare, ICIW2010, Wright Patterson Airforce Base, OH, April 8-9, 2010, pp. 319-327.
- A. Lakhotia, D. Boccardo, A. Singh, A. Manacero, Jr. Context-Sensitive Analysis of Obfuscated x86 Executables. Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 131-140. DOI: 10.1145/1706356.1706381.
- D. Boccardo, A. Lakhotia, M. Venable, and Aleardo Manacero, Jr. Adapting Call-String Approach for x86 Obfuscated Binaries, 9th Brazilian Conference on Information and Computer System Security, Campinas, Brazil, Sept-Oct 2009.
- A. Singh, B. Mai, A. Walenstein, A. Lakhotia. On Optimal AV System Strategies Against Obfuscated Malware, Annual Symposium on Information Security 2009, Albany, NY, June 2009.
- M. R. Chouchane, A. Walenstein, and A. Lakhotia. Using Markov Chains to Filter Machine-morphed Variants of Malicious Programs, Proceedings of 3rd International Conference on Malicious and Unwanted Software (Malware 2008), Alexandria, VA, October 2008.
- M. Hayes, A. Walenstein, and A. Lakhotia. Evalution of Malware Phylogeny Modelling Systems using Automated Variant Generation. Proceedings of 17th EICAR Annual Conference (EICAR 2008), Laval, France, May 2008.
- K. Efe, A.V. Asutay, and A. Lakhotia. A User Interface for Exploiting Web Communities in Searching the Web, 4th International Conference on Web Information Systems and Technologies (WEBIST), May 2008.
- M. R. Chouchane, A. Walenstein, and A. Lakhotia, Statistical Signatures for Fast Filtering of Instruction-Substituting Metamorhpic Malware, Fifth ACM Workshop on Recurring Malcode (WORM’07), Alexandria, Virginia, USA, November, 2007. DOI: 10.1145/1314389.1314397.
- A. Walenstein, R. Mathur, M. Chouchane, and A. Lakhotia, “The Design Space of Metamorphic Malware,” 2nd International Conference on Information Warfare (ICIW2007), Monterey, CA, March 2007.
- M. Chouchane and A. Lakhotia, “Using Engine Signature to Detect Metamorphic Malware,” Proceedings of the Fourth ACM Workshop on Recurring Malcode (WORM), Fairfax, VA, November 2006, pp. 73-78. DOI: 10.1145/1179542.1179558.
- A. Walenstein, R. Mathur, M. Chouchane, and A. Lakhotia, “Normalizing Metamorphic Malware Using Term Rewriting”, IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), Philadelphia, PA, September 2006 (Received Best Paper Award).
- M. Karim, L. Parida, A. Lakhotia, “Using Permutation Patterns for Content-Based Phylogeny,” 2006 Workshop on Pattern Recognition in Bioinformatics (PRIB2006), Hong Kong, China, Lecture Notes in Bio Informatics (LNBI 4146), Springer Verlag, August 2006, pp. 115-125.
- S. Golconda, P. Mejia, and A. Lakhotia, “Extendable Grid Representation for Navigation and Obstacle Detection,” IEEE Position Location and Navigation Symposium (PLANS 2006), San Diego, April 2006.
- M. Venable, M. R. Chouchane, Md. E. Karim, and A. Lakhotia, "Analyzing Memory Accesses in Obfuscated x86 Executables," K. Julisch and C. Kruegel (Eds.): Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA) 2005, LNCS 3548, Springer-Verlag Berlin Heidelberg, pp. 1 – 18, 2005
- A. Lakhotia, M. E. Karim, A. Walenstein, and L. Parida, "Malware Phylogeny using Maximal Pi-Patterns", EICAR 2005 Conference: Best Papers Proceedings, Malta, pp. 156-174, April-May, 2005.
- A. Lakhotia and M. Mohammed, “Imposing Order on Program Statements and its implication to AV Scanners,” in Proceedings of 11th IEEE Working Conference on Reverse Engineering, Delft, The Netherlands, November 2004, pp. 161-171.
- R. Loganantharaj, M. E. Karim, A. Lakhotia, “Recognizing TATA Promoters Based on Discriminating Frequency Analysis of Neighborhood Tuples,” in Proceedings of the First Biotechnology and Bioinformatics Symposium (BIOT-04), Colorado Springs, September 24, 2004.
- A. Lakhotia and U. Eric, “Stack Shape Analysis to Detect Obfuscated Calls in Binaries,” in Proceedingsof Fourth IEEE International Workshop on Source Code Analysis and Manipulation, Chicago, IL, September 2004, pp. 17-26.
- R. G. Cheek, E. Payton, E., and A. Lakhotia. “The Outsourcing of Human Resources.” Academy of Entrepreneurship as part of The Allied Academies International Conference, Las Vegas, NV, October 15-18, 2003.
- R. Cheek, K. Tran, K., and A. Lakhotia. “eCRM: Outsourced in India.” Academy of Strategic E-Commerce as part of The Allied Academies International Conference, Las Vegas, NV, October 15-18, 2003.
- R. Cheek, A. Lakhotia, and L. Pan. “Cyber Security Challenges in Financial Industries.” Academy of Banking and Commercial Finance as part of The Allied Academies International Conference, Las Vegas, NV, October 15-18, 2003.
- A. Walenstein, N. Jyoti, A. Lakhotia, J. Li, and Y. Yang, “Problems Creating Task-relevant Clone Detection Reference Data,” in Proceedings of Working Conference on Reverse Engineering (WCRE2003), Victoria, Canada, November 2003, pp. 285-294.
- A. Walenstein and A. Lakhotia, “Clone Detector Evaluation Can be Improved: Ideas from Information Retrieval,” Proceedings 2nd International Workshop on Detection of Software Clones (IWDSC’2003), November 24, 2003.
- P. K. Singh, M. Mohammed, and A. Lakhotia, “Using Static Analysis and Verification for Analyzing Virus and Worm Programs,” in Proceedings of Second European Conference on Information Warfare, Reading, UK, June 2003.
- P. K. Singh and A. Lakhotia, "Static Verification of Worm and Virus Behavior in Binary Executables using Model Checking," (extended abstract) in 4th IEEE Information Assurance Workshop, West Point, NY, June 2003.
- J-C. Deprez and A. Lakhotia, “A Formalism to Automate Mapping from Program Features to Code,” International Workshop on Program Comprehension, Limerick, Ireland, IEEE Computer Society Press, July 2000.
- A. Lakhotia and J-C. Deprez, "Restructuring Functions with Low Cohesion," Proceedings of the 6th Working Conference on Reverse Engineering, (WCRE'99), Atlanta, GA, October 6-8, 1999, IEEE Computer Society Press, pp. 36-46.
- A. Lakhotia, "DIME: A Direct Manipulation Environment for Evolutionary Development of Software," International Working Conference on Program Comprehension, Ischia, Italy, IEEE Computer Society Press, June 1998, pp. 72-79.
- A. Lakhotia and J. M. Gravley, "Identifying Enumeration Types Modeled with Symbolic Constants," Working Conference on Reverse Engineering, Monterey, CA, IEEE Computer Society, November 1996, pp. 227-236.
- J. Nandigam and A. Lakhotia, "A Measure for Module Cohesion and its Validation," 1995 Software Engineering Research Forum, Boca Raton, Florida, November 1995.
- A. Lakhotia and J. M. Gravley, "A Measure of Congruence Between Architectures of a Software System," 2nd Working Conference on Reverse Engineering, Toronto, Canada, July 1995, pp. 262-269.
- A. Lakhotia, L. Sterling, & D. Bojantchev, "Development of a Prolog Tracer by Stepwise Enhancement," Proc. the Third International Conference on Practical Application of Prolog, International Association of Logic Programming, Paris, April 1995, pp. 353-393.
- A. Lakhotia, "Wolf: A Tool for Recovering Dataflow Oriented Designs from Source Code," Fifth Annual Workshop on Systems Reengineering Technology, Monterey, CA, Sponsored by Naval Surface Warfare Center, February 1995.
- A. Lakhotia "Rule-Based Approach to Computing Module Cohesion," 15th International conference on Software Engineering, IEEE Computer Society, May 1993, pp. 35-44.
- A. Lakhotia, "Constructing Call Multigraphs using Dependence Graphs," 12th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1993, pp. 273-284.
- A. Lakhotia & T. W. Chan, "Data Slicing by Dynamic Program Slicing," Software Engineering Research Forum, November 1993, pp. 245-254.
- A. Lakhotia, "Analysis of Experiences with Modifying Computer Programs," Abstract in 5th Workshop on empirical studies of programmers, December 1993, pp 225.
- T. Chan and A. Lakhotia, "Integrating Testing and Debugging Using Data Slicing," ASME Symposium on Computers in Engineering, Houston, February 1993, pp. 1-6.
- A. Lakhotia, "To PE or not to PE," META90: Proceedings of the workshop on meta-programming in Logic, Belgium, April 1990.
- A. Lakhotia & L. Sterling, "Program Development by Stepwise Enhancement," Second International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute, Skokie, June 21-23, 1990, pp. 78-83.
- A. Lakhotia, "Incorporating `Programming-Techniques' into Prolog Programs," Logic Programming: Proceedings of the North American Conference 1989, MIT Press, October 1989, 426-440.
- L. Sterling & A. Lakhotia, "Composing Prolog Meta-Interpreters," Logic Programming: Proceedings of the Fifth International Conference and Symposium, MIT Press, August, 1988, pp. 386-403.
- A. Lakhotia & L. Sterling, "Composing Logic Programs with Clausal Join," Workshop on Partial Evaluation and Mixed Computation, Denmark, October 1987
- A. Lakhotia, "Spatial Data Abstraction," XVIII Conference of the Computer Society of India, Ahmedabad, January 1983