Travelled to:1 × Germany
1 × Italy
Collaborated with:B.E.Chang X.Rival
Talks about:abstract (3) domain (2) combin (2) product (1) conjoin (1) memori (1) shape (1) separ (1) reduc (1)
Person: Antoine Toubhans
DBLP: Toubhans:Antoine
Contributed to:
2014
2013Wrote 2 papers:
- SAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
- An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
- VMCAI-2013-ToubhansCR #abstract domain
- Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.