Travelled to:1 × Canada
1 × France
3 × USA
Collaborated with:M.Hague S.Göller P.Barceló C.L.Ong R.Bonnet S.Kiefer
Talks about:program (2) analysi (2) rewrit (2) tree (2) probabilist (1) multithread (1) synchronis (1) transduc (1) parallel (1) approach (1)
Person: Anthony Widjaja Lin
DBLP: Lin:Anthony_Widjaja
Contributed to:
2015
2014
20122011
2011
2016Wrote 6 papers:
- OOPSLA-2015-HagueLO #approach #css #detection #html
- Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach (MH, AWL, CHLO), pp. 1–19.
- FoSSaCS-2014-BonnetKL #analysis #parallel #probability #process
- Analysis of Probabilistic Basic Parallel Processes (RB, SK, AWL), pp. 43–57.
- CAV-2012-HagueL #analysis #bound #parallel #source code #thread
- Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters (MH, AWL), pp. 260–276.
- CAV-2011-HagueL #data type #model checking #recursion #source code
- Model Checking Recursive Programs with Numeric Data Types (MH, AWL), pp. 743–759.
- LICS-2011-GollerL #complexity #term rewriting #verification
- The Complexity of Verifying Ground Tree Rewrite Systems (SG, AWL), pp. 279–288.
- POPL-2016-LinB #equation #logic #string #towards #transducer #word
- String solving with word equations and transducers: towards a logic for analysing mutation XSS (AWL, PB), pp. 123–136.