Atanas Rountev

Orcid: 0000-0003-4556-4937

According to our database1, Atanas Rountev authored at least 107 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CoNST: Code Generator for Sparse Tensor Networks.
CoRR, 2024

2023
Automatic Generation of Distributed-Memory Mappings for Tensor Computations.
Proceedings of the International Conference for High Performance Computing, 2023

2022
Comprehensive Accelerator-Dataflow Co-design Optimization for Convolutional Neural Networks.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

Training of deep learning pipelines on memory-constrained GPUs via segmented fused-tiled execution.
Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021
Differential Privacy for Coverage Analysis of Software Traces (Artifact).
Dagstuhl Artifacts Ser., 2021

Efficient Distributed Algorithms for Convolutional Neural Networks.
Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

IOOpt: automatic derivation of I/O complexity bounds for affine programs.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Differential Privacy for Coverage Analysis of Software Traces.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

Analytical characterization and design space exploration for optimization of CNNs.
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021

2020
Sentinel: generating GUI tests for sensor leaks in Android and Android wear apps.
Softw. Qual. J., 2020

Differentially-private software frequency profiling under linear constraints.
Proc. ACM Program. Lang., 2020

Differentially-Private Control-Flow Node Coverage for Software Usage Analysis.
Proceedings of the 29th USENIX Security Symposium, 2020

Introducing Differential Privacy Mechanisms for Mobile App Analytics of Dynamic Content.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

A study of event frequency profiling with differential privacy.
Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019
Introducing Privacy in Screen Event Frequency Analysis for Android Apps.
Proceedings of the 19th International Working Conference on Source Code Analysis and Manipulation, 2019

Analytical cache modeling and tilesize optimization for tensor contractions.
Proceedings of the International Conference for High Performance Computing, 2019

On Optimizing Complex Stencils on GPUs.
Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

A Code Generator for High-Performance Tensor Contractions on GPUs.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2018
Domain-Specific Optimization and Generation of High-Performance GPU Code for Stencil Computations.
Proc. IEEE, 2018

Static window transition graphs for Android.
Autom. Softw. Eng., 2018

Detection of energy inefficiencies in Android wear watch faces.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Differentially-private software analytics for mobile apps: opportunities and challenges.
Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics, 2018

Associative instruction reordering to alleviate register pressure.
Proceedings of the International Conference for High Performance Computing, 2018

Register optimizations for stencils on GPUs.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Sentinel: generating GUI tests for Android sensor leaks.
Proceedings of the 13th International Workshop on Automation of Software Test, 2018

ORLIS: obfuscation-resilient library detection for Android.
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

2017
Who Changed You? Obfuscator Identification for Android.
Proceedings of the 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, 2017

Analysis and testing of notifications in Android wear applications.
Proceedings of the 39th International Conference on Software Engineering, 2017

POSTER: Statement Reordering to Alleviate Register Pressure for Stencils on GPUs.
Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017

2016
On the unsoundness of static analysis for Android GUIs.
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016

Automated test generation for detection of leaks in Android applications.
Proceedings of the 11th International Workshop on Automation of Software Test, 2016

Profiling the responsiveness of Android applications via automated resource amplification.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Static detection of energy defect patterns in Android applications.
Proceedings of the 25th International Conference on Compiler Construction, 2016

Resource Conscious Reuse-Driven Tiling for GPUs.
Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2015
SDSLc: a multi-target domain-specific compiler for stencil computations.
Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, 2015

Distributed memory code generation for mixed Irregular/Regular computations.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

Static Window Transition Graphs for Android (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing.
ACM Trans. Softw. Eng. Methodol., 2014

Automatic parallelization of a class of irregular loops for distributed memory systems.
ACM Trans. Parallel Comput., 2014

LeakChecker: Practical Static Memory Leak Detection for Managed Languages.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

Static Reference Analysis for GUI Objects in Android Software.
Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

2013
Precise memory leak detection for java software using container profiling.
ACM Trans. Softw. Eng. Methodol., 2013

Beyond reuse distance analysis: Dynamic analysis for characterization of data locality potential.
ACM Trans. Archit. Code Optim., 2013

Systematic testing for resource leaks in Android applications.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Code generation for parallel execution of a class of irregular loops on distributed memory systems.
Proceedings of the SC Conference on High Performance Computing Networking, 2012

Rethinking Soot for summary-based whole-program analysis.
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, 2012

Dynamic trace-based analysis of vectorization potential of applications.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dynamic analysis of inefficiently-used containers.
Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), 2012

Uncovering performance problems in Java applications with reference propagation profiling.
Proceedings of the 34th International Conference on Software Engineering, 2012

Static Detection of Loop-Invariant Data Structures.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Assumption Hierarchy for a CHA Call Graph Construction Algorithm.
Proceedings of the 11th IEEE Working Conference on Source Code Analysis and Manipulation, 2011

LeakChaser: helping programmers narrow down causes of memory leaks.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Demand-driven context-sensitive alias analysis for Java.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Dynamic selection of tile sizes.
Proceedings of the 18th International Conference on High Performance Computing, 2011

2010
Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applications.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Detecting inefficiently-used containers to avoid bloat.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Finding low-utility data structures.
Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Understanding parallelism-inhibiting dependences in sequential Java programs.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

2009
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information.
Autom. Softw. Eng., 2009

Compiler-assisted dynamic scheduling for effective parallelization of loop nests on multicore processors.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Go with the flow: profiling copies to find runtime bloat.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.
Proceedings of the ECOOP 2009, 2009

Data Layout Transformation for Enhancing Data Locality on NUCA Chip Multiprocessors.
Proceedings of the PACT 2009, 2009

2008
Global trees: a framework for linked data structures on distributed memory parallel systems.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Automatic data movement and computation mapping for multi-level parallel architectures with explicitly managed memories.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

WODA 2008: the sixth international workshop on dynamic analysis.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Towards effective automatic parallelization for multicore systems.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

A compiler framework for optimization of affine loop nests for gpgpus.
Proceedings of the 22nd Annual International Conference on Supercomputing, 2008

IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries.
Proceedings of the Compiler Construction, 17th International Conference, 2008

Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model.
Proceedings of the Compiler Construction, 17th International Conference, 2008

AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software.
Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007
Identifying Data Transfer Objects in EJB Applications.
Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007

Efficient checkpointing of java software using context-sensitive capture and replay.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Improved Static Resolution of Dynamic Class Loading in Java.
Proceedings of the Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30, 2007

Effective automatic parallelization of stencil computations.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

A global address space framework for locality aware scheduling of block-sparse computations.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Automated Refactoring of Legacy Java Software to Enumerated Types.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Regression Test Selection for AspectJ Software.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Static Analysis of Object References in RMI-Based Java Software.
IEEE Trans. Software Eng., 2006

A specification-based approach to reasoning about pointers.
ACM SIGSOFT Softw. Eng. Notes, 2006

Estimating the Run-Time Progress of a Call Graph Construction Algorithm53-62.
Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

Data management and query - Hypergraph partitioning for automatic memory hierarchy management.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

An extensible global address space framework with decoupled task and data abstractions.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Identifying Cost-Effective Common Subexpressions to Reduce Operation Count in Tensor Contraction Evaluations.
Proceedings of the Computational Science, 2006

Generating run-time progress reports for a points-to analysis in Eclipse.
Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

Interprocedural Dataflow Analysis in the Presence of Large Libraries.
Proceedings of the Compiler Construction, 15th International Conference, 2006

2005
Parameterized object sensitivity for points-to analysis for Java.
ACM Trans. Softw. Eng. Methodol., 2005

Interactive Exploration of UML Sequence Diagrams.
Proceedings of the 3rd International Workshop on Visualizing Software for Understanding and Analysis, 2005

Static control-flow analysis for reverse engineering of UML sequence diagrams.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Object naming analysis for reverse-engineered sequence diagrams.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Coverage Criteria for Testing of Object Interactions in Sequence Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Building a whole-program type analysis in Eclipse.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

Component-Level Dataflow Analysis.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
Fragment Class Analysis for Testing of Polymorphism in Java Software.
IEEE Trans. Software Eng., 2004

Precise Call Graphs for C Programs with Function Pointers.
Autom. Softw. Eng., 2004

Evaluating the imprecision of static analysis.
Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2004

Static and dynamic analysis of call chains in Java.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Precise Identification of Side-Effect-Free Methods in Java.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

2002
Precise Call Graph Construction in the Presence of Function Pointers.
Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 2002

Parameterized object sensitivity for points-to and side-effect analyses for Java.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

Constructing Precise Object Relation Diagrams.
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001
Points-To Analysis for Java using Annotated Constraints.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Points-to and Side-Effect Analyses for Programs Built with Precompiled Libraries.
Proceedings of the Compiler Construction, 10th International Conference, 2001

2000
Off-line variable substitution for scaling points-to analysis.
Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2000

1999
Data-Flow Analysis of Program Fragments.
Proceedings of the Software Engineering, 1999


  Loading...