Travelled to:
1 × Italy
1 × USA
Collaborated with:
A.Mycroft
Talks about:
circuit (2) interpret (1) asynchron (1) synchron (1) abstract (1) partial (1) combin (1) level (1) evalu (1) bit (1)
♂ Person: Sarah Thompson
DBLP: Thompson:Sarah
Facilitated 1 volumes:
Contributed to:
Wrote 2 papers:
- PEPM-2006-ThompsonM #partial evaluation
- Bit-level partial evaluation of synchronous circuits (ST, AM), pp. 29–37.
- SAS-2004-ThompsonM #abstract interpretation
- Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.