Travelled to:1 × Croatia
1 × USA
Collaborated with:R.Jhala S.Lerner R.Chugh
Talks about:detect (2) dataflow (1) program (1) million (1) datarac (1) concurr (1) analysi (1) static (1) relay (1) race (1)
Person: Jan Wen Voung
DBLP: Voung:Jan_Wen
Contributed to:
2008
2007Wrote 2 papers:
- PLDI-2008-ChughVJL #analysis #concurrent #data flow #detection #source code #using
- Dataflow analysis for concurrent programs using datarace detection (RC, JWV, RJ, SL), pp. 316–326.
- ESEC-FSE-2007-VoungJL #concurrent #detection #named
- RELAY: static race detection on millions of lines of code (JWV, RJ, SL), pp. 205–214.