`Travelled to:`

1 × Poland

1 × Portugal

1 × United Kingdom

2 × USA

`Collaborated with:`

A.Mallya G.Gupta A.Bansal ∅ R.Min

`Talks about:`

program (4) logic (4) coinduct (3) implement (1) bisimilar (1) descript (1) pointer (1) languag (1) analysi (1) extend (1)

## Person: Luke Simon

### DBLP: Simon:Luke

### Contributed to:

### Wrote 5 papers:

- SAS-2009-Simon #analysis #optimisation #pointer #similarity #using
- Optimizing Pointer Analysis Using Bisimilarity (LS), pp. 222–237.
- ICALP-2007-SimonBMG #induction #logic programming
- Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.
- ICLP-2007-GuptaBMSM #induction #logic programming
- Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.
- ICLP-2006-SimonMBG #induction #logic programming
- Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.
- LOPSTR-2005-SimonMG #design #implementation #realtime
- Design and Implementation of AT: A Real-Time Action Description Language (LS, AM, GG), pp. 44–60.