`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:

### Wrote 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.