Travelled to:
1 × Canada
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:
B.P.Miller T.W.Reps C.Tang S.Dwarkadas O.Naim J.R.Larus
Talks about:
machin (2) check (2) peer (2) code (2) instrument (1) perform (1) typest (1) thread (1) system (1) semant (1)
Person: Zhichen Xu
DBLP: Xu:Zhichen
Contributed to:
Wrote 5 papers:
- SIGIR-2004-TangDX #on the #peer-to-peer #scalability #semantics
- On scaling latent semantic indexing for large peer-to-peer systems (CT, SD, ZX), pp. 112–121.
- ESOP-2001-XuRM #type system
- Typestate Checking of Machine Code (ZX, TWR, BPM), pp. 335–351.
- PLDI-2000-XuMR #safety
- Safety checking of machine code (ZX, BPM, TWR), pp. 70–82.
- PPoPP-1999-XuMN #thread
- Dynamic Instrumentation of Threaded Applications (ZX, BPM, ON), pp. 49–59.
- PPoPP-1997-XuLM #memory management #performance #profiling
- Shared Memory Performance Profiling (ZX, JRL, BPM), pp. 240–251.