Travelled to:
1 × Hungary
1 × USA
Collaborated with:
∅ T.Terauchi
Talks about:
scannerless (1) program (1) hardwar (1) general (1) channel (1) boolean (1) linear (1) design (1) buffer (1) infer (1)
Person: Adam Megacz
DBLP: Megacz:Adam
Contributed to:
Wrote 3 papers:
- IFL-2011-Megacz #design #hardware
- Hardware Design with Generalized Arrows (AM), pp. 164–180.
- ESOP-2008-TerauchiM #bound #linear #programming
- Inferring Channel Buffer Bounds Via Linear Programming (TT, AM), pp. 284–298.
- LDTA-2006-Megacz #parsing
- Scannerless Boolean Parsing (AM), pp. 97–102.