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, 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 Some of the projects have been funded in the past by
NSF, NATO, EPA, DHS, Sandia National Labs, AITEC (Japan), Fullbright Foundation.
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.
ExSched Systems: An Excel Plug-in for Knowledgesheet (see below).
A spreadsheet interface for solving constraint satisfaction
problems. Tiwari, Chitnis, Yennamani, Gupta. 2006. VB .NET and CLP. Used by UTD CS
and EE departments to automatically schedule 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.
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.
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. 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.
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.
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. 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.
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).
View the thesis
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, Assistant Professor. Arizona State University (Won best paper award at ECOWS'05).
Richard Min, August 2009, Thesis: Predicate Answer Set Programming with Coinduction
Michael Nichols, Ph.D. student, Voice Commanded Languages.
Brian DeVries, Ph.D. student, Coinduction in Verification.
Neda Saeedloei, Ph.D. student, Verification of Complex Real-time Systems.
Kyle Marple, Ph.D. student, Design of Domain Specific Languages
Master's Students (with information on first employment)
Savio Monteiro, Mobile Aural Browsing
Abhilash Tiwari (2009, UTD), 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