Javascript must be enabled to use this form.

UTDallas Research Explorer
 View Profile
    Faculty Profile — Is this you? Login to edit.Last Modified Time: 06:58:22 PM Sun, 11 Apr 2010 
Image of  Gopal  Gupta
 Contact InformationHelpHelp  
Gopal Gupta
Professor and Program Head-Computer Science
Office MailstopMail Box: EC31, Room No.: ECSS 4.908 A 
Email Address  Gopal.Gupta@utdallas.edu    Primary Phone Number 972-883-4107    Fax Number (972) 883 2399    URL Faculty Homepage    Media Contact
Administrative Assistant:  Help  
Weekly, Julie Ann
 Professional Preparation
HelpHelp  
 DegreeMajorInstitutionYear
 Ph.D.Computer ScienceUniversity of North Carolina at Chapel Hill1991
 M.S.Computer ScienceUniversity of North Carolina at Chapel Hill1987
 B.TechComputer ScienceIndian Institute of Technology, Kanpur1985
Collapse Section Expand Section Research and Expertise
HelpHelp  
Research Interests
  • Programming Languages: Implementation and Semantics, Logic Programming, Constraint Programming, Applications, Compile-time Analysis.
  • Software Engineering: Software Verication, Domain Specic Languages, Executable Specications, Agent/Web/Service based Computing, Interoperability.
  • Parallel and Distributed Processing: High Performance AI and Logic Programming Systems, Automatic Parallelization and Parallelizing Compilers, Parallel Architectures, Applications.
  • Human Computer Interaction: Tools for Visually Impaired; Intelligent Interfaces.
  • Artificial Intelligence: Logic based Intelligent systems, constraint satisfaction, constraint programming, implementation
Collapse Section Expand Section Publications
HelpHelp  
 1  2 3  
  YearPublication  Type
2014
G. Gupta. Language Based Software Engineering. Sci. of Computer Programming Journal. Elsevier. To appear 2014.
Peer reviewed
2009
S. Kona, A. Bansal, G. Gupta. USDL: A Service-Semantics Description Language for Automatic Service Discovery and Composition. International Journal of Web Services Research. Jan 2009. 6(1): 20-48.
Category: Journal of Web Services Research
Peer reviewed
2009
H-F Guo, G. Gupta. Dynamic Reordering of Alternatives for Definite Logic Programs,
Journal of Computer Languages, Elsevier, 35(3):252-265 (October 2009)
Other
2008
S. Kona, A. Bansal, B. Blake, G. Gupta, Generalized Semantics-based Service Composition. May 2008. 
Peer reviewed
2008
H-F. Guo, G. Gupta. Simplifying Dynamic Programming via Mode-directed Tabling. Software Practice and Experience. 38(1): 75-94 (2008). Jan 2008.
Category: Software Practice and Experience
Peer reviewed
Collapse Section Expand Section Presentations and Projects
HelpHelp  
  1  
Start DateEnd DatePresentation/Project
09/24/2005 09/24/2005 Workshop on Logical Spreadsheets

Workshop on Logical Spreadsheets, Sep 24, 2005. Stanford University, Palo Alto, CA.

02/2008 02/2008 European Science Project Workshop on Math Accessibility

European Science Project Workshop on Math Accessibility, Paris, France, Feb. 2008.

01/15/2006 01/15/2006 Workshop on Declarative Languages for Multicore Architectures

Workshop on Declarative Languages for Multicore Architectures, Jan 15, 2006. Charleston, SC.

  Condicutve Logic Programming and Its Applications
G. Gupta, L. Simon, A. Bansal, A. Mallya, R. Min. Condicutve Logic Programming and Its Applications. Slides from PADL'09 invited talk. 
  Reissuing the 5th Generation Challenge: Next Generation of LP Systems
G. Gupta. Reissuing the 5th Generation Challenge: Next Generation of LP Systems. Talk given at DAMP'06.
Collapse Section Expand Section Appointments
HelpHelp  
DurationRankDepartment / SchoolCollege / OfficeUniversity / Company
11/1989-12/1991Member of Research Staff Parallel Logic Programming Systems GroupUniversity of Bristol
09/2009-PresentDepartment HeadDepartment of Computer Science UT DAllas
09/2004-PresentAssociate Department HeadDepartment of Computer Science The University of Texas at Dallas
09/2002-PresentProfessorDepartment of Computer Science The University of Texas at Dallas
09/2000-08/2002Associate ProfessorDepartment of Computer Science The University of Texas at Dallas
08/1985-10/1989Research/Teaching Assistant  UNC Chapel Hill
07/1997-08/2000Associate ProfessorDepartment of Computer Science NMSU
05/1985-07/1985Programmer  Uttar Pradesh Development System Corporation
01/1992-06/1997Assistant ProfessorDepartment of Computer Science NMSU
 News Articles
Prof's Startup Untangles Problems With Old Software
News Center at UT Dallas

When Dr. Gopal Gupta took the helm of the Department of Computer Science, contributing to the regional economy through entrepreneurial endeavors was a goal set for faculty members and students, and an expectation he applied to himself.
 
Three years later, he is co-founder of Interoperate, a startup company whose clients now include publicly traded organizations that rank in the top 100 onFortune magazine’s list of the largest companies in America.
 
Interoperate automatically translates computer programs made from legacy codes, those created decades ago, into their modern versions accurately and efficiently. Gupta, an expert in programming languages and applied logic, took a different approach. He built a translator that uses the most sophisticated programming languages available to automatically translate legacy code.

Computer Scientist to Lead Logic Programming Group
UT Dallas News Center
The UT Dallas Computer Science Department’s head, Dr. Gopal Gupta, has been elected president of the Association for Logic Programming.
 
The international association was founded in 1986 to contribute to the development of logic programming, which is a programming paradigm and the basis of Prolog, a computer language that’s widely used in research and education.
 
“Logic programming is an important component of modern computer science,” Gupta said. “Logic programs are considerably shorter and easier to maintain than programs written in other languages, and the association works to relate logic programming to other subfields of computer science and to promote its use in academia and industry worldwide.”

UTD Computer Science Professor, Students Win Best Paper Awards
UT Dallas News Center
Dr. Gopal Gupta, a professor and associate head of the computer science program in the Erik Jonsson School of Engineering and Computer Science at The University of Texas at Dallas (UTD), along with five co-authors, won the best paper award at the European Conference on Web Services held earlier this month in Sweden.
 
The paper, titled “A Universal Service-Semantics Description Language,” addresses the issue of designing a mark-up language that will allow automatic discovery of services on the internet.  It was selected from among 70 submissions and was also authored by four UTD students — Ajay Bansal, Srividya Kona, Luke Simon and Ajay Mallya.  The remaining co-author, Tom Hite, is the chief technology officer of Metallect Corporation.

Department Head Hopes to Inspire Entrepreneurs
UT Dallas News Center
The new head of computer science at UT Dallas is committed to further enhancing the department’s education and research, but he also wants to accelerate entrepreneurial activities, benefiting faculty, students, alumni and the regional economy alike.
 
“Software-based companies are, after all, particularly easy to start,” said Gopal Gupta, who officially became department head Aug. 12. “A few people with some good ideas and some laptops in a garage, and you’re ready to go.”
 
Dr. Gupta admits it may take a little more than that to produce the next Google – and having been involved with two start-up companies himself, he knows the process – but he thinks the department is well-positioned to help create successes in the commercial marketplace.

       Teaching HelpHelp  
 Additional Information
HelpHelp  
Honors and Awards
  • President, Association for Logic Programming, 2010 onwards.
  • Member, Executive committee, Association of Logic Programming, 2003-2007.
  • Member, Executive Committee, European Association for Programming Languages and Systems.
  • Junior Faculty Enhancement Award in Computer Sciences, Oak Ridge Associated Universities, 1992.
  • Most Practical Paper Award, Sixth International Conference on Practical Aspects of Declarative Languages. 2004. (With H. F. Guo)
  • Best paper Award, Software Verification and validation Workshop, 2003. (With Q. Wang).
  • Best paper Award, 2005 European Conference on Web Services.
  • Recipient of Graduate School Fellowship, University of North Carolina, Chapel Hill.
  • Recipient of 'National Talent Search Scholarship', Government of India, 1981-1985.
  • Ranked sixteenth nationwide (among 100,000 students) in the Joint Entrance Examination of Indian Institute of Technology (IIT- JEE)

Software Systems developed by my research group
  • NEXUS parser: A parser for NEXUS (NEXUS is a bioinformatics mark-up language). This is old work (ca 2000), which has seen renewed interest by bioinformatics researchers. Pontelli, Gupta. Implemented in Prolog.
  • ExSched Systems: An Excel Plug-in for Knowledgesheet (see below). A spreadsheet interface for solving constraint satisfaction problems. Chitnis, Yennamani, Gupta. 2006. VB .NET and CLP. Used by UTD CS and EE departments to automatically schedule courses (can handle large schedules; CS automatically scheduled 95 courses at a time, EE 75 courses).
  • VoxBoox System: A system for automatically generating interactive talking books. Click here to see demo.
  • DAWN System: A system that allows interactive audio/voice based aural surfing of the WWW over the phone. Prototype under development. Raman, Nichols, Reddy, Annamalai, Gupta. Implemented in Java and C.
  • 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. Kunal Patel and Gupta, 2003. Developed in Prolog. Available upon Request.
  • The E-plan System: The E-plan system is a Web-based system for helping with emergencies involving hazardous chemicals. My group was part of a larger team that developed the system. System currently in active use by fire-fighters and hazmat responders in several states (TX, AR, NM, LA). Staves (EPA), Harris, Raghavachari, Gupta, and numerous students. 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. Now has a web interface and a front end GUI. King, Gupta, Guballa, Mallya. 2003. An AI system developed in Prolog/CLP. Beta version available upon request.
  • HTML to VoiceXML Transcoder: converts any HTML 4.0 web-page to VoiceXML. Extensible. Developed in Java (initial prototype in Prolog). Narayan, Gupta, Balakrishnan. Available upon Request.
  • Transform: Bioinformatics interoperability tool (available through swbic.org). Pontelli, Gupta, Ranjan, Milligan (developed in Prolog/CLP). 2001.
  • PALS: Parallel ALS, a distributed logic programming system based on the commercial ALS Prolog system. Implements full Prolog, and runs on Beowulf now (ca. 2002). Built on top of Applied Logic System's (ALS) WAM, uses MPI and the novel technique of stack-splitting to realize distributivity. Will be eventually available through ALS, Inc. 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. Guo and Gupta.
  • 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 (patent pending). Akhtar and Gupta.
  • Nemeth to Latex Backtranslator: A system for converting Nemeth Math Braille document to Latex. Implemented in Prolog/CLP. 2001. Try the expression coverter here: Nemeth Math to Latex Backtranslator (alpha). Commercialization efforts also under way. 2002. Guo, Karshmer, Gupta.
  • An Interpreter for EqL: EqL is an equational language. Gupta and Jayaraman. 1987. The system was distributed to about 20+ places. No longer maintained. Implemented in C.

Please verify the information in this request and mention any changes or suggestions in the comments section. Email notifications and confirmations regarding this will be sent to you at fromEmail and the profile owner. If you would like to receive it at a different email address, please change the email address listed on your profile.
From:
Comments:
© 2014-2015 The University of Texas at Dallas About Explorer | Accessibility | Contact Explorer Team