Person: Atanas Rountev

DBLP: Rountev:Atanas

Facilitated 1 volumes:

Ed

Contributed to:

2015

2015

2014

2012

2012

2012

2011

2011

2011

2010

2010

2009

2009

2009

2008

2008

2008

2008

2007

2007

2007

2007

2007

2006

2006

2005

2005

2005

2005

2005

2005

2004

2004

2003

2002

2002

2002

2001

2001

2000

1999

2015

2018

2016

2020

Wrote 48 papers:

ICSE-v1-2015-YangYWWR #analysis #android #control flow

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications (SY, DY, HW, YW, AR), pp. 89–99.

PPoPP-2015-RavishankarDEPRRS #code generation #distributed #memory management

Distributed memory code generation for mixed Irregular/Regular computations (MR, RD, VE, LNP, JR, AR, PS), pp. 65–75.

CGO-2014-RountevY #analysis #android #user interface

Static Reference Analysis for GUI Objects in Android Software (AR, DY), p. 143.

CGO-2014-YanXYR #detection #memory management #named

LeakChecker: Practical Static Memory Leak Detection for Managed Languages (DY, G(X, SY, AR), p. 87.

ECOOP-2012-XuYR #data type #detection #invariant #static analysis

Static Detection of Loop-Invariant Data Structures (G(X, DY, AR), pp. 738–763.

ICSE-2012-YanXR #java #performance #problem #profiling

Uncovering performance problems in Java applications with reference propagation profiling (DY, G(X, AR), pp. 134–144.

PLDI-2012-HolewinskiRRFPRS #analysis

Dynamic trace-based analysis of vectorization potential of applications (JH, RR, MR, NF, LNP, AR, PS), pp. 371–382.

ISSTA-2011-YanXR #alias #analysis #java

Demand-driven context-sensitive alias analysis for Java (DY, G(X, AR), pp. 155–165.

PLDI-2011-XuBQR #memory management #named

LeakChaser: helping programmers narrow down causes of memory leaks (G(X, MDB, FQ, AR), pp. 270–282.

SCAM-2011-SawinR #algorithm #graph

Assumption Hierarchy for a CHA Call Graph Construction Algorithm (JS, AR), pp. 35–44.

ICSM-2010-RountevVYS #comprehension #dependence #java #source code

Understanding parallelism-inhibiting dependences in sequential Java programs (AR, KVV, DY, PS), pp. 1–9.

PLDI-2010-XuMARSS #data type

Finding low-utility data structures (G(X, NM, MA, AR, ES, GS), pp. 174–186.

PLDI-2010-XuR #detection

Detecting inefficiently-used containers to avoid bloat (G(X, AR), pp. 160–173.

ECOOP-2009-XuRS #alias #analysis #points-to #scalability #using

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis (G(X, AR, MS), pp. 98–122.

PLDI-2009-XuAMRS #profiling #runtime

Go with the flow: profiling copies to find runtime bloat (G(X, MA, NM, AR, GS), pp. 419–430.

PPoPP-2009-BaskaranVBRRS #effectiveness #manycore #parallel #scheduling

Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors (MMB, NV, UB, JR, AR, PS), pp. 219–228.

CC-2008-BondhugulaBKRRS #automation #locality #optimisation #parallel

Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model (UB, MMB, SK, JR, AR, PS), pp. 132–146.

CC-2008-RountevSX #analysis #data flow #ide #library #object-oriented #scalability

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries (AR, MS, G(X), pp. 53–68.

ICSE-2008-XuR #detection #java #memory management #precise #profiling #using

Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.

ISSTA-2008-XuR #analysis #points-to #scalability

Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis (G(X, AR), pp. 225–236.

PPoPP-2008-BaskaranBKRRS #architecture #automation #data flow #parallel

Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories (MMB, UB, SK, JR, AR, PS), pp. 1–10.

ESEC-FSE-2007-XuRTQ #java #performance #using

Efficient checkpointing of java software using context-sensitive capture and replay (G(X, AR, YT, FQ), pp. 85–94.

ICSE-2007-XuR #aspectj #testing

Regression Test Selection for AspectJ Software (G(X, AR), pp. 65–74.

ICSM-2007-KhatchadourianSR #automation #java #legacy #refactoring

Automated Refactoring of Legacy Java Software to Enumerated Types (RK, JS, AR), pp. 224–233.

PLDI-2007-KrishnamoorthyBBRRS #automation #effectiveness #parallel

Effective automatic parallelization of stencil computations (SK, MMB, UB, JR, AR, PS), pp. 235–244.

SCAM-2007-SawinR #java

Improved Static Resolution of Dynamic Class Loading in Java (JS, AR), pp. 143–154.

CC-2006-RountevKM #analysis #data flow #interprocedural #library #scalability

Interprocedural Dataflow Analysis in the Presence of Large Libraries (AR, SK, TJM), pp. 2–16.

SCAM-2006-SawinR #algorithm #graph #runtime

Estimating the Run-Time Progress of a Call Graph Construction Algorithm (JS, AR), pp. 53–62.

CBSE-2005-Rountev #analysis #component #data flow

Component-Level Dataflow Analysis (AR), pp. 82–89.

FASE-2005-RountevKS #diagrams #interactive #sequence chart #test coverage #testing

Coverage Criteria for Testing of Object Interactions in Sequence Diagrams (AR, SK, JS), pp. 289–304.

ICSE-2005-RountevC #analysis #diagrams #sequence chart

Object naming analysis for reverse-engineered sequence diagrams (AR, BHC), pp. 254–263.

ICSM-2005-SharpR #java #static analysis

Static Analysis of Object References in RMI-Based Java Software (MS, AR), pp. 101–110.

PASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart #uml

Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.

VISSOFT-2005-SharpR #diagrams #interactive #sequence chart #uml

Interactive Exploration of UML Sequence Diagrams (RS, AR), pp. 8–13.

ICSM-2004-Rountev #identification #java #precise

Precise Identification of Side-Effect-Free Methods in Java (AR), pp. 82–91.

PASTE-2004-RountevKG #static analysis

Evaluating the imprecision of static analysis (AR, SK, MG), pp. 14–16.

ICSE-2003-RountevMR #analysis #java #morphism #polymorphism #testing

Fragment Class Analysis for Testing of Polymorphism in Java Software (AR, AM, BGR), pp. 210–220.

ICSM-2002-MilanovaRR #diagrams #precise

Constructing Precise Object Relation Diagrams (AM, AR, BGR), pp. 586–595.

ISSTA-2002-MilanovaRR #analysis #java #points-to

Parameterized object sensitivity for points-to and side-effect analyses for Java (AM, AR, BGR), pp. 1–11.

SCAM-2002-MilanovaRR #graph #pointer #precise

Precise Call Graph Construction in the Presence of Function Pointers (AM, AR, BGR), pp. 155–162.

CC-2001-RountevR #analysis #library #points-to #source code

Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries (AR, BGR), pp. 20–36.

OOPSLA-2001-RountevMR #analysis #constraints #java #points-to #using

Points-To Analysis for Java using Annotated Constraints (AR, AM, BGR), pp. 43–55.

PLDI-2000-RouhtevC #analysis #points-to #scalability

Off-line variable substitution for scaling points-to analysis (AR, SC), pp. 47–56.

ESEC-FSE-1999-RountevRL #analysis #data flow

Data-Flow Analysis of Program Fragments (AR, BGR, WL), pp. 235–252.

ASE-2015-YangZWWYR #android #graph

Static Window Transition Graphs for Android (T) (SY, HZ, HW, YW, DY, AR), pp. 658–668.

ESEC-FSE-2018-0006WR #android #detection #energy

Detection of energy inefficiencies in Android wear watch faces (HZ0, HW, AR), pp. 691–702.

CC-2016-WuYR #android #detection #energy #fault #static analysis

Static detection of energy defect patterns in Android applications (HW, SY, AR), pp. 185–195.

CC-2020-ZhangHLBR #case study #difference #privacy #profiling

A study of event frequency profiling with differential privacy (HZ, YH, SL, RB, AR), pp. 51–62.