Publications by Date

2017

» Analysis and Testing of Notifications in Android Wear Applications, Hailong Zhang and Atanas Rountev. International Conference on Software Engineering (ICSE'17), May 2017. [ PDF ] [ BibTeX ] © Copyright 2017 IEEE (415 submitted, 68 accepted, 16% acceptance rate).
 
» Who Changed You? Obfuscator Identification for Android, Yan Wang and Atanas Rountev. IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft'17), May 2017. [ PDF ] [ BibTeX ] © Copyright 2017 IEEE (39 submitted, 9 accepted (regular papers), 23% acceptance rate). Nominated for a best paper award.
 

2016

» Resource Conscious Reuse-Driven Tiling for GPUs, Prashant Rawat, Changwan Hong, Mahesh Ravishankar, Vinod Grover, Louis-Noel Pouchet, Atanas Rountev, and P. Sadayappan. International Conference on Parallel Architectures and Compilation Techniques (PACT'16), September 2016. [ PDF ] [ BibTeX ] © Copyright 2016 ACM (119 submitted, 31 accepted, 26% acceptance rate).
 
» On the Unsoundness of Static Analysis for Android GUIs, Yan Wang, Hailong Zhang, and Atanas Rountev. ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'16), June 2016. [ PDF ] [ BibTeX ] © Copyright 2016 ACM
 
» Profiling the Responsiveness of Android Applications via Automated Resource Amplification, Yan Wang and Atanas Rountev. IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft'16), May 2016. [ PDF ] [ BibTeX ] © Copyright 2016 ACM (60 submitted, 20 accepted (regular papers), 33% acceptance rate).
 
» Automated Test Generation for Detection of Leaks in Android Applications, Hailong Zhang, Haowei Wu, and Atanas Rountev. IEEE/ACM International Workshop on Automation of Software Test (AST'16), May 2016. [ PDF ] [ BibTeX ] © Copyright 2016 ACM
 
» Static Detection of Energy Defect Patterns in Android Applications, Haowei Wu, Shengqian Yang, and Atanas Rountev. International Conference on Compiler Construction (CC'16), March 2016. [ PDF ] [ BibTeX ] © Copyright 2016 ACM (77 submitted, 24 accepted, 31% acceptance rate).
 

2015

» SDSLc: a Multi-Target Domain-Specific Compiler for Stencil Computations, Prashant Rawat, Martin Kong, Tom Henretty, Justin Holewinski, Kevin Stock, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan. International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing (WOLFHPC'15), November 2015. [ PDF ] [ BibTeX ] © Copyright 2015 ACM
 
» Static Window Transition Graphs for Android, Shengqian Yang, Hailong Zhang, Haowei Wu, Yan Wang, Dacong Yan, and Atanas Rountev. IEEE/ACM International Conference on Automated Software Engineering (ASE'15), November 2015. [ PDF ] [ BibTeX ] © Copyright 2015 IEEE (289 submitted, 60 accepted, 21% acceptance rate).
 
» Static Analyses of GUI Behavior in Android Applications, Shengqian Yang. Ph.D. Thesis, Ohio State University, September 2015. [ PDF ] [ BibTeX ]
 
» Static Control-Flow Analysis of User-Driven Callbacks in Android Applications, Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev. International Conference on Software Engineering (ICSE'15), May 2015. [ PDF ] [ BibTeX ] © Copyright 2015 IEEE (452 submitted, 84 accepted, 18.5% acceptance rate).
 
» Distributed Memory Code Generation for Mixed Irregular/Regular Computations, Mahesh Ravishankar, Roshan Dathatri, Venmugil Elango, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'15), February 2015. [ PDF ] [ BibTeX ] © Copyright 2015 ACM (133 submitted, 23 accepted, 17% acceptance rate).
 

2014

» Automatic Parallelization of a Class of Irregular Loops for Distributed Memory Systems, Mahesh Ravishankar, John Eisenlohr, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan, ACM Transactions on Parallel Computing (TOPC), September 2014. [ PDF ] [ BibTeX ] © Copyright 2014 ACM
 
» Program Analyses for Understanding the Behavior and Performance of Traditional and Mobile Object-Oriented Software, Dacong Yan. Ph.D. Thesis, Ohio State University, July 2014. [ PDF ] [ BibTeX ]
 
» Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing, Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky, ACM Transactions on Software Engineering and Methodology (TOSEM), May 2014. [ PDF ] [ BibTeX ] © Copyright 2014 ACM
 
» Static Reference Analysis for GUI Objects in Android Software, Atanas Rountev and Dacong Yan, International Symposium on Code Generation and Optimization (CGO'14), February 2014. [ PDF ] [ BibTeX ] [ Software ] © Copyright 2014 ACM (103 submitted, 29 accepted, 28% acceptance rate)
 
» LeakChecker: Practical Static Memory Leak Detection for Managed Languages, Dacong Yan, Guoqing Xu, Shengqian Yang, and Atanas Rountev, International Symposium on Code Generation and Optimization (CGO'14), February 2014. [ PDF ] [ BibTeX ] © Copyright 2014 ACM (103 submitted, 29 accepted, 28% acceptance rate)
 

2013

» Beyond Reuse Distance Analysis: Dynamic Analysis for Characterization of Data Locality Potential, Naznin Fauzia, Venmugil Elango, Mahesh Ravishankar, J. Ramanujam, Fabrice Rastello, Atanas Rountev, Louis-Noel Pouchet, and P. Sadayappan, ACM Transactions on Architecture and Code Optimization (TACO), December 2013. [ PDF ] [ BibTeX ] © Copyright 2013 ACM
 
» Systematic Testing for Resource Leaks in Android Applications, Dacong Yan, Shengqian Yang, and Atanas Rountev, IEEE International Symposium on Software Reliability Engineering (ISSRE'13), November 2013. [ PDF ] [ BibTeX ] [ Software ] © Copyright 2013 IEEE (131 submitted, 46 accepted, 35% acceptance rate)
 
» Precise Memory Leak Detection for Java Software Using Container Profiling, Guoqing Xu and Atanas Rountev, ACM Transactions on Software Engineering and Methodology (TOSEM), July 2013. [ PDF ] [ BibTeX ] © Copyright 2013 ACM
 
» Testing for Poor Responsiveness in Android Applications, Shengqian Yang, Dacong Yan, and Atanas Rountev, Workshop on Engineering Mobile-Enabled Systems (MOBS'13), May 2013. [ PDF ] [ BibTeX ] © Copyright 2013 IEEE
 

2012

» Code Generation for Parallel Execution of a Class of Irregular Loops on Distributed Memory Systems, Mahesh Ravishankar, John Eisenlohr, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan, International Conference for High Performance Computing Networking, Storage, and Analysis (SC'12), November 2012. [ PDF ] [ BibTeX ] [ Talk PPTX PDF ] © Copyright 2012 IEEE (472 submitted, 100 accepted, 21% acceptance rate)
 
» Dynamic Analysis of Inefficiently-Used Containers, Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev, International Workshop on Dynamic Analysis (WODA'12), July 2012. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2012 ACM
 
» Rethinking Soot for Summary-Based Whole-Program Analysis, Dacong Yan, Guoqing Xu, and Atanas Rountev, ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP'12), June 2012. [ PDF ] [ BibTeX ] [ Talk PPTX PDF ] © Copyright 2012 ACM
 
» Static Detection of Loop-Invariant Data Structures, Guoqing Xu, Dacong Yan, and Atanas Rountev. European Conference on Object-Oriented Programming (ECOOP'12), June 2012. [ PDF ] [ BibTeX ] [ Talk PPTX PDF ] © Copyright 2012 Springer-Verlag (140 submitted, 30 accepted, 21% acceptance rate).
 
» Dynamic Trace-Based Analysis of Vectorization Potential of Applications, Justin Holewinski, Ragavendar Ramamurthi, Mahesh Ravishankar, Naznin Fauzia, Louis-Noel Pouchet, Atanas Rountev, and P. Sadayappan. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'12), June 2012. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2012 ACM (255 submitted, 48 accepted, 19% acceptance rate).
 
» Uncovering Performance Problems in Java Applications with Reference Propagation Profiling, Dacong Yan, Guoqing Xu, and Atanas Rountev. International Conference on Software Engineering (ICSE'12), June 2012. [ PDF ] [ BibTeX ] [ Talk PPTX PDF ] © Copyright 2012 IEEE (408 submitted, 87 accepted, 21% acceptance rate).
 

2011

» Dynamic Selection of Tile Sizes, Sanket Tavarageri, Louis-Noel Pouchet, J. Ramanujam, Atanas Rountev, and P. Sadayappan. IEEE International Conference on High Performance Computing (HiPC'11), December 2011. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2011 IEEE (206 submitted, 40 accepted, 19% acceptance rate).
 
» Assumption Hierarchy for a CHA Call Graph Construction Algorithm, Jason Sawin and Atanas Rountev. IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'11), September 2011. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2011 IEEE (52 submitted, 16 accepted, 31% acceptance rate).
 
» Analyzing Large-Scale Object-Oriented Software to Find and Remove Runtime Bloat, Guoqing Xu. Ph.D. Thesis, Ohio State University, August 2011. [ PDF ] [ BibTeX ] [ Talk PPT PDF ]
 
» Demand-Driven Context-Sensitive Alias Analysis for Java, Dacong Yan, Guoqing Xu, and Atanas Rountev. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'11), July 2011. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2011 ACM (121 submitted, 35 accepted, 29% acceptance rate).
 
» LeakChaser: Helping Programmers Narrow Down Causes of Memory Leaks, Guoqing Xu, Michael D. Bond, Feng Qin, and Atanas Rountev. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'11), June 2011. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2011 ACM (236 submitted, 55 accepted, 23% acceptance rate).
 

2010

» Software Bloat Analysis: Finding, Removing, and Preventing Performance Problems in Modern Large-Scale Object-Oriented Applications, Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, and Gary Sevitsky, FSE/SDP Workshop on the Future of Software Engineering Research (FOSER'10), November 2010. [ PDF ] [ BibTeX ] [ Talk PDF ] © Copyright 2010 ACM (139 submitted, 87 accepted, 63% acceptance rate).
 
» Understanding Parallelism-Inhibiting Dependences in Sequential Java Programs, Atanas Rountev, Kevin Van Valkenburgh, Dacong Yan, and P. Sadayappan, IEEE International Conference on Software Maintenance (ICSM'10), September 2010. [ PDF ] [ BibTeX ] [ Talk PDF ] © Copyright 2010 IEEE (133 submitted, 36 accepted, 27% acceptance rate). Additional details are available in Kevin Van Valkensburgh's MS thesis (see below).
 
» Finding Low-Utility Data Structures, Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, and Gary Sevitsky. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'10), June 2010. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2010 ACM (204 submitted, 41 accepted, 20% acceptance rate).
 
» Detecting Inefficiently-Used Containers to Avoid Bloat, Guoqing Xu and Atanas Rountev. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'10), June 2010. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2010 ACM (204 submitted, 41 accepted, 20% acceptance rate).
 

2009

» Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors, Qingda Lu, Christophe Alias, Uday Bondhugula, Thomas Henretty, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan, Yongjian Chen, Haibo Lin, and Tin-Fook Ngai. International Conference on Parallel Architectures and Compilation Techniques (PACT'09), September 2009. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2009 IEEE (188 submitted, 34 accepted, 18% acceptance rate).
 
» Measuring and Improving the Potential Parallelism of Sequential Java Programs, Kevin Van Valkenburgh. MS Thesis, Ohio State University, August 2009. [ PDF ] [ BibTeX ]
 
» Improving the Static Resolution of Dynamic Java Features, Jason Sawin. Ph.D. Thesis, Ohio State University, July 2009. [ PDF ] [ BibTeX ] [ Talk PPT PDF ]
 
» Scaling CFL-Reachability-Based Points-to Analysis Using Context-Sensitive Must-Not-Alias Analysis, Guoqing Xu, Atanas Rountev, and Manu Sridharan. European Conference on Object-Oriented Programming (ECOOP'09), July 2009. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2009 Springer-Verlag (117 submitted, 25 accepted, 21% acceptance rate).
 
» Go with the Flow: Profiling Copies To Find Runtime Bloat, Guoqing Xu, Matthew Arnold, Nick Mitchell, Atanas Rountev, and Gary Sevitsky. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09), June 2009. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2009 ACM (194 submitted, 41 accepted, 21% acceptance rate).
 
» Improving Static Resolution of Dynamic Class Loading in Java Using Dynamically Gathered Environment Information, Jason Sawin and Atanas Rountev, International Journal of Automated Software Engineering (JASE), volume 16, number 2, pages 357-381, June 2009. Special issue containing the best papers from the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07). The journal version is a significant revision and extension of the SCAM'07 paper. [ PDF ] [ BibTeX ] © Copyright 2009 Springer Netherlands
 
» Compiler-Assisted Dynamic Scheduling for Effective Parallelization of Loop Nests on Multicore Processors, Muthu Baskaran, Nagavijayalakshmi Vydyanathan, Uday Bondhugula, J. Ramanujam, Atanas Rountev, and P. Sadayappan. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'09), February 2009. [ PDF ] [ BibTeX ] [ Talk PPT PDF ] © Copyright 2009 ACM (109 submitted, 26 accepted, 24% acceptance rate).
 

2008

» Global Trees: A Framework for Linked Data Structures on Distributed Memory Parallel Systems, D. Brian Larkins, James Dinan, Sriram Krishnamoorthy, Srinivasan Parthasarathy, Atanas Rountev, and P. Sadayappan. International Conference for High Performance Computing Networking, Storage, and Analysis (SC'08), November 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 ACM (277 submitted, 59 accepted, 21% acceptance rate).
 
» Dynamic Analyses for Understanding and Optimization of Enterprise Java Applications, Alexandar Pantaleev. Ph.D. Thesis, Ohio State University, August 2008. [ PDF ] [ BibTeX ] [ Talk ]
 
» Merging Equivalent Contexts for Scalable Heap-Cloning-Based Context-Sensitive Points-to Analysis, Guoqing Xu and Atanas Rountev. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'08), July 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 ACM (100 submitted, 26 accepted, 26% acceptance rate).
 
» A Compiler Framework for Optimization of Affine Loop Nests for GPGPUs, Muthu Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, and P. Sadayappan. ACM International Conference on Supercomputing (ICS'08), June 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 ACM (140 submitted, 37 accepted, 26% acceptance rate).
 
» Precise Memory Leak Detection for Java Software Using Container Profiling, Guoqing Xu and Atanas Rountev. International Conference on Software Engineering (ICSE'08), May 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 ACM (371 submitted, 56 accepted, 15% acceptance rate). Recognized with an ACM SIGSOFT Distinguished Paper award.
 
» AJANA: A General Framework for Source-Code-Level Interprocedural Dataflow Analysis of AspectJ Software, Guoqing Xu and Atanas Rountev. International Conference on Aspect-Oriented Software Development (AOSD'08), April 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 ACM (79 submitted, 17 accepted, 22% acceptance rate).
 
» IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries, Atanas Rountev, Mariana Sharp, and Guoqing Xu. International Conference on Compiler Construction (CC'08), April 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 Springer-Verlag (71 submitted, 18 accepted, 25% acceptance rate).
 
» Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model, Uday Bondhugula, Muthu Baskaran, Sriram Krishnamoorthy, J. Ramanujam, A. Rountev, and P. Sadayappan. International Conference on Compiler Construction (CC'08), April 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 Springer-Verlag (71 submitted, 18 accepted, 25% acceptance rate).
 
» Automatic Data Movement and Computation Mapping for Multi-level Parallel Architectures with Explicitly Managed Memories, Muthu Baskaran, Uday Bondhugula, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, and P. Sadayappan. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'08), February 2008. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2008 ACM (102 submitted, 25 accepted, 25% acceptance rate).
 

2007

» Improved Static Resolution of Dynamic Class Loading in Java, Jason Sawin and Atanas Rountev. IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'07), October 2007. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2007 IEEE (74 submitted, 19 accepted, 26% acceptance rate). Earlier version available as Technical Report OSU-CISRC-5/07-TR44, Department of Computer Science and Engineering, Ohio State University, May 2007. [ PDF ] [ BibTeX ]
 
» Automated Refactoring of Legacy Java Software to Enumerated Types, Raffi Khatchadourian, Jason Sawin, and Atanas Rountev. IEEE International Conference on Software Maintenance (ICSM'07), October 2007. [ PDF ] [ BibTeX ] [ Talk; use mouse clicks to step forward while watching] © Copyright 2007 IEEE (214 submitted, 46 accepted, 21% acceptance rate). Additional details in Technical Report OSU-CISRC-4/07-TR26, April 2007. [ PDF ] [ BibTeX ]
 
» Efficient Checkpointing of Java Software Using Context-Sensitive Capture and Replay, Guoqing Xu, Atanas Rountev, Yan Tang, and Feng Qin. ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'07), September 2007. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2007 ACM (251 submitted, 43 accepted, 17% acceptance rate)
 
» Static Analyses for Java in the Presence of Distributed Components and Large Libraries, Mariana Sharp. Ph.D. Thesis, Ohio State University, August 2007. [ PDF ] [ BibTeX ] [ Talk ]
 
» Effective Automatic Parallelization of Stencil Computations, Sriram Krishnamoorthy, Muthu Baskaran, Uday Bondhugula, J. Ramanujam, Atanas Rountev, and P. Sadayappan, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'07), June 2007. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2007 ACM (178 submitted, 45 accepted, 25% acceptance rate)
 
» Regression Test Selection for AspectJ Software, Guoqing Xu and Atanas Rountev, International Conference on Software Engineering (ICSE'07), May 2007. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2007 IEEE (334 submitted, 50 accepted, 15% acceptance rate). Nominated for an ACM SIGSOFT Distinguished Paper Award.
 
» Identifying Data Transfer Objects in EJB Applications, Alexandar Pantaleev and Atanas Rountev, International Workshop on Dynamic Analysis (WODA'07), May 2007. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2007 IEEE (54% acceptance rate)
 
» An Efficient Distributed Shared Memory Toolbox for MATLAB, Rajkiran Panuganti, Muthu Manikandan Baskaran, Ashok Krishnamurthy, Jarek Nieplocha, Atanas Rountev, and P. Sadayappan, International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'07), March 2007. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2007 IEEE (15 submitted, 11 accepted, 73% acceptance rate). Additional details in Technical Report OSU-CISRC-1/06-TR15, January 2006. [ PDF ] [ BibTeX ].
 

2006

» Hypergraph Partitioning for Automated Memory Management, Sriram Krishnamoorthy, Umit Catalyurek, Jarek Nieplocha, Atanas Rountev, and P. Sadayappan, International Conference for High Performance Computing Networking, Storage, and Analysis (SC'06), November 2006. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2006 ACM (239 submitted, 54 accepted, 23% acceptance rate).
 
» Generating Run-Time Progress Reports for a Points-to Analysis in Eclipse, Jason Sawin, Mariana Sharp, and Atanas Rountev, Eclipse Technology Exchange Workshop at OOPSLA (ETX'06), October 2006. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2006 ACM (30 submitted, 17 accepted, 57% acceptance rate).
 
» Static Analysis of Object References in RMI-based Java Software, Mariana Sharp and Atanas Rountev, IEEE Transactions on Software Engineering (TSE), volume 32, number 9, pages 664-681, September 2006. Special issue containing the best papers from the International Conference on Software Maintenance (ICSM'05). The journal paper is a substantially extended and revised version of the ICSM'05 conference paper. [ PDF ] [ BibTeX ] © Copyright 2006 IEEE
 
» Estimating the Run-Time Progress of a Call Graph Construction Algorithm, Jason Sawin and Atanas Rountev, IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'06), pages 53-62, September 2006. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2006 IEEE (40 submitted, 29 accepted, 41% acceptance rate).
 
» Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations, Albert Hartono, Qingda Lu, Xiaoyang Gao, Sriram Krishnamoorthy, Marcel Nooijen, Gerald Baumgartner, Venkatesh Choppella, David Bernholdt, Russell Pitzer, J. Ramanujam, Atanas Rountev, and P. Sadayappan, International Conference on Computational Science (ICCS'06), LNCS 3991, pages 267-275, May 2006. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2006 Springer-Verlag (300 submitted, 98 accepted, 33% acceptance rate).
 
» Interprocedural Dataflow Analysis in the Presence of Large Libraries, Atanas Rountev, Scott Kagan, and Thomas Marlowe, International Conference on Compiler Construction (CC'06), LNCS 3923, pages 2-16, March 2006. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2006 Springer-Verlag (72 submitted, 17 accepted, 24% acceptance rate). Additional details in Technical Report OSU-CISRC-1/06-TR01, January 2006. [ PDF ] [ BibTeX ]
 

2005

» Building a Whole-Program Type Analysis in Eclipse, Mariana Sharp, Jason Sawin, and Atanas Rountev, Eclipse Technology Exchange Workshop at OOPSLA (ETX'05), pages 6-10, October 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 ACM (47 submitted, 27 accepted, 57% acceptance rate).
 
» Static Analysis of Object References in RMI-based Java Software, Mariana Sharp and Atanas Rountev, IEEE International Conference on Software Maintenance (ICSM'05), pages 101-110, September 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 IEEE (180 submitted, 55 accepted, 31% acceptance rate)
 
» Interactive Exploration of UML Sequence Diagrams, Richard Sharp and Atanas Rountev, IEEE Workshop on Visualizing Software for Understanding and Analysis (VISSOFT'05), pages 8-13, September 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 IEEE (26 submitted, 19 accepted, 73% acceptance rate)
 
» Static Control-Flow Analysis for Reverse Engineering of UML Sequence Diagrams, Atanas Rountev, Olga Volgin, and Miriam Reddoch, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'05), pages 96-102, September 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 ACM (38 submitted, 17 accepted, 45% acceptance rate). Additional details in Technical Report OSU-CISRC-3/04-TR12, March 2004 [ PDF ] [ BibTeX ] and in Olga Volgin's M.S. thesis, June 2004 [ PDF ]
 
» A Specification-based Approach to Reasoning about Pointers, Gregory Kulczycki, Murali Sitaraman, Bruce Weide, and Atanas Rountev, International Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05), pages 55-62, September 2005. [ PDF ] [ BibTeX ] (acceptance rate unknown)
 
» Object Naming Analysis for Reverse-Engineered Sequence Diagrams, Atanas Rountev and Beth Harkness Connell, International Conference on Software Engineering (ICSE'05), pages 254-263, May 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 ACM (313 submitted, 44 accepted, 14% acceptance rate)
 
» Component-Level Dataflow Analysis, Atanas Rountev, International SIGSOFT Symposium on Component-Based Software Engineering (CBSE'05), LNCS 3489, pages 82-89, May 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 Springer-Verlag (91 submitted, 23 accepted, 25% acceptance rate)
 
» Coverage Criteria for Testing of Object Interactions in Sequence Diagrams, Atanas Rountev, Scott Kagan, and Jason Sawin, Fundamental Approaches to Software Engineering (FASE'05), LNCS 3442, pages 282-297, April 2005. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2005 Springer-Verlag (99 submitted, 22 accepted, 22% acceptance rate). Additional details in Technical Report OSU-CISRC-12/04-TR68, December 2004. [ PDF ] [ BibTeX ].
 
» Parameterized Object Sensitivity for Points-to Analysis for Java, Ana Milanova, Atanas Rountev, and Barbara G. Ryder, ACM Transactions on Software Engineering and Methodology (TOSEM), volume 14, number 1, pages 1 - 41, January 2005. Invited for fast-track submission by the Program Committee of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'02). A major expansion and revision of the ISSTA'02 conference paper. [ PDF ] [ BibTeX ] © Copyright 2005 ACM
 

2004

» Precise Identification of Side-effect-free Methods in Java, Atanas Rountev, IEEE International Conference on Software Maintenance (ICSM'04), pages 82-91, September 2004. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2004 IEEE (122 submitted, 38 accepted, 31% acceptance rate)
 
» Static and Dynamic Analysis of Call Chains in Java, Atanas Rountev, Scott Kagan, and Michael Gibas, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'04), pages 1-11, July 2004. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2004 ACM (93 submitted, 26 accepted, 28% acceptance rate)
 
» Evaluating the Imprecision of Static Analysis, Atanas Rountev, Scott Kagan, and Michael Gibas, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04), pages 14-16, June 2004. [ PDF ] [ BibTeX ] © Copyright 2004 ACM (36 submitted, 10 accepted, 28% acceptance rate)
 
» Fragment Class Analysis for Testing of Polymorphism in Java Software, Atanas Rountev, Ana Milanova, and Barbara G. Ryder, IEEE Transactions on Software Engineering (TSE), volume 30, number 6, pages 372-387, June 2004. Special issue containing the best papers from the International Conference on Software Engineering (ICSE'03). The journal paper is a substantially extended and revised version of the ICSE'03 conference paper. [ PDF ] [ BibTeX ] © Copyright 2004 IEEE.
 
» Precise Call Graphs for C Programs with Function Pointers, Ana Milanova, Atanas Rountev, and Barbara G. Ryder, International Journal of Automated Software Engineering (JASE), volume 11, number 1, pages 7-26, January 2004. Special issue containing the best papers from the IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02). The journal version is a significant revision and extension of the SCAM'02 workshop paper. [ PDF ] [ BibTeX ] © Copyright 2004 Kluwer Academic Publishers
 

2003

» Fragment Class Analysis for Testing of Polymorphism in Java Software, Atanas Rountev, Ana Milanova, and Barbara G. Ryder, International Conference on Software Engineering (ICSE'03), pages 210-220, May 2003. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2003 IEEE (324 submitted, 42 accepted, 13% acceptance rate).
 

2002-1999

» Constructing Precise Object Relation Diagrams, Ana Milanova, Atanas Rountev, and Barbara G. Ryder, IEEE International Conference on Software Maintenance (ICSM'02), pages 586-595, October 2002. [ PDF ] [ BibTeX ] © Copyright 2002 IEEE (127 submitted, 61 accepted, 48% acceptance rate)
 
» Precise Call Graph Construction in the Presence of Function Pointers, Ana Milanova, Atanas Rountev, and Barbara G. Ryder, IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'02), pages 155-163, October 2002. [ PDF ] [ BibTeX ] © Copyright 2002. IEEE (23 submitted, 17 accepted, 74% acceptance rate).
 
» Dataflow Analysis of Software Fragments, Atanas Rountev, Ph.D. Thesis, Technical Report DCS-TR-501, Rutgers University, August 2002. [ PDF ] [ BibTeX ]  

» Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java, Ana Milanova, Atanas Rountev, and Barbara G. Ryder, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'02), pages 1-11, July 2002. [ PDF ] [ BibTeX ] © Copyright 2002 ACM (97 submitted, 26 accepted, 27% acceptance rate).
 
» Points-to Analysis for Java Using Annotated Constraints, Atanas Rountev, Ana Milanova, and Barbara G. Ryder, Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'01), pages 43-55, October 2001. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2001 ACM (145 submitted, 27 accepted, 19% acceptance rate)
 
» Points-to and Side-effect Analyses for Programs Built with Precompiled Libraries, Atanas Rountev and Barbara G. Ryder, International Conference on Compiler Construction (CC'01), LNCS 2027, pages 20-36, April 2001. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2001 Springer-Verlag (69 submitted, 22 accepted, 32% acceptance rate)
 
» Off-line Variable Substitution for Scaling Points-to Analysis, Atanas Rountev and Satish Chandra, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'00), pages 47-56, June 2000. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 2000 ACM (173 submitted, 30 accepted, 17% acceptance rate)
 
» Data-Flow Analysis of Program Fragments, Atanas Rountev, Barbara G. Ryder, and William Landi, ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'99), LNCS 1687, pages 235-252, September 1999. [ PDF ] [ BibTeX ] [ Talk ] © Copyright 1999 Springer-Verlag (141 submitted, 29 accepted, 21% acceptance rate)
 

main page