Naoto Maeda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2003–2014
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ISSTA | ARC++: effective typestate and lifetime dependency analysis. | Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri |
| 2013 | ICSE | Feedback-directed unit test generation for C/C++ using concolic execution. | Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2012 | CC | Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. | Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma |
| 2012 | VMCAI | Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. | Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta |
| 2011 | ECOOP | Interprocedural Exception Analysis for C++. | Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta |
| 2010 | FMCAD | Scalable and precise program analysis at NEC. | Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang |
| 2004 | NOMS | Policy transition mechanism: a new approach to multi-mode management. | Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yoshiaki Kiriha |
| 2003 | IM | Policy-based Cooperation of Services in Ubiquitous Environments. | Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yasuyuki Beppu, Yoshiaki Kiriha |