Hongwei Xi
Orcid: 0000000228858506Affiliations:
 Boston University, USA
According to our database^{1},
Hongwei Xi
authored at least 67 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on cs.bu.edu
On csauthors.net:
Bibliography
2023
CoRR, 2023
CoRR, 2023
Proceedings of the 8th ACM SIGPLAN International Workshop on TypeDriven Development, 2023
Proceedings of the 8th ACM SIGPLAN International Workshop on TypeDriven Development, 2023
2019
J. Softw., 2019
Comput. Intell. Neurosci., 2019
Proceedings of the 2019 IEEE High Performance Extreme Computing Conference, 2019
2018
CoRR, 2018
CoRR, 2018
CoRR, 2018
2017
CoRR, 2017
CoRR, 2017
CoRR, 2017
2016
CoRR, 2016
CoRR, 2016
CoRR, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
Proceedings of the Human Interface and the Management of Information: Information, Design and Interaction, 2016
2015
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.
Comput. Biol. Chem., 2015
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
2014
Proceedings of the NASA Formal Methods  6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014
2013
SIGBED Rev., 2013
Sci. Comput. Program., 2013
2012
CoRR, 2012
2010
Proceedings of the 4th ACM Workshop Programming Languages meets Program Verification, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
2009
ACM SIGPLAN Notices, 2009
Proceedings of the Formal Methods: Foundations and Applications, 2009
2007
J. Funct. Program., 2007
Proceedings of the Types for Proofs and Programs, International Conference, 2007
2006
Fundam. Informaticae, 2006
Proceedings of the Programming Languages meets Program Verification, 2006
A Formalization of Strong Normalization for SimplyTyped LambdaCalculus and System F.
Proceedings of the First International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
J. Funct. Program., 2005
Proceedings of the 12th Workshop on Logic, Language, Information and Computation, 2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
2004
J. Autom. Reason., 2004
Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003
Proceedings of the Conference Record of POPL 2003: The 30th SIGPLANSIGACT Symposium on Principles of Programming Languages, 2003
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semanticsbased Program Manipulation, 2003
Proceedings of the Embedded Software, Third International Conference, 2003
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003
2002
High. Order Symb. Comput., 2002
Proceedings of the ACM SIGPLAN ASIAPEPM 2002, 2002
2001
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001
2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
1999
J. Symb. Log., 1999
Inf. Comput., 1999
Proceedings of the POPL '99, 1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Towards array bound check elimination in Java <sup>TM</sup> virtual machine language.
Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative Research, 1999
1998
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998
Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998
1997
Proceedings of the Typed Lambda Calculi and Applications, 1997
Proceedings of the Programming Languages: Implementations, 1997
Simulating etaexpansions with betareductions in the SecondOrder Polymorphic lambdacalculus.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
1996
J. Autom. Reason., 1996
1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993