Hongwei Xi

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 19

Top Topics

Parallel Search

Theorem Proving

Owl Dl Ontology

Top Venues

Comput. Intell. Neurosci.

Publications

Qiancheng Fu, Hongwei Xi
A Two-Level Linear Dependent Type Theory. CoRR (2023)
Qiancheng Fu, Hongwei Xi
A Calculus of Inductive Linear Constructions. TyDe@ICFP (2023)
Hongwei Xi, Hanwen Wu
Multirole Logic and Multiparty Channels. CoRR (2023)
Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi
A Dependently Typed Language with Dynamic Equality. TyDe@ICFP (2023)
Leonard Kosta, Laura Seaman, Hongwei Xi
Program Synthesis and Vulnerability Injection Using a Grammar VAE. J. Softw. 14 (6) (2019)
Leonard Kosta, John Irvine, Laura Seaman, Hongwei Xi
Many-target, Many-sensor Ship Tracking and Classification. HPEC (2019)
Mingai Li, Hongwei Xi, Xiaoqing Zhu
An Incremental Version of L-MVU for the Feature Extraction of MI-EEG. Comput. Intell. Neurosci. 2019 (2019)
Hongwei Xi, Dengping Zhu
To Memory Safety through Proofs. CoRR (2018)
Hanwen Wu, Hongwei Xi
Implementing Linking in Multiparty Sessions (Extended Abstract). CoRR (2018)
Hanwen Wu, Hongwei Xi
Multiparty Dependent Session Types (Extended Abstract). CoRR (2018)
Hongwei Xi
Applied Type System: An Approach to Practical Programming with Theorem-Proving. CoRR (2017)
Hanwen Wu, Hongwei Xi
Dependent Session Types. CoRR (2017)
Hongwei Xi, Hanwen Wu
Multirole Logic (Extended Abstract). CoRR (2017)
Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. CoRR (2016)
Hongwei Xi, Hanwen Wu
Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions. CoRR (2016)
Zhiqiang Ren, Hongwei Xi
Combining type-checking with model-checking for system verification. MEMOCODE (2016)
Hongwei Xi, Hanwen Wu
Propositions in Linear Multirole Logic as Multiparty Session Types. CoRR (2016)
Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
Parametric Runtime Verification of C Programs. TACAS (2016)
Jiang Shao, Haiyan Wang, Rui Zhao, Jing Zhang, Zhangfan Shen, Hongwei Xi
Study on the Target Frame of HMDs in Different Background Brightness. HCI (4) (2016)
William Blair, Hongwei Xi
Dependent Types for Multi-Rate Flows in Synchronous Programming. ML Family/OCaml (2015)
Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. TASE (2015)
Brandon E. Barker, Narayanan Sadagopan, Yiping Wang, Kieran Smallbone, Christopher R. Myers, Hongwei Xi, Jason W. Locasale, Zhenglong Gu
A robust and efficient method for estimating enzyme complex abundance and metabolic flux from expression data. Comput. Biol. Chem. 59 (2015)
Matthew Danish, Hongwei Xi
Using Lightweight Theorem Proving in an Asynchronous Systems Context. NASA Formal Methods (2014)
Rui Shi, Hongwei Xi
A linear type system for multicore programming in ATS. Sci. Comput. Program. 78 (8) (2013)
Matthew Danish, Hongwei Xi, Richard West
Applying language-based static verification in an ARM operating system. SIGBED Rev. 10 (2) (2013)
Zhiqiang Ren, Hongwei Xi
A Programmer-Centric Approach to Program Verification in ATS CoRR (2012)
Matthew Danish, Hongwei Xi
Operating system development with ATS: work in progress. PLPV (2010)
Rui Shi, Dengping Zhu, Hongwei Xi
A Modality for Safe Resource Sharing and Code Reentrancy. ICTAC (2010)
Hongwei Xi
A Simple and General Theoretical Account for Abstract Types. SBMF (2009)
Matthew Danish, Hongwei Xi
Operating system development with ATS: work in progress: (abstract only). ACM SIGPLAN Notices 44 (11) (2009)
Kevin Donnelly, Hongwei Xi
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Hongwei Xi
Dependent ML An approach to practical programming with dependent types. J. Funct. Program. 17 (2) (2007)
Aaron Stump, Hongwei Xi
Preface. Electron. Notes Theor. Comput. Sci. 174 (7) (2007)
Hongwei Xi
Attributive Types for Proof Erasure. TYPES (2007)
Hongwei Xi
Development Separation in Lambda-Calculus. Electron. Notes Theor. Comput. Sci. 143 (2006)
Rui Shi, Chiyan Chen, Hongwei Xi
Distributed meta-programming. GPCE (2006)
Chiyan Chen, Rui Shi, Hongwei Xi
Implementing Typeful Program Transformations. Fundam. Informaticae 69 (1-2) (2006)
Sa Cui, Kevin Donnelly, Hongwei Xi
ATS: A Language That Combines Programming with Theorem Proving. FroCoS (2005)
Kevin Donnelly, Hongwei Xi
Combining higher-order abstract syntax with first-order abstract syntax in ATS. MERLIN (2005)
Chiyan Chen, Hongwei Xi
Meta-programming through typeful code representation. J. Funct. Program. 15 (5) (2005)
Chiyan Chen, Hongwei Xi
Combining programming with theorem proving. ICFP (2005)
Dengping Zhu, Hongwei Xi
Safe Programming with Pointers Through Stateful Views. PADL (2005)
Chiyan Chen, Dengping Zhu, Hongwei Xi
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. PADL (2004)
Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi
ETPS: A System to Help Students Write Formal Proofs. J. Autom. Reason. 32 (1) (2004)
Chiyan Chen, Rui Shi, Hongwei Xi
A Typeful Approach to Object-Oriented Programming with Multiple Inheritance. PADL (2004)
Hongwei Xi, Chiyan Chen, Gang Chen
Guarded recursive datatype constructors. POPL (2003)
Hongwei Xi, Chiyan Chen
Meta-programming through typeful code representation. SIGPLAN Notices (2003)
Walid Taha, Stephan Ellner, Hongwei Xi
Generating Heap-Bounded Programs in a Functional Setting. EMSOFT (2003)
Dengping Zhu, Hongwei Xi
A Typeful and Tagless Representation for XML Documents. APLAS (2003)
Hongwei Xi
Facilitating Program Verification with Dependent Types. SEFM (2003)
Chiyan Chen, Hongwei Xi
Implementing typeful program transformations. PEPM (2003)
Chiyan Chen, Hongwei Xi
Meta-programming through typeful code representation. ICFP (2003)
Hongwei Xi
Applied Type System: Extended Abstract. TYPES (2003)
Hongwei Xi
Dependent Types for Program Termination Verification. High. Order Symb. Comput. 15 (1) (2002)
Hongwei Xi
Unifying object-oriented programming with typed functional programming. ASIA-PEPM (2002)
Hongwei Xi
Dependent Types for Program Termination Verification. LICS (2001)
Hongwei Xi, Robert Harper
A Dependently Typed Assembly Language. ICFP (2001)
Hongwei Xi
Imperative Programming with Dependent Types. LICS (2000)
Hongwei Xi, Songtao Xia
virtual machine language. CASCON (1999)
Hongwei Xi
Upper Bounds for Standardizations and An Application. J. Symb. Log. 64 (1) (1999)
Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi
Perpetual Reductions in Lambda-Calculus. Inf. Comput. 149 (2) (1999)
Hongwei Xi
Dead Code Elimination through Dependent Types. PADL (1999)
Hongwei Xi, Frank Pfenning
Dependent Types in Practical Programming. POPL (1999)
Hongwei Xi, Frank Pfenning
Eliminating Array Bound Checking Through Dependent Types. PLDI (1998)
Hongwei Xi
Towards Automated Termination Proofs through "Freezing". RTA (1998)
Hongwei Xi
Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus. LFCS (1997)
Hongwei Xi
Upper Bounds for Standardizations and an Application. Kurt Gödel Colloquium (1997)
Hongwei Xi
Weak and Strong Beta Normalisations in Typed Lambda-Calculi. TLCA (1997)
Hongwei Xi
Evaluation Under Lambda Abstraction. PLILP (1997)
Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: A Theorem-Proving System for Classical Type Theory. J. Autom. Reason. 16 (3) (1996)
Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi
TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory. HUG (1993)