Gopal Gupta

[Future/Recent Events] [Research Interests] [Education] [Projects] [Service][Current/Past Students] [Courses] [Miscellaneous]

Follow what's happening in the CS Department on twitter.com: click here

• G. Gupta, et al. Logic, Coinduction, and Infinite Computation. Slides from CALCO'11 invited talk.
• N. Saeedloei, G. Gupta. Coinductive Constraint Logic Programming.
• K. Marple, A. Bansal, R. Min, G. Gupta. Goal-directed Execution of Answer Set Programs.
• K. Marple, G. Gupta. GALLIWASP: A Goal-directed Answer Set Solver.
• A. Karshmer, G. Gupta, E. Pontelli. Mathematics and Accessibility: A Survey.
• G. Gupta. Reissuing the 5th Generation Challenge: Next Generation of LP Systems. Talk given at DAMP'06.

• 23rd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'13). Madrid, Spain, Sep 18-Sep 20, 2013.
• 29th International Conference on Logic Programming (ICLP'13). Istanbul, Turkey, Aug 24-Aug 29, 2013.
• 5th Conference on Algebras and Coalgebras (CALCO'13). Warsaw, Poland, Sep 3-Sep 6, 2013.

• First workshop on Coinductive Logic Programming (Co-LP'12). Budapest, Hungary, Sep 8, 2012.
• 28th International Conference on Logic Programming (ICLP'12). Budapest, Hungary, Sep 4-8, 2012.
• 15th Symposium on Practical Aspects of Declarative Languages (PADL). Rome, Italy, Jan 21-22, 2013.
• 4th Conference on Algebras and Coalgebras (CALCO). Winchester, UK, Aug 29-Sep 2, 2011.

Research Interests:

• Programming Languages: Implementation, Semantics, Applications, Constraint and Logic Programming, Static Analysis.
• Software Engineering: Software Verification, Real-time Systems, Domain Specific Languages, Interoperability.
• Parallel and Distributed Processing: High Performance AI and Constraint Logic Programming Systems, Automatic Parallelization, Parallel Architectures, Applications.
• Artificial Intelligence: Logic based Intelligent systems, constraint satisfaction, constraint programming, implementation
• Human Computer Interaction: Tools for Visually Impaired; Intelligent Interfaces.

Education

• Ph.D (Computer Science): UNC at Chapel Hill (1991)
• M.S. (Computer Science): UNC at Chapel Hill (1987)
• B.Tech. (Computer Science): Indian Institute of Technology, Kanpur, India (May 1985)
  

From 01/92 to 08/00, I worked as a faculty member in the Computer Science Department at New Mexico State University.

Current Projects

• Coinductive Logic Programming
• Goal-directed Answer Set Programming
• Logical foundation of cyber-physical systems

Software Systems developed by my research group

• Galliwasp: Goal-directed Answer Set Solver. With Marple, Min, Bansal.
• CoLP Metainterpreter: Meta-interpreter for co-LP. With Kluzniak, Simon, Mallya, Bansal.
• NEXUS parser: A parser for NEXUS (NEXUS is a bioinformatics mark-up language).
• ExSched System: An Excel Plug-in for Knowledgesheet (see below). A spreadsheet interface for solving constraint satisfaction problems. With Tiwari, Chitnis, Yennamani. 2006. Used in the past by CS and EE departments to automatically schedule courses.
• VoxBoox System: A system for automatically generating interactive talking books. With Aanchal Jain Click here to see demo.
• DAWN System: A system that allows interactive audio/voice based aural surfing of the WWW over the phone. With Raman, Nichols, Reddy, Annamalai.
• Semantic Web System: Semantically maps RDF documents and RDQL queries to Horn logic. The RDQL queries can then be executed w.r.t. RDF data. With Kunal Patel, 2003.
• The E-plan System: The E-plan system is a Web-based system for helping with emergencies involving hazardous chemicals. Read an article about the system in Firechief magazine (a more recent one here in Industrial Fire World magazine) and how it was used for Hurricane Katrina releif.
• TA Scheduler: Automatically assigns to TAs to courses. Used at UTD since fall 2002 to make assignment for 70+ TAs to about 120 courses. With King, Gupta, Guballa, Mallya. 2003.
• HTML to VoiceXML Transcoder: converts any HTML 4.0 web-page to VoiceXML. Extensible. Developed in Java (initial prototype in Prolog). With Narayan, Gupta, Dr. Prabhakaran.
• Transform: Bioinformatics interoperability tool (available through swbic.org). With Drs Pontelli, Ranjan, Milligan. 2001.
• PALS: Parallel ALS, a distributed logic programming system based on the commercial ALS Prolog system. Implements full Prolog, and runs on Beowulf (ca. 2002). Built on top of Applied Logic System's (ALS) WAM, uses MPI and the novel technique of stack-splitting to realize distributivity. Villaverde, Pontelli, Gupta, Guo.
• TALS: Tabled ALS, a tabled logic programming system based on the commercial ALS Prolog system. Implemented on top of ALS WAM, uses novel technique of dynamic reordering of alternatives. With Hai-Feng Guo.
• NADA: An automatic system for checking undergraduate graduation requirements and providing advise automatically to students (built for NMSU). Implemented using Prolog + Java. Jose-Mendez, Karshmer, and Gupta. 1999.
• ACE: A High Performance Parallel Prolog System implemented on top of SICStus Prolog. Runs on SMMs. Pontelli and Gupta. No longer maintained or available.
• VACE: A tool for visualizing and-or parallel execution of logic programs. Runs on daVinci. Vaupel, Pontelli, Gupta. No longer maintained or available.
• Knowledgesheet: A Spread-sheet based tool for solving constraint satisfaction problems. Akhtar and Gupta.
• Nemeth to Latex Backtranslator: A system for converting Nemeth Math Braille document to Latex. 2001. Try the expression coverter here: Nemeth Math to Latex Backtranslator (alpha).
• An Interpreter for EqL: EqL is an equational language. Gupta and Jayaraman. 1987. No longer maintained or available.

Professional Organization Service

• President (2010-2014), Association for Logic Programming. Read my vision statement.
• Executive Committee Member (2003-2007), Association for Logic Programming.
• Co-founder and Co-coordinator, COMPULOG AMERICAS, a network of research groups in the Western Hemisphere engaged in research on Computational Logic.
• Member of the Board (9/01-8/06 ), European Association for Programming Languages and Systems (EAPLS)
• Conference Coordinator (2003-2009) Association for Logic Programming.

Past Organized Events

• Program Co-Chair, 21st International Conference on Logic Programming.
• Workshop on Constraint Logic Programming and Software Engineering, LPSE2000.
• Co-founder and director (1992-2000) of the Laboratory for Logic, Databases, and Advanced Programming. The Lab is now directed by Prof. Enrico Pontelli.
• Founder, PADL (Practical Aspects of Declarative Languages) symposium series, 1999 onwards.
• First COMPULOG AMERICAS Summer School on (Constraint) Logic Programming.
• Second COMPULOG AMERICAS Summer School on (Constraint) Logic Programming.
• General Chair, 16th International Conference on Logic Programming.
• Organizer, 1999 NSF PIs' meeting. of NSF's Research Infrastructure Award Holders.

Students: Past and Present

Ph.D. Students

1. Enrico Pontelli, 1997, Ph.D. Thesis: Design and Implementation of the ACE System. Currently, Full Professor, NMSU. Awarded NSF CAREER grant, 1998;
2. Haifeng Guo, Oct. 2000 , Ph.D. Thesis: Efficient Distributed and Tabled Logic Programming Systems. Ex NSF Post Doc. Fellow, SUNY SB. Currently, Associate Professor, CS Dept. University of Nebraska at Omaha. Awarded Nebraska EPSCOR Career grant.
3. Luke Simon, July. 2006, Ph.D. Thesis: Coinductive Logic Programming. Microsoft, Redmond, WA. (Won best paper award at ECOWS'05). View the thesis
4. Ajay Mallya, Aug. 2006, Ph.D. Thesis: Deductive Model Checking. Amazon.com, Seattle, WA. (won best student paper award at ICLP'05; best paper award ECOWS'05).
5. Qian Wang, Dec. 2007, Thesis: Semantics-based Approaches to Formal Language Processing, Interoperate LLC (best paper SVV'03).
6. Ajay Bansal, Dec. 2007, Thesis: Next Generation of LP Systems. Postdoc. Georgetown University. (Won best paper award at ECOWS'05).
7. Srividya Kona, Dec. 2007, Thesis: Automatic Discovery and Composition of Web Services, Assistant Professor. Arizona State University (Won best paper award at ECOWS'05).
8. Richard Min, August 2009, Thesis: Predicate Answer Set Programming with Coinduction. Taylor University. View the thesis
9. Neda Saeedloei, Ph.D. student, Verification of Complex Real-time Systems. Researcher, INRIA-Rocquencort. View the thesis
10. Kyle Marple, Ph.D. student, Goal-directed Answer Set Programming.
11. Brian DeVries, Ph.D. student, Coinduction in Verification.

Master's Students (with information on first employment)

1. Savio Monteiro, (2010, UTD CE PhD student), Mobile Aural Browsing.
2. Abhilash Tiwari (2009, NPI), Intelligent Interfaces for Problem Solving
3. Shrirang Khisti(2008, VMWare), Automatic Detecton of Memory Leaks in Binary Executables
4. Parag Doshi(2007, Yahoo), General Strategies for Buffer Overflow Attack Proofing
5. Bharathi Boyareddigari, Thesis: Guidance System for Visually Impaired
6. Aanchal Jain (2006, Tektronix), Thesis: Automatic Generation of Interactive Talking Books
7. Siddharth Chitnis(2006, QualComm), Thesis: Logical Spreadsheets
8. Sriram Sunder Raman (2005, QualComm), Thesis: Dynamic Aural Web Navigation.
9. Ramya Reguramalingam (2005, Amazon.com) (12/05), Thesis: Buffer Attack-proofing of Binary Code.
10. Rekha Ramesh (2005, Metallect), Thesis: Automatic Meeting Scheduling Server
11. Madhu Yennamani (2004, Novomatic), Thesis: Constraint-based Timetable Generation
12. Ramakrishnan Venkitaraman (2004, QualComm), Thesis: Static Program Analysis of DSP Software Systems
13. Kunal Patel (2004, Network Inference, Inc.), Thesis: Semantically Processing the Semantic Web
14. Vinay Ahuja (2003, Intelligenxia, Inc.), Thesis: Strategies for Robocup Soccer
15. Hemamber Reddy (2004, Metallect Corp), Thesis: Dynamically Navigable VoiceXML
16. Narayan Annamalai (2002, Intervoice), Thesis: Extensible Translator from HTML to VoiceXML View the thesis
17. Xinhong Zhou (2001, Sabre, Inc.), Project: Transforming DTDs to DCGs.
18. Larry King (2000, Honeywell Research Center), Thesis: Course scheduling with Constraint Logic Programming.
19. C-C Cheng (2000, Cadence Design, Inc.). Project: Automatic Generation of XML Parsers
20. Nayana Datta (2000, Synopsis, Inc.). Thesis: Semantics-based Interoperability.
21. Hai-Feng Guo (1999, on to Ph.D.). Thesis: Semantics-based Nemeth to Latex Backtranslation.
22. Jose Mendez (1998, Argodata), Thesis: NMSU Advising and Audit System.
23. Shameem Akhter (1998, Intel). Thesis: Knowledgesheet: A Spreadsheet Interface for CLP Programs. See Shameem's latest work: the first book on programing multicore architectures.
24. Federico Bassetti (1997, Los Alamos National Labs). Thesis: Performance Evaluation of Computer Systems.
25. Jung-Wook Bang (1997, on to Ph.D. @ Imperial College, UK). Thesis: Automated Medical Diagnosis of Acid-Base Disorders.
26. Rick Vaupel (1996, Lockheed). Thesis: Visualization of And-Or Parallel Execution.
27. Haren Babu (1995, IBM.). Thesis: Or-parallelism on Distributed Machines.
28. Greg Luce (1994, employment info. n/a). Project: Design/Impl. of a Parallelizing Compiler.

Teaching

• CS4384; Automata Theory
• CS3306; Discrete Math for Software Engineers
• CS6371; Advanced Programming Lanuages
• CS7301; Programming Langs and S/W Engg
• CS6374; Computational Logic
• CS6389; Formal Methods and Programming Methodology

My full CV (pdf format)

Miscellaneous

• European Association for Programming Languages and Systems (EAPLS)
• ACM Special Interest Group on Programming Languages (SIGPLAN)
• UTD CS Ph.D. Qualifying Exam policy and other related documents.
• An easy to follow "Crash Course on Theory of Infinite Sets" by Peter Suber (relates to coinduction)
• Partial Evaluation and Futamura Projections
• A great resource for learning about Logic: Stanford Encyclopaedia of Philosophy
• A position paper: Language Based Software Engineering
• Advice on Writing and Research
• Everything you wanted to know about an academic career but were afraid to ask. ( in pdf).
  Talk given to UTD CS Ph.D. students on An Apr 2003 (and again in 2004).
• Dijkstra's 3 Golden Rules for Successful Scientific Research
• Some of my favorite quotes
• Bylaws of the Erik Jonsson School of Engineering and Computer Science (I chaired the school committee that wrote these bylaws)
• List of LaTeX Math symbols
• Math Genealogy Project
• India's contribution to Mathematics:
               positional number system, and zero
• Obituary that I wrote for my dear departed friend, Frank Harary, read by Dr. Desh Ranjan at Frank's funeral.
• When I am not doing Computer Science...
• A parody authored by my daughter, Ritika
• Pictures of the beautiful Organ Mountains in Las Cruces, New Mexico, taken by me
• A brief guide to a tour of southern NM that I prepared