Dana N. Xu - Citegraph

Author Info

Name	Affiliation	Papers
DANA N. XU	School of Computing, National University of Singapore, Singapore	10
Collaborators	Citations	PageRank
6	58	5.00
Referers	Referees	References
129	225	137

Search Limit

100225

Publications (10 rows)

Collaborators (6 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Probabilistic contracts for component-based design	6	0.44	2012
Hybrid contract checking via symbolic simplification	11	0.59	2012
Probabilistic Contracts for Component-Based Design	4	0.51	2010
A practical and precise inference and specializer for array bound checks elimination	7	0.50	2008
Extended static checking for haskell	13	0.66	2006
PType System: A Featherweight Parallelizability Detector	9	0.52	2004
A Type-Based Approach to Parallelization (preliminary report)	0	0.34	2002
Compiling real time functional reactive programming	2	0.45	2002
Deriving Pre-conditions for Array Bound Check Elimination	6	0.63	2001
Higher-Order Polymorphic Sized Types for Safety Checks	0	0.34	2001

1