Travelled to:1 × Canada
1 × Germany
1 × USA
Collaborated with:S.Tarafdar M.Aagaard S.Mukherjee J.Ramachandran T.Wahl
Talks about:synthesi (2) transfer (1) arithmet (1) softwar (1) verifi (1) reason (1) effect (1) verif (1) studi (1) point (1)
Person: Miriam Leeser
DBLP: Leeser:Miriam
Contributed to:
2014
1998
1992Wrote 3 papers:
- DATE-2014-LeeserMRW #effectiveness #float #reasoning
- Make it real: Effective floating-point reasoning via exact arithmetic (ML, SM, JR, TW), pp. 1–4.
- DAC-1998-TarafdarL #data transfer #synthesis #using
- The DT-Model: High-Level Synthesis Using Data Transfers (ST, ML), pp. 114–117.
- CAV-1992-AagaardL #case study #logic #synthesis #verification
- Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification (MA, ML), pp. 69–81.