We introduce Object Graph Programming (OGO), which enables reading and modifying an object graph (i.e., the entire state of the object heap) via declarative queries. OGO models the objects and their relations in the heap as an object graph thereby treating the heap as a graph database: each node in the graph is an object (e.g., an instance of a class or an instance of a metadata class) and each edge is a relation between objects (e.g., a field of one object refer- ences another object). We leverage Cypher, the most popular query language for graph databases, as OGO’s primary query language. Unlike LINQ, which uses collections (e.g., List) as a source of data, OGO views the entire object graph as a single “collection”. OGO is ideal for querying collections (just like LINQ), introspecting the runtime system state (e.g., finding all instances of a given class or accessing fields via reflection), and writing assertions that have access to the entire program state. We prototyped OGO for Java in two ways: (a) by translating an object graph into a Neo4j database on which we run Cypher queries, and (b) by implementing our own in-memory graph query engine that directly queries the object heap. We used OGO to rewrite hundreds of statements in large open-source projects into OGO queries. We report our experience and performance of our prototypes.
Wed 17 AprDisplayed time zone: Lisbon change
14:00 - 15:30 | Analysis and Debugging 1Research Track / Journal-first Papers at Fernando Pessoa Chair(s): Kihong Heo KAIST | ||
14:00 15mTalk | CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace Research Track Yuchao Huang , Junjie Wang Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Yawen Wang Institute of Software, Chinese Academy of Sciences, Song Wang York University, Chunyang Chen Technical University of Munich (TUM), Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences | ||
14:15 15mTalk | Reorder Pointer Flow in Sound Concurrency Bug Prediction Research Track Yuqi Guo Institute of Software, Chinese Academy of Sciences, Beijing, China, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences, Liang He TCA, Institute of Software, Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
14:30 15mTalk | Object Graph Programming Research Track Aditya Thimmaiah The University of Texas at Austin, Leonidas Lampropoulos University of Maryland, College Park, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin | ||
14:45 15mPaper | Semantic Analysis of Macro Usage for Portability Research Track Link to publication DOI Pre-print Media Attached File Attached | ||
15:00 7mTalk | PREVENT: An Unsupervised Approach to Predict Software Failures in Production Journal-first Papers Giovanni Denaro University of Milano - Bicocca, Rahim Heydarov USI Università della Svizzera Italiana, Ali Mohebbi USI Lugano, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology | ||
15:07 7mTalk | On the Effectiveness of Log Representation for Log-based Anomaly Detection Journal-first Papers Xingfang Wu Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal | ||
15:14 7mTalk | On the Caching Schemes to Speed Up Program Reduction Journal-first Papers Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Xueyan Zhang University of Waterloo;, Yiwen Dong University of Waterloo, Zhenyang Xu University of Waterloo, Mengxiao Zhang , Yu Jiang Tsinghua University, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo Link to publication DOI | ||
15:21 7mTalk | DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-based Systems Journal-first Papers Luca Traini University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Luca Traini University of L'Aquila Link to publication DOI |