Rethinking Soot for Summary-Based Whole-Program Analysis Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Static program analysis
• Software engineering
• Computing
• Programming language theory
• Control flow analysis
• Soot
• Call graph
• Compiler
• Analysis
• Data-flow analysis
• SIGPLAN
• Java

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

Source URL: dacongy.github.io

• Graph theory
• Graph connectivity
• Strongly connected component
• Reachability
• Graph
• Node
• Topological sorting

Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Knowledge representation
• Tree
• Node
• Static single assignment form
• Object Process Methodology
• Recursion

Static Window Transition Graphs for Android Shengqian Yang∗ , Hailong Zhang∗ , Haowei Wu∗ , Yan Wang∗ , Dacong Yan† , and Atanas Rountev∗ ∗ Ohio State University, Columbus, OH, USA Email: {yangs,zhanhail,wu

Source URL: dacongy.github.io

Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA

Source URL: dacongy.github.io

• Software engineering
• Computer programming
• Programming language theory
• Compiler optimizations
• Control flow
• Loop optimization
• Heap
• Optimizing compiler
• Foreach loop

Understanding Parallelism-Inhibiting Dependences in Sequential Java Programs Atanas Rountev∗, Kevin Van Valkenburgh†, Dacong Yan∗ and P. Sadayappan∗ ∗ Ohio State University

Source URL: dacongy.github.io

Knowledge Control System - The Backbone Of Ontology Middleware Atanas Kiryakov1, Damyan Ognyanov1, Kiril Simov2,1, Borislav Popov1, Stanislav Jordanov1 1 OntoText Lab, Sirma AI EOOD, 38A Chr. Botev blvd, 1000 Sofia, Bulg

Source URL: iswc2002.semanticweb.org

Berovka Origin: Berovo, Macedonia Record: FM5-18, FM49-8, Folkraft LP-24 Formation: Lines with belt hold. Source: Atanas Kolarovski Note:

Source URL: www.dunav.org.il

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis Guoqing Xu1 , Atanas Rountev1 , and Manu Sridharan2 2

Source URL: manu.sridharan.net