Hongwei Xi - RankMe

71 papers A* 5A 4B 3C 8Misc 3Journal 26Unranked 20

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