Dana N. Xu

According to our database, Dana N. Xu authored at least 11 papers between 2001 and 2012.

Collaborative distances:

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

2012

Hybrid contract checking via symbolic simplification.

Dana N. Xu

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2010

Probabilistic Contracts for Component-Based Design.

Dana N. Xu, Gregor Gößler, Alain Girault

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Static contract checking for Haskell.

Dana N. Xu, Simon L. Peyton Jones, Koen Claessen

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.

Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2006

Extended static checking for haskell.

Dana N. Xu

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2006

2004

PType System: A Featherweight Parallelizability Detector.

Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

Extending sized type with collection analysis.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

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

2002

Compiling real time functional reactive programming.

Dana N. Xu, Siau-Cheng Khoo

Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

A Type-Based Approach to Parallelization (preliminary report).

Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

Deriving Pre-conditions for Array Bound Check Elimination.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Proceedings of the Programs as Data Objects, Second Symposium, 2001

Higher-Order Polymorphic Sized Types for Safety Checks.

Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001