Continuation Semantics as Horn Clauses. - Qian Wang 024; Gopal Gupta 001 (LOPSTR, 2003)

Provably Correct Code Generation: A Case Study. - Qian Wang 024; Gopal Gupta 001 (SVV@ICLP, 2003)

A Logic Programming-based Environment for Integrating Architecture Description Languages. - Qian Wang 024; Gopal Gupta 001 (WLPE, 2004)

Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. - Qian Wang 024; Gopal Gupta 001; Michael Leuschel (PADL, 2005)

Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach. - Qian Wang 024; Gopal Gupta 001 (SAC, 2005)

Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. - Deepa Gopal; Qian Wang 024; Gopal Gupta 001; S. Chitnis; Haifeng Guo; Arthur I. Karshmer (HCI (7), 2007)