Travelled to:
1 × Japan
4 × USA
Collaborated with:
∅ S.Khoo W.Chin S.L.P.Jones K.Claessen C.Popeea
Talks about:
check (4) contract (2) static (2) haskel (2) extend (2) function (1) special (1) simplif (1) reactiv (1) program (1)
Person: Dana N. Xu
DBLP: Xu:Dana_N=
Contributed to:
Wrote 6 papers:
- PEPM-2012-Xu #contract #hybrid
- Hybrid contract checking via symbolic simplification (DNX), pp. 107–116.
- POPL-2009-XuJC #contract #haskell
- Static contract checking for Haskell (DNX, SLPJ, KC), pp. 41–52.
- PEPM-2008-PopeeaXC #array #bound #precise
- A practical and precise inference and specializer for array bound checks elimination (CP, DNX, WNC), pp. 177–187.
- PEPM-2003-ChinKX #analysis
- Extending sized type with collection analysis (WNC, SCK, DNX), pp. 75–84.
- ASIA-PEPM-2002-XuK #compilation #functional #programming #realtime
- Compiling real time functional reactive programming (DNX, SCK), pp. 83–93.
- Haskell-2006-Xu #haskell #static analysis
- Extended static checking for haskell (DNX), pp. 48–59.