Travelled to:
1 × Spain
1 × USA
Collaborated with:
S.Chatterjee P.J.Hanlon A.R.Lebeck
Talks about:
algorithm (1) presburg (1) behavior (1) automata (1) theoret (1) formula (1) analysi (1) solut (1) exact (1) count (1)
Person: Erin Parker
DBLP: Parker:Erin
Contributed to:
Wrote 2 papers:
- CC-2004-ParkerC #algorithm
- An Automata-Theoretic Algorithm for Counting Solutions to Presburger Formulas (EP, SC), pp. 104–119.
- PLDI-2001-ChatterjeePHL #analysis #behaviour
- Exact Analysis of the Cache Behavior of Nested Loops (SC, EP, PJH, ARL), pp. 286–297.