Travelled to:1 × Estonia
1 × United Kingdom
4 × USA
Collaborated with:G.Balakrishnan F.Ivancic A.Gupta S.Sankaranarayanan P.Garg K.Ghorbal P.Prabhu X.Xiao D.Chhetri J.Yang N.Sinha N.Sharma H.Tokuoka T.Imoto Y.Miyazaki
Talks about:analysi (3) domain (2) interprocedur (1) interpret (1) framework (1) construct (1) feedback (1) abstract (1) softwar (1) scalabl (1)
Person: Naoto Maeda
DBLP: Maeda:Naoto
Contributed to:
2014
2013
2012
2012
2011
2011Wrote 6 papers:
- ISSTA-2014-XiaoBIMGC #analysis #dependence #effectiveness #type system
- ARC++: effective typestate and lifetime dependency analysis (XX, GB, FI, NM, AG, DC), pp. 116–126.
- ICSE-2013-GargIBMG #c #c++ #execution #generative #testing #using
- Feedback-directed unit test generation for C/C++ using concolic execution (PG, FI, GB, NM, AG), pp. 132–141.
- CC-2012-YangBMIGSSS #c++ #inheritance #program analysis
- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis (JY, GB, NM, FI, AG, NS, SS, NS), pp. 144–164.
- VMCAI-2012-GhorbalIBMG #abstract interpretation #performance
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
- ASE-2011-IvancicBGSMTIM #bound #framework #named #scalability #verification
- DC2: A framework for scalable, scope-bounded software verification (FI, GB, AG, SS, NM, HT, TI, YM), pp. 133–142.
- ECOOP-2011-PrabhuMBIG #analysis #c++ #exception #interprocedural
- Interprocedural Exception Analysis for C++ (PP, NM, GB, FI, AG), pp. 583–608.