Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Gopal Gupta's Home Page
Software Engineering: Software Verification, Real-time Systems,
Domain Specific Languages, Executable Specifications,
Agent/Web based Computing, Interoperability.
Parallel and Distributed Processing: High Performance
AI and Constraint Logic Programming Systems, Automatic
Parallelization, Parallel Architectures, Applications.
Please visit the ALPS Lab
web pages for projects in progress These projects have been funded by
NSF, NATO, Sandia National Labs, AITEC (Japan), Fullbright Foundation.
Click here for a list.
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.
Enrico Pontelli, 1997, Ph.D. Thesis: Design and
Implementation of the ACE System. Currently, Full Professor, NMSU.
Awarded NSF CAREER grant, 1998;
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.
Luke Simon, July. 2006, Ph.D. Thesis: Coinductive Logic Programming.
Metallect Corp, Dallas, TX. (Won best paper award at ECOWS'05)
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).
Qian Wang, Dec. 2007, Thesis: Semantics-based Approaches to Formal Language Processing, Interoperate LLC (best paper SVV'03).
Ajay Bansal, Dec. 2007, Thesis: Next Generation of LP Systems. Postdoc. Georgetown University. (Won best paper award at ECOWS'05).
Srividya Kona, Dec. 2007, Thesis: Automatic Discovery and Composition of Web Services, Postdoc.
Georgetown University (Won best paper award at ECOWS'05).
Michael Nichols, Voice Commanded Languages, Ph.D. student.
Richard Min, Goal-directed Answer Set Programming, Ph.D. student.
Brian DeVries, Coinduction in Verification. Ph.D. student.
Neda Saeedloei, Ph.D. student.
Kyle Marple, Ph.D. student.
Master's Students (with information on first employment)
Savio Monteiro, Mobile Aural Browsing
Abhilash Tiwari, Intelligent Interfaces for Problem Solving
Shrirang Khisti(2008, VMWare), Automatic Detecton of Memory Leaks in Binary Executables
Parag Doshi(2007, Yahoo), General Strategies for Buffer Overflow Attack Proofing
Bharathi Boyareddigari, Thesis: Guidance System for Visually Impaired