{ "labelLang" : "hun", "responseDate" : "2024-03-28 15:49", "content" : { "otype" : "BookChapter", "mtid" : 27229621, "status" : "APPROVED", "published" : true, "comment" : "A4\nDepartment of Computer Science, North Carolina State University, United States \n Center for Applied Scientific Computing, Lawrence Livermore National Laboratory, United States \n Conference code: 122671 \n Cited By :2 \n Export Date: 18 December 2019 \n Funding details: U.S. Department of Energy \n Funding details: National Science Foundation, 1455404, 1525609, 1455733 \n Funding details: U.S. Department of Energy, DE-SC0013700 \n Funding details: Lawrence Livermore National Laboratory, DE-AC52-07NA27344 \n Funding text 1: This material is based upon work supported by DOE Early Career Award (DE-SC0013700), and the National Science Foundation (NSF) under Grants No. 1455404, 1455733 (CAREER), and 1525609. This work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore National Laboratory under Contract DE-AC52-07NA27344. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of DOE and NSF.", "unhandledTickets" : 0, "oldTimestamp" : "2018-03-29T07:49:15.000+0000", "deleted" : false, "oldId" : 17229621, "lastRefresh" : "2023-08-31T05:30:51.045+0000", "lastModified" : "2023-03-13T09:35:07.451+0000", "created" : "2018-03-27T09:24:28.000+0000", "creator" : { "otype" : "Author", "mtid" : 10010796, "link" : "/api/author/10010796", "label" : "Gyimóthy Tibor (Számítástudomány)", "familyName" : "Gyimóthy", "givenName" : "Tibor", "published" : true, "oldId" : 10010796, "snippet" : true }, "lastDuplumSearch" : "2023-08-31T05:29:44.878+0000", "core" : false, "citation" : true, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000312, "link" : "/api/subtype/10000312", "label" : "Konferenciaközlemény (Könyvrészlet)", "name" : "Konferenciaközlemény", "nameEng" : "Conference paper", "docType" : { "otype" : "PublicationType", "mtid" : 25, "link" : "/api/publicationtype/25", "label" : "Könyvrészlet", "code" : 25, "otypeName" : "BookChapter", "listPosition" : 2, "published" : true, "oldId" : 25, "snippet" : true }, "listPosition" : 228, "published" : true, "oldId" : 10000312, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "firstAuthor" : "Zhao, Y", "authorships" : [ { "otype" : "PersonAuthorship", "mtid" : 76300069, "link" : "/api/authorship/76300069", "label" : "Zhao, Y", "listPosition" : 1, "share" : 0.0, "first" : true, "last" : false, "familyName" : "Zhao", "givenName" : "Y", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 156361169, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76300070, "link" : "/api/authorship/76300070", "label" : "Chen, G", "listPosition" : 2, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Chen", "givenName" : "G", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 156361168, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76300071, "link" : "/api/authorship/76300071", "label" : "Liao, C", "listPosition" : 3, "share" : 0.0, "first" : false, "last" : false, "familyName" : "Liao", "givenName" : "C", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 156361167, "snippet" : true }, { "otype" : "PersonAuthorship", "mtid" : 76300072, "link" : "/api/authorship/76300072", "label" : "Shen, X", "listPosition" : 4, "share" : 0.0, "first" : false, "last" : true, "familyName" : "Shen", "givenName" : "X", "authorTyped" : true, "editorTyped" : false, "otherTyped" : false, "type" : { "otype" : "AuthorshipType", "mtid" : 1, "link" : "/api/authorshiptype/1", "label" : "Szerző", "code" : 0, "published" : true, "oldId" : 0, "snippet" : true }, "published" : false, "oldId" : 156361166, "snippet" : true } ], "title" : "Towards ontology-based program analysis", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13690744, "link" : "/api/publicationidentifier/13690744", "label" : "DOI: 10.4230/LIPIcs.CVIT.2016.26", "source" : { "otype" : "PlainSource", "mtid" : 6, "link" : "/api/publicationsource/6", "label" : "DOI", "type" : { "otype" : "PublicationSourceType", "mtid" : 10001, "link" : "/api/publicationsourcetype/10001", "label" : "DOI", "mayHaveOa" : true, "published" : true, "snippet" : true }, "name" : "DOI", "nameEng" : "DOI", "linkPattern" : "https://doi.org/@@@", "publiclyVisible" : true, "published" : true, "oldId" : 6, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "10.4230/LIPIcs.CVIT.2016.26", "realUrl" : "https://doi.org/10.4230/LIPIcs.CVIT.2016.26", "published" : false, "oldId" : 16769082, "snippet" : true }, { "otype" : "PublicationIdentifier", "mtid" : 13690743, "link" : "/api/publicationidentifier/13690743", "label" : "Scopus: 84982842640", "source" : { "otype" : "PlainSource", "mtid" : 3, "link" : "/api/publicationsource/3", "label" : "Scopus", "type" : { "otype" : "PublicationSourceType", "mtid" : 10003, "link" : "/api/publicationsourcetype/10003", "label" : "Indexelő adatbázis", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "Scopus", "linkPattern" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@", "publiclyVisible" : true, "published" : true, "oldId" : 3, "snippet" : true }, "validState" : "IDENTICAL", "idValue" : "84982842640", "realUrl" : "http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84982842640", "published" : false, "oldId" : 16769081, "snippet" : true } ], "firstPage" : "261", "lastPage" : "2625", "firstPageOrInternalIdForSort" : "261", "pageLength" : 2365, "publishedYear" : 2016, "digital" : null, "printed" : null, "sourceYear" : 2018, "packet" : "582888", "foreignEdition" : null, "foreignLanguage" : true, "fullPublication" : true, "conferencePublication" : true, "nationalOrigin" : false, "missingAuthor" : false, "oaType" : "NONE", "oaCheckDate" : "2023-08-31", "oaFree" : false, "citationCount" : 0, "citationCountUnpublished" : 0, "citationCountWoOther" : 0, "independentCitCountWoOther" : 0, "doiCitationCount" : 0, "wosCitationCount" : 0, "scopusCitationCount" : 0, "independentCitationCount" : 0, "unhandledCitationCount" : 0, "citingPubCount" : 0, "independentCitingPubCount" : 0, "unhandledCitingPubCount" : 0, "citedPubCount" : 1, "citedCount" : 1, "referenceList" : "The JTransformer project, http://sewiki.iai.uni-bonn.de/research/jtransformer/; Large single compilation-unit C programs, http://people.csail.mit.edu/smcc/projects/single-file-programs/; OpenAnalysis at Rice University, http://www.hipersoft.rice.edu/openanalysis/; ROSE compiler infrastructure, http://www.rosecompiler.org/; Andersen, L.O., (1994) Program Analysis and Specialization for the C Programming Language, , PhD thesis, University of Cophenhagen; \n\nAshburner, M., Ball, C.A., Blake, J.A., Botstein, D., Michael Cherry, H.B.J., Davis, A.P., Dolinski, K., Eppig, J.T., Gene Ontology: Tool for the unification of biology (2000) Nature Genetics, 25 (1), pp. 25-29; \n\nBagnara, R., Carro, M., Foreign language interfaces for Prolog: A terse survey (2002) ALP Newsletter, 15; \n\nBailey, D.H., Barszcz, E., Barton, J.T., Browning, D.S., Carter, R.L., Fatoohi, R.A., Frederickson, P.O., Weeratunga, S.K., The NAS parallel benchmarks (1991) Technical Report, the International Journal of Supercomputer Applications; \n\nBassiliades, N., Antoniou, G., Vlahavas, I., A defeasible logic reasoner for the semantic web (2006) International Journal on Semantic Web and Information Systems (IJSWIS), 2 (1), pp. 1-41; \n\nBenton, W.C., Fischer, C.N., Interactive, scalable, declarative program analysis from prototype to implementation (2007) Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, pp. 13-24. , ACM; \n\nBooch, G., Rumbaugh, J., Jacobson, I., (2005) Unified Modeling Language User Guide, the (2nd Edition) Addison-Wesley Object Technology Series, , Addison-Wesley Professional; \n\nBratko, I., (2001) Prolog (3rd Ed.): Programming for Artificial Intelligence, , Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA; \n\nBravenboer, M., Smaragdakis, Y., Strictly declarative specification of sophisticated points-to analyses (2009) Proceedings of the 24th ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '09, pp. 243-262. , New York, NY, USA. ACM; \n\nChen, G., Wu, B., Li, D., Shen, X., PORPLE: An extensible optimizer for portable data placement on GPU (2014) Proceedings of the 47th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO-47, pp. 88-100. , Washington DC, USA. IEEE Computer Society; \n\nCompton, M., Barnaghi, P., Bermudez, L., García-Castro, R., Simon Cox, O.C., Graybeal, J., Hauswirth, M., Taylor, K., The SSN ontology of the W3C semantic sensor network incubator group (2012) Web Semantics: Science, Services and Agents on the World Wide Web, 17, pp. 25-32. , http://www.w3.org/2005/Incubator/ssn/ssnx/ssn; \n\nDa Mata, L.L.P., Magno, F., Pereira, Q.O., Ferreira, R., Automatic parallelization of canonical loops (2013) Sci. Comput. Program., 78 (8), pp. 1193-1206. , August; \n\nDawson, S., Ramakrishnan, C.R., Warren, D.S., Practical program analysis using general purpose logic programming systems—a case study (1996) SIGPLAN Not., 31 (5), pp. 117-126. , May; \n\nDevanbu, P.T., GENOA: A customizable language-and front-end independent code analyzer (1992) Proceedings of the 14th International Conference on Software Engineering, pp. 307-317. , ACM; \n\nDucatel, K., Bogdanowicz, M., Scapolo, F., Leijten, J., Burgelman, J.-C., (2001) Scenarios for Ambient Intelligence in 2010, , Office for official publications of the European Communities; \n\nEbert, J., Riediger, V., Winter, A., Graph technology in reverse engineering-the TGraph approach (2008) Proc. 10th Workshop Software Reengineering. GI Lecture Notes in Informatics, , Citeseer; \n\nEden, A.H., Turner, R., Problems in the ontology of computer programs (2007) Applied Ontology, 2 (1), pp. 13-36; \n\nFerenc, R., Beszédes, A., Tarkiainen, M., Gyimóthy, T., Columbus-reverse engineering tool and schema for C++ (2002) Software Maintenance, 2002. Proceedings. International Conference on, pp. 172-181. , IEEE; \n\nFischer, C.N., Cytron, R.K., LeBlanc, R.J., (2009) Crafting A Compiler, , Addison-Wesley Publishing Company, USA, 1st edition; \n\nGanapathi, G., Lourdusamy, R., Rajaram, V., Towards ontology development for teaching programming language (2011) World Congress on Engineering; \n\nGennari, J.H., Musen, M.A., Fergerson, R.W., Grosso, W.E., Crubézy, M., Eriksson, H., Noy, N.F., Tu, S.W., The evolution of protégé: An environment for knowledge-based systems development (2003) International Journal of Human-computer Studies, 58 (1), pp. 89-123; \n\nHajiyev, E., Verbaere, M., De Moor, O., Codequest: Scalable source code queries with datalog ECOOP 2006-Object-Oriented Programming, 2006, pp. 2-27. , Springer; \n\nHeintze, N., Tardieu, O., Ultra-fast aliasing analysis using CLA Proceedings of the ACM SIGPLAN 2001 Conference on Programming Language Design and Implementation - PLDI '01, 2001, pp. 254-263. , New York, New York, USA. ACM Press; \n\nHitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S., OWL 2 web ontology language primer (2009) W3C Recommendation, 27 (1), p. 123; \n\nHolt, R.C., An introduction to TA: The tuple-attribute language (1997) University of Toronto, Toronto, Draft Mar, 24; \n\nHolt, R.C., Winter, A., Schürr, A., GXL: Toward a standard exchange format (2000) Reverse Engineering, 2000. Proceedings. Seventh Working Conference on, pp. 162-171. , IEEE; \n\nHorridge, M., Bechhofer, S., The OWL API: A Java API for OWL ontologies (2011) Semantic Web, 2 (1), pp. 11-21; \n\nHorwitz, S., Reps, T., Sagiv, M., Demand interprocedural dataflow analysis (1995) SIGSOFT Softw. Eng. Notes, 20 (4), pp. 104-115. , October; \n\nJames, M., Atkinson, D., STAR TOOL- an environment and language for expert system implementation (1988) Jet Propulsion Laboratory Report NTR C, p. 17536; \n\nJang, B., Schaa, D., Mistry, P., Kaeli, D., Exploiting memory access patterns to improve memory performance in data-parallel architectures (2011) IEEE Trans. Parallel Distrib. Syst., 22 (1), pp. 105-118. , January; \n\nKandemir, M., Ramanujam, J., Choudhary, A., Improving cache locality by a combination of loop and data transformations (1999) Computers, IEEE Transactions on, 48 (2), pp. 159-167; \n\nKrötzsch, M., Simancik, F., Horrocks, I., (2012) A Description Logic Primer, , arXiv preprint arXiv:1201.4089; \n\nLando, P., Lapujade, A., Kassel, G., Fürst, F., Towards a general ontology of computer programs (2007) ICSOFT (PL/DPS/KE/MUSE), pp. 163-170; \n\nLattner, C., LLVM and Clang: Next generation compiler technology (2008) The BSD Conference, pp. 1-2; \n\nLattner, C., Adve, V., LLVM: A compilation framework for lifelong program analysis & transformation (2004) Proceedings of the International Symposium on Code Generation and Optimization: Feedback-directed and Runtime Optimization, CGO '04, p. 75. , http://dl.acm.org/citation.cfm?id=977395.977673, Washington, DC, USA. IEEE Computer Society; \n\nLethbridge, T.C., Tichelaar, S., Plödereder, E., The dagstuhl middle metamodel: A schema for reverse engineering (2004) Electronic Notes in Theoretical Computer Science, 94, pp. 7-18; \n\nLiao, C., Quinlan, D.J., Willcock, J.J., Panas, T., Semanticaware automatic parallelization of modern applications using high-level abstractions (2010) International Journal of Parallel Programming, 38 (5-6), pp. 361-378; \n\nMalone, J., Brown, A., Lister, A.L., Ison, J., Hull, D., Parkinson, H., Stevens, R., The software ontology (SWO): A resource for reproducibility in biomedical data analysis, curation and digital preservation (2014) Journal of Biomedical Semantics, 5 (1), p. 25; \n\nMatuszek, C., Cabral, J., Witbrock, M.J., DeOliveira, J., An introduction to the syntax and content of Cyc (2006) AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, pp. 44-49. , Citeseer; \n\nMcGuinness, D.L., Van Harmelen, F., OWL web ontology language overview (2004) W3C Recommendation, 10 (10), p. 2004; \n\nNielson, F., Nielson, H.R., Hankin, C., (2004) Principles of Program Analysis, , Springer; \n\nNiles, I., Pease, A., Towards a standard upper ontology (2001) Proceedings of the International Conference on Formal Ontology in Information Systems, 2001, pp. 2-9. , ACM; \n\nNoy, N.F., McGuinness, D.L., (2001) Ontology Development 101: A Guide to Creating Your First Ontology; \n\nOpenMP Architecture Review Board, (2013) OpenMP Application Program Interface Version 4.0, , http://www.openmp.org/mp-documents/spec30.pdf, July; \n\nPease, A., Niles, I., Li, J., The suggested upper merged ontology: A large ontology for the semantic web and its applications (2002) Working Notes of the AAAI-2002 Workshop on Ontologies and the Semantic Web, 28; \n\nPreuveneers, D., Bergh Den J.Van, Wagelaar, D., Georges, A., Clerckx, P.R.T., Coninx, K., Jonckers, V., De Bosschere, K., Towards an extensible context ontology for ambient intelligence (2004) Ambient Intelligence, pp. 148-159. , Springer; \n\nDíaz Rodríguez, N., Cuéllar, M.P., Lilius, J., Calvo-Flores, M.D., A survey on ontologies for human behavior recognition (2014) ACM Computing Surveys (CSUR), 46 (4), p. 43; \n\nSosnovsky, S., Gavrilova, T., (2006) Development of Educational Ontology for Cprogramming; \n\nStaab, S., Studer, R., (2013) Handbook on Ontologies, , Springer Science & Business Media; \n\nTenorth, M., Beetz, M., KnowRob - Knowledge processing for autonomous personal robots (2009) Intelligent Robots and Systems, 2009. IROS 2009. IEEE/RSJ International Conference on, pp. 4261-4266. , IEEE; \n\nTsarkov, D., Horrocks, I., FaCT++ description logic reasoner: System description (2006) Automated Reasoning, pp. 292-297. , Springer; \n\nUllman, J.D., (1988) Principles of Database and Knowledge-base Systems, 1. , Computer Science Press, Inc., New York, NY, USA; \n\nVerbaere, M., Ettinger, R., De Moor, O., JunGL: A scripting language for refactoring (2006) Proceedings of the 28th International Conference on Software Engineering, pp. 172-181. , ACM; \n\nVerbaere, M., Hajiyev, E., De Moor, O., Improve software quality with SemmleCode: An Eclipse plugin for semantic code search (2007) Companion to the 22nd ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications Companion, pp. 880-881. , ACM; \n\nWhaley, J., Avots, D., Carbin, M., Lam, M.S., Using datalog with binary decision diagrams for program analysis (2005) Proceedings of the Third Asian Conference on Programming Languages and Systems, APLAS'05, pp. 97-118. , Berlin, Heidelberg. Springer-Verlag; \n\nWhaley, J., Lam, M.S., Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (2004) Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, PLDI '04, pp. 131-144. , New York NY, USA. ACM; \n\nWielemaker, J., SWI-Prolog Semantic Web Library 3.0, , http://www.swi-prolog.org/pldoc/package/semweb.html; \n\nWielemaker, J., Schrijvers, T., Triska, M., Lager, T., SWI-prolog (2012) Theory and Practice of Logic Programming, 12 (1-2), pp. 67-96; \n\nYang, X., Chen, Y., Eide, E., Regehr, J., Finding and understanding bugs in C compilers (2011) ACM SIGPLAN Notices, 46, pp. 283-294. , ACM", "hasCitationDuplums" : false, "userChangeableUntil" : "2019-01-31T22:59:00.000+0000", "publishDate" : "2018-03-29T07:49:15.000+0000", "directInstitutesForSort" : "", "ownerAuthorCount" : 3, "ownerInstituteCount" : 15, "directInstituteCount" : 0, "authorCount" : 4, "contributorCount" : 0, "book" : { "otype" : "Book", "mtid" : 30289861, "link" : "/api/publication/30289861", "label" : "Lerner BS. 30th European Conference on Object-Oriented Programming, ECOOP 2016. (2016) ISBN:9783959770149", "core" : false, "citation" : false, "publicationPending" : false, "type" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "subType" : { "otype" : "SubType", "mtid" : 10000144, "link" : "/api/subtype/10000144", "label" : "Konferenciakötet (Könyv)", "name" : "Konferenciakötet", "nameEng" : "Conference proceedings", "docType" : { "otype" : "PublicationType", "mtid" : 23, "link" : "/api/publicationtype/23", "label" : "Könyv", "code" : 23, "otypeName" : "Book", "listPosition" : 3, "published" : true, "oldId" : 23, "snippet" : true }, "listPosition" : 345, "published" : true, "oldId" : 10000144, "snippet" : true }, "category" : { "otype" : "Category", "mtid" : 1, "link" : "/api/category/1", "label" : "Tudományos", "published" : true, "oldId" : 1, "snippet" : true }, "languages" : [ { "otype" : "Language", "mtid" : 10002, "link" : "/api/language/10002", "label" : "Angol", "name" : "Angol", "nameEng" : "English", "published" : true, "oldId" : 2, "snippet" : true } ], "title" : "30th European Conference on Object-Oriented Programming, ECOOP 2016", "identifiers" : [ { "otype" : "PublicationIdentifier", "mtid" : 13690742, "link" : "/api/publicationidentifier/13690742", "label" : "ISBN: 9783959770149", "source" : { "otype" : "PlainSource", "mtid" : 122, "link" : "/api/publicationsource/122", "label" : "ISBN", "type" : { "otype" : "PublicationSourceType", "mtid" : 10002, "link" : "/api/publicationsourcetype/10002", "label" : "Egyéb", "mayHaveOa" : false, "published" : true, "snippet" : true }, "name" : "ISBN", "nameEng" : "ISBN", "linkPattern" : "https://www.worldcat.org/search?q=isbn%3A@@@", "publiclyVisible" : true, "published" : true, "oldId" : 122, "snippet" : true }, "idValue" : "9783959770149", "realUrl" : "https://www.worldcat.org/search?q=isbn%3A9783959770149", "published" : false, "snippet" : true } ], "publishedAt" : [ ], "publishedYear" : 2016, "foreignLanguage" : true, "fullPublication" : false, "conferencePublication" : true, "published" : true, "snippet" : true }, "hasQualityFactor" : false, "link" : "/api/publication/27229621", "label" : "Zhao Y et al. Towards ontology-based program analysis. (2016) Megjelent: 30th European Conference on Object-Oriented Programming, ECOOP 2016 pp. 261-2625", "template" : "