Hongwei Xi

According to our database, Hongwei Xi authored at least 67 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Two-Level Linear Dependent Type Theory.

Qiancheng Fu, Hongwei Xi

CoRR, 2023

Multirole Logic and Multiparty Channels.

Hongwei Xi, Hanwen Wu

CoRR, 2023

A Dependently Typed Language with Dynamic Equality.

Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

A Calculus of Inductive Linear Constructions.

Qiancheng Fu, Hongwei Xi

Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, 2023

2019

Program Synthesis and Vulnerability Injection Using a Grammar VAE.

Leonard Kosta, Laura Seaman, Hongwei Xi

J. Softw., 2019

An Incremental Version of L-MVU for the Feature Extraction of MI-EEG.

Mingai Li, Hongwei Xi, Xiaoqing Zhu

Comput. Intell. Neurosci., 2019

Many-target, Many-sensor Ship Tracking and Classification.

Leonard Kosta, John Irvine, Laura Seaman, Hongwei Xi

Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019

2018

To Memory Safety through Proofs.

Hongwei Xi, Dengping Zhu

CoRR, 2018

Implementing Linking in Multiparty Sessions (Extended Abstract).

Hanwen Wu, Hongwei Xi

CoRR, 2018

Multiparty Dependent Session Types (Extended Abstract).

Hanwen Wu, Hongwei Xi

CoRR, 2018

2017

Multirole Logic (Extended Abstract).

Hongwei Xi, Hanwen Wu

CoRR, 2017

Applied Type System: An Approach to Practical Programming with Theorem-Proving.

Hongwei Xi

CoRR, 2017

Dependent Session Types.

Hanwen Wu, Hongwei Xi

CoRR, 2017

2016

Propositions in Linear Multirole Logic as Multiparty Session Types.

Hongwei Xi, Hanwen Wu

CoRR, 2016

Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions.

Hongwei Xi, Hanwen Wu

CoRR, 2016

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus.

Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair

CoRR, 2016

Parametric Runtime Verification of C Programs.

Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Combining type-checking with model-checking for system verification.

Zhiqiang Ren, Hongwei Xi

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Study on the Target Frame of HMDs in Different Background Brightness.

Jiang Shao, Haiyan Wang, Rui Zhao, Jing Zhang, Zhangfan Shen, Hongwei Xi

Proceedings of the Human Interface and the Management of Information: Information, Design and Interaction, 2016

2015

Dependent Types for Multi-Rate Flows in Synchronous Programming.

William Blair, Hongwei Xi

Proceedings of the Proceedings ML Family / OCaml Users and Developers workshops, 2015

A robust and efficient method for estimating enzyme complex abundance and metabolic flux from expression data.

Brandon E. Barker, Narayanan Sadagopan, Yiping Wang, Kieran Smallbone, Christopher R. Myers, Hongwei Xi, Jason W. Locasale, Zhenglong Gu

Comput. Biol. Chem., 2015

Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.

Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2014

Using Lightweight Theorem Proving in an Asynchronous Systems Context.

Matthew Danish, Hongwei Xi

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Applying language-based static verification in an ARM operating system.

Matthew Danish, Hongwei Xi, Richard West

SIGBED Rev., 2013

A linear type system for multicore programming in ATS.

Rui Shi, Hongwei Xi

Sci. Comput. Program., 2013

2012

A Programmer-Centric Approach to Program Verification in ATS

Zhiqiang Ren, Hongwei Xi

CoRR, 2012

2010

Operating system development with ATS: work in progress.

Matthew Danish, Hongwei Xi

Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010

A Modality for Safe Resource Sharing and Code Reentrancy.

Rui Shi, Dengping Zhu, Hongwei Xi

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Operating system development with ATS: work in progress: (abstract only).

Matthew Danish, Hongwei Xi

ACM SIGPLAN Notices, 2009

A Simple and General Theoretical Account for Abstract Types.

Hongwei Xi

Proceedings of the Formal Methods: Foundations and Applications, 2009

2007

Dependent ML An approach to practical programming with dependent types.

Hongwei Xi

J. Funct. Program., 2007

Attributive Types for Proof Erasure.

Hongwei Xi

Proceedings of the Types for Proofs and Programs, International Conference, 2007

2006

Implementing Typeful Program Transformations.

Chiyan Chen, Rui Shi, Hongwei Xi

Fundam. Informaticae, 2006

Preface.

Aaron Stump, Hongwei Xi

Proceedings of the Programming Languages meets Program Verification, 2006

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F.

Kevin Donnelly, Hongwei Xi

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Distributed meta-programming.

Rui Shi, Chiyan Chen, Hongwei Xi

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Meta-programming through typeful code representation.

Chiyan Chen, Hongwei Xi

J. Funct. Program., 2005

Development Separation in Lambda-Calculus.

Hongwei Xi

Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005

Safe Programming with Pointers Through Stateful Views.

Dengping Zhu, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Combining higher-order abstract syntax with first-order abstract syntax in ATS.

Kevin Donnelly, Hongwei Xi

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

Combining programming with theorem proving.

Chiyan Chen, Hongwei Xi

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

ATS: A Language That Combines Programming with Theorem Proving.

Sa Cui, Kevin Donnelly, Hongwei Xi

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

2004

ETPS: A System to Help Students Write Formal Proofs.

Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop, Sunil Issar, Hongwei Xi

J. Autom. Reason., 2004

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.

Chiyan Chen, Dengping Zhu, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Typeful Approach to Object-Oriented Programming with Multiple Inheritance.

Chiyan Chen, Rui Shi, Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

Applied Type System: Extended Abstract.

Hongwei Xi

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Facilitating Program Verification with Dependent Types.

Hongwei Xi

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

Guarded recursive datatype constructors.

Hongwei Xi, Chiyan Chen, Gang Chen

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Implementing typeful program transformations.

Chiyan Chen, Hongwei Xi

Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003

Generating Heap-Bounded Programs in a Functional Setting.

Walid Taha, Stephan Ellner, Hongwei Xi

Proceedings of the Embedded Software, Third International Conference, 2003

A Typeful and Tagless Representation for XML Documents.

Dengping Zhu, Hongwei Xi

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Dependent Types for Program Termination Verification.

Hongwei Xi

High. Order Symb. Comput., 2002

Unifying object-oriented programming with typed functional programming.

Hongwei Xi

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

2001

A Dependently Typed Assembly Language.

Hongwei Xi, Robert Harper

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000

Imperative Programming with Dependent Types.

Hongwei Xi

Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999

Upper Bounds for Standardizations and An Application.

Hongwei Xi

J. Symb. Log., 1999

Perpetual Reductions in Lambda-Calculus.

Femke van Raamsdonk, Paula Severi, Morten Heine Sørensen, Hongwei Xi

Inf. Comput., 1999

Dependent Types in Practical Programming.

Hongwei Xi, Frank Pfenning

Proceedings of the POPL '99, 1999

Dead Code Elimination through Dependent Types.

Hongwei Xi

Proceedings of the Practical Aspects of Declarative Languages, 1999

Towards array bound check elimination in Java ^TM virtual machine language.

Hongwei Xi, Songtao Xia

Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999

1998

Towards Automated Termination Proofs through "Freezing".

Hongwei Xi

Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

Eliminating Array Bound Checking Through Dependent Types.

Hongwei Xi, Frank Pfenning

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1997

Weak and Strong Beta Normalisations in Typed Lambda-Calculi.

Hongwei Xi

Proceedings of the Typed Lambda Calculi and Applications, 1997

Evaluation Under Lambda Abstraction.

Hongwei Xi

Proceedings of the Programming Languages: Implementations, 1997

Simulating eta-expansions with beta-reductions in the Second-Order Polymorphic lambda-calculus.

Hongwei Xi

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997

1996

TPS: A Theorem-Proving System for Classical Type Theory.

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

J. Autom. Reason., 1996

1993

TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory.

Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993