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
2000
2002
2004
2006
2008
2010
2012
0
1
2
3
4
1
1
1
1
1
1
3
1
1
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
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
Extending Sized Type with Collection Analysis.
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