Travelled to:1 × Canada
2 × United Kingdom
Collaborated with:P.Cuoq G.Canet E.Contejean A.Coste J.Signoles P.Baudin R.Bonichon L.Correnson V.Prevosto A.Puccetti
Talks about:analysi (2) framework (1) techniqu (1) strength (1) industri (1) theoret (1) program (1) static (1) rewrit (1) report (1)
Person: Benjamin Monate
DBLP: Monate:Benjamin
Contributed to:
2009
2009
2000Wrote 3 papers:
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
- SCAM-2009-CanetCM #analysis #c #source code
- A Value Analysis for C Programs (GC, PC, BM), pp. 123–124.
- RTA-2000-ContejeanCM #physics
- Rewriting Techniques in Theoretical Physics (EC, AC, BM), pp. 80–94.