Travelled to:
1 × Poland
1 × USA
Collaborated with:
C.Alias A.Darte P.Codognet D.Diaz H.Michel
Talks about:
sourc (2) base (2) processor (1) implement (1) translat (1) function (1) descript (1) contract (1) generat (1) lattic (1)
Person: Fabrice Baray
DBLP: Baray:Fabrice
Contributed to:
Wrote 2 papers:
- LCTES-2007-AliasBD #array #implementation #text-to-text
- Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose (CA, FB, AD), pp. 73–82.
- TACAS-2003-BarayCDM #functional #generative #testing #validation
- Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.