Dana N. Xu
Affiliations:- University of Cambridge, UK
According to our database1,
Dana N. Xu
authored at least 11 papers
between 2000 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cl.cam.ac.uk
On csauthors.net:
Bibliography
2012
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012
2009
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009
2008
A practical and precise inference and specializer for array bound checks elimination.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008
2006
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006
2004
Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004
2003
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003
2002
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002
A Type-Based Approach to Parallelization (preliminary report).
Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002
2001
Higher-Order Polymorphic Sized Types for Safety Checks.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001
2000
Deriving Pre-Conditions for Array Bound Check Elimination.
Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000