You are here

Atanas (Nasko) Rountev

  • Professor, Computer Science & Engineering
  • 685 Dreese Laboratories
    2015 Neil Ave
    Columbus, OH 43210
  • 614-292-7203

Honors

  • 20090501

    Lumley Research Award.

  • 20060901

    Faculty Early Career Development (CAREER) Award.

Journal Articles

2014

  • Mahesh Ravishankar, John Eisenlohr, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan, 2014, "Automatic Parallelization of a Class of Irregular Loops for Distributed Memory Systems." ACM Transactions on Parallel Computing (TOPC) 1, no. 1, 7:1-7:37 - 7:1-7:37.
  • Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky, 2014, "Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing." ACM Transactions on Software Engineering and Methodology (TOSEM) 23, no. 3, 23:1-23:50 - 23:1-23:50.

2013

  • Guoqing Xu and Atanas Rountev, 2013, "Precise Memory Leak Detection for Java Software Using Container Profiling." ACM Transactions on Software Engineering and Methodology (TOSEM) 22, no. 3, 17:1-17:28 - 17:1-17:28.

2009

  • Jason Sawin and Atanas Rountev, 2009, "Improving Static Resolution of Dynamic Class Loading in Java Using Dynamically Gathered Environment Information." International Journal of Automated Software Engineering (JASE) 16, no. 2, 357-381 - 357-381.

2006

  • Mariana Sharp and Atanas Rountev, 2006, "Static Analysis of Object References in RMI-based Java Software." IEEE Transactions on Software Engineering (TSE) 32, no. 9, 664-681 - 664-681.

2005

  • Ana Milanova, Atanas Rountev, and Barbara G. Ryder, 2005, "Parameterized Object Sensitivity for Points-to Analysis for Java." ACM Transactions on Software Engineering and Methodology (TOSEM) 14, no. 1, 1-41 - 1-41.

2004

  • Atanas Rountev, Ana Milanova, and Barbara G. Ryder, 2004, "Fragment Class Analysis for Testing of Polymorphism in Java Software." IEEE Transactions on Software Engineering (TSE) 30, no. 6, 372-387 - 372-387.
  • Ana Milanova, Atanas Rountev, and Barbara G. Ryder, 2004, "Precise Call Graphs for C Programs with Function Pointers." International Journal of Automated Software Engineering (JASE) 11, no. 1, 7-26 - 7-26.

Papers in Proceedings

2017

  • Hailong Zhang and Atanas Rountev "Analysis and Testing of Notifications in Android Wear Applications." in International Conference on Software Engineering (ICSE'17). (5 2017).
  • Yan Wang and Atanas Rountev "Who Changed You? Obfuscator Identification for Android." in IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft'17). (5 2017).

2016

  • Hailong Zhang, Haowei Wu, and Atanas Rountev "Automated Test Generation for Detection of Leaks in Android Applications." in IEEE/ACM International Workshop on Automation of Software Test (AST'16). (5 2016).
  • Haowei Wu, Shengqian Yang, and Atanas Rountev "Static Detection of Energy Defect Patterns in Android Applications." in International Conference on Compiler Construction (CC'16). (3 2016).
  • Yan Wang and Atanas Rountev "Profiling the Responsiveness of Android Applications via Automated Resource Amplification." in IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft'16). (5 2016).
  • Yan Wang, Hailong Zhang, and Atanas Rountev "On the Unsoundness of Static Analysis for Android GUIs." in ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'16). (6 2016).

2015

  • Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev "**include in CSE annual report** Static Control-Flow Analysis of User-Driven Callbacks in Android Applications." in International Conference on Software Engineering (ICSE'15). (5 2015).
  • Shengqian Yang, Hailong Zhang, Haowei Wu, Yan Wang, Dacong Yan, and Atanas Rountev "Static Window Transition Graphs for Android." in IEEE/ACM International Conference on Automated Software Engineering (ASE'15). (11 2015).
  • Mahesh Ravishankar, Roshan Dathatri, Venmugil Elango, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan "**include in CSE annual report** Distributed Memory Code Generation for Mixed Irregular/Regular Computations." in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'15). (2 2015).

2014

  • Atanas Rountev and Dacong Yan "Static Reference Analysis for GUI Objects in Android Software." in International Symposium on Code Generation and Optimization (CGO'14). (2 2014).
  • Dacong Yan, Guoqing Xu, Shengqian Yang, and Atanas Rountev "LeakChecker: Practical Static Memory Leak Detection for Managed Languages." in International Symposium on Code Generation and Optimization (CGO'14). (2 2014).

2013

  • Shengqian Yang, Dacong Yan, and Atanas Rountev "Testing for Poor Responsiveness in Android Applications." in International Workshop on the Engineering of Mobile-Enabled Systems (MOBS'13). (5 2013).
  • Dacong Yan, Shengqian Yang, and Atanas Rountev "Systematic Testing for Resource Leaks in Android Applications." in IEEE International Symposium on Software Reliability Engineering (ISSRE'13). (11 2013).

2012

  • Dacong Yan, Guoqing Xu, and Atanas Rountev "Uncovering Performance Problems in Java Applications with Reference Propagation Profiling." in International Conference on Software Engineering (ICSE'12). (6 2012).
  • Shengqian Yang, Dacong Yan, and Atanas Rountev "Dynamic Analysis of Inefficiently-Used Containers." in International Workshop on Dynamic Analysis (WODA'12). (7 2012).
  • Guoqing Xu, Dacong Yan, and Atanas Rountev "Static Detection of Loop-Invariant Data Structures." in European Conference on Object-Oriented Programming (ECOOP'12). (6 2012).
  • Dacong Yan, Guoqing Xu, and Atanas Rountev "Rethinking Soot for Summary-Based Whole-Program Analysis." in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP'12). (6 2012).

2011

  • Dacong Yan, Guoqing Xu, and Atanas Rountev "Demand-Driven Context-Sensitive Alias Analysis for Java." in ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'11). (7 2011).
  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." (6 2011).
  • Xu, G.; Bond, M.D.; Qin, F.; Rountev, A. "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." (6 2011).
  • Jason Sawin and Atanas Rountev "Assumption Hierarchy for a CHA Call Graph Construction Algorithm." in IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'11). (9 2011).
  • Sanket Tavarageri, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan "Dynamic Selection of Tile Sizes." in IEEE International Conference on High Performance Computing (HiPC'11). (12 2011).
  • Guoqing Xu, Michael D. Bond, Feng Qin, and Atanas Rountev "LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'11). (6 2011).

2010

  • Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky "Finding Low-Utility Data Structures." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'10). (6 2010).
  • Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, and Gary Sevitsky "Software Bloat Analysis: Finding, Removing, and Preventing Performance Problems in Modern Large-Scale Object-Oriented Applications." in FSE/SDP Workshop on the Future of Software Engineering Research (FOSER'10). (10 2010).
  • Guoqing Xu and Atanas Rountev "Detecting Inefficiently-Used Containers to Avoid Bloat." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'10). (6 2010).

2009

  • Guoqing Xu, Atanas Rountev, and Manu Sridharan "Scaling CFL-Reachability-Based Points-to Analysis Using Context-Sensitive Must-Not-Alias Analysis." in European Conference on Object-Oriented Programming (ECOOP'09). (7 2009).
  • Qingda Lu, Christophe Alias, Uday Bondhugula, Thomas Henretty, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Haibo Lin, and Tin-Fook Ngai "Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors." in International Conference on Parallel Architectures and Compilation Techniques (PACT'09). (9 2009).
  • Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, and Gary Sevitsky "Go with the Flow: Profiling Copies To Find Runtime Bloat." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09). (6 2009).

2008

  • Guoqing Xu and Atanas Rountev "AJANA: A General Framework for Source-Code-Level Interprocedural Dataflow Analysis of AspectJ Software." in International Conference on Aspect-Oriented Software Development (AOSD'08). (4 2008).
  • Muthu Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, and P. Sadayappan "A Compiler Framework for Optimization of Affine Loop Nests for GPGPUs." in ACM International Conference on Supercomputing (ICS'08). (6 2008).
  • D. Brian Larkins, James Dinan, Sriram Krishnamoorthy, Srinivasan Parthasarathy, Atanas Rountev, and P. Sadayappan "Global Trees: A Framework for Linked Data Structures on Distributed Memory Parallel Systems." in International Conference for High Performance Computing, Networking, Storage and Analysis (SC'08). (11 2008).
  • Guoqing Xu and Atanas Rountev "Merging Equivalent Contexts for Scalable Heap-Cloning-Based Context-Sensitive Points-to Analysis." in ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'08). (7 2008).
  • Guoqing Xu and Atanas Rountev "Precise Memory Leak Detection for Java Software Using Container Profiling." in International Conference on Software Engineering (ICSE'08). (5 2008).
  • Atanas Rountev, Mariana Sharp, and Guoqing Xu "IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries." in International Conference on Compiler Construction (CC'08). (4 2008).

2007

  • Raffi Khatchadourian, Jason Sawin, and Atanas Rountev "Automated Refactoring of Legacy Java Software to Enumerated Types." in IEEE International Conference on Software Maintenance (ICSM'07). (10 2007).
  • Jason Sawin and Atanas Rountev "Improved Static Resolution of Dynamic Class Loading in Java." in IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07). (10 2007).
  • Guoqing Xu and Atanas Rountev "Regression Test Selection for AspectJ Software." in International Conference on Software Engineering (ICSE'07). (5 2007).
  • Guoqing Xu, Atanas Rountev, Yan Tang, and Feng Qin "Efficient Checkpointing of Java Software Using Context-Sensitive Capture and Replay." in ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'07). (9 2007).
  • Alexandar Pantaleev and Atanas Rountev "Identifying Data Transfer Objects in EJB Applications." in International Workshop on Dynamic Analysis (WODA'07). (5 2007).
  • Rajkiran Panuganti, Muthu Manikandan Baskaran, Ashok Krishnamurthy, Jarek Nieplocha, Atanas Rountev, and P. Sadayappan "An Efficient Distributed Shared Memory Toolbox for MATLAB." in International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'07). (3 2007).

2006

  • Atanas Rountev, Scott Kagan, and Thomas Marlowe "Interprocedural Dataflow Analysis in the Presence of Large Libraries." in International Conference on Compiler Construction (CC'06). (3 2006).
  • Jason Sawin and Atanas Rountev "Estimating the Run-Time Progress of a Call Graph Construction Algorithm." in IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06). (9 2006).
  • Jason Sawin, Mariana Sharp, and Atanas Rountev "Generating Run-Time Progress Reports for a Points-to Analysis in Eclipse." in Eclipse Technology Exchange Workshop at OOPSLA (ETX'06). (10 2006).

2005

  • Mariana Sharp, Jason Sawin, and Atanas Rountev "Building a Whole-Program Type Analysis in Eclipse." in Eclipse Technology Exchange Workshop at OOPSLA (ETX'05). (10 2005).
  • Kulczycki, G.; Sitaraman, M.; Weide, B.W.; Rountev, A. "A specification-based approach to reasoning about pointers." (9 2005).
  • Atanas Rountev and Beth Harkness Connell "Object Naming Analysis for Reverse-Engineered Sequence Diagrams." in International Conference on Software Engineering (ICSE'05). (5 2005).
  • Gregory Kulczycki, Murali Sitaraman, Bruce Weide, and Atanas Rountev "A Specification-based Approach to Reasoning about Pointers." in International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05). (9 2005).
  • Atanas Rountev "Component-Level Dataflow Analysis." in International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'05). (5 2005).
  • Atanas Rountev, Olga Volgin, and Miriam Reddoch "Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams." in ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'05). (9 2005).
  • Richard Sharp and Atanas Rountev "Interactive Exploration of UML Sequence Diagrams." in IEEE Workshop on Visualizing Software for Understanding and Analysis (VISSOFT'05). (9 2005).
  • Atanas Rountev, Scott Kagan, and Jason Sawin "Coverage Criteria for Testing of Object Interactions in Sequence Diagrams." in Fundamental Approaches to Software Engineering (FASE'05). (4 2005).
  • Mariana Sharp and Atanas Rountev "Static Analysis of Object References in RMI-based Java Software." in IEEE International Conference on Software Maintenance (ICSM'05). (9 2005).

2004

  • Atanas Rountev, Scott Kagan, and Michael Gibas "Evaluating the Imprecision of Static Analysis." in ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04). (6 2004).
  • Atanas Rountev, Scott Kagan, and Michael Gibas "Static and Dynamic Analysis of Call Chains in Java." in ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'04). (7 2004).
  • Atanas Rountev "Precise Identification of Side-effect-free Methods in Java." in IEEE International Conference on Software Maintenance (ICSM'04). (9 2004).

2003

  • Atanas Rountev, Ana Milanova, and Barbara G. Ryder "Fragment Class Analysis for Testing of Polymorphism in Java Software." in International Conference on Software Engineering (ICSE'03). (5 2003).

2002

  • Ana Milanova, Atanas Rountev, and Barbara G. Ryder "Precise Call Graph Construction in the Presence of Function Pointers." in IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02). (9 2002).
  • Ana Milanova, Atanas Rountev, and Barbara G. Ryder "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java." in ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'02). (7 2002).
  • Ana Milanova, Atanas Rountev, and Barbara G. Ryder "Constructing Precise Object Relation Diagrams." in IEEE International Conference on Software Maintenance (ICSM'02). (9 2002).

2001

  • Harrold, M.J.; Jones, J.A.; Li, T.; Liang, D. et al. "Regression test selection for Java software." (12 2001).
  • Harrold, M.J.; Jones, J.A.; Li, T.Y.; Liang, D.L. et al. "Regression test selection for Java software." (11 2001).
  • Atanas Rountev, Ana Milanova, and Barbara G. Ryder "Points-to Analysis for Java Using Annotated Constraints." in Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'01). (10 2001).
  • Atanas Rountev and Barbara G. Ryder "Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries." in International Conference on Compiler Construction (CC'01). (3 2001).
  • Harrold, M.J.; Jones, J.A.; Li, T.Y.; Liang, D.L. et al. "Regression test selection for Java software." (11 2001).

2000

  • Atanas Rountev and Satish Chandra "Off-line Variable Substitution for Scaling Points-to Analysis." in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'00). (6 2000).

1999

  • Atanas Rountev, Barbara G. Ryder, and William Landi "Data-Flow Analysis of Program Fragments." in ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'99). (9 1999).