BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maeda:Naoto

Contributed to:

ISSTA 20142014
ICSE 20132013
CC 20122012
VMCAI 20122012
ASE 20112011
ECOOP 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.