Aharon Abadi

Affiliations:
  • Thomas J. Watson Research Center, Yorktown Heights, USA


According to our database1, Aharon Abadi authored at least 22 papers between 2008 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
A lightweight approach for sound call graph approximation.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021
NoCFG: A Lightweight Approach for Sound Call Graph Approximation.
CoRR, 2021

2017
The plan calculus as an internal representation for static analysis and transformations
PhD thesis, 2017

2016
Smoothing indoor trajectories.
Proceedings of the International Conference on Localization and GNSS, 2016

Holistic disaster recovery approach for big data NoSQL workloads.
Proceedings of the 2016 IEEE International Conference on Big Data (IEEE BigData 2016), 2016

2015
Mobile computing to support sustainability.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Mobile security: challenges, tools, and techniques (panel).
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Workshop preview of the 3rd international workshop on mobile development lifecycle (MobileDeLi 2015).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

2014
Developing enterprise mobile applications the easy way.
Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, 2014

A Parallel On-Demand Algorithm for Computing Interprocedural Dominators.
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014

How Mobile Affects Business Processes?: The Research Perspective.
Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014

MobileDeli'14 workshop: welcome message of the chairs.
Proceedings of the SPLASH'14, 2014

Killer Applications for Mobile: Opportunity and Challenges Report Activity.
Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, 2014

2013
Codeless Screen-Oriented Programming for Enterprise Mobile Applications.
CoRR, 2013

A screen-oriented representation for mobile applications.
Proceedings of the SPLASH'13, 2013

NitroGen: rapid development of mobile applications.
Proceedings of the SPLASH'13, 2013

2012
Fine Slicing - Theory and Applications for Computation Extraction.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011
Automatically fixing security vulnerabilities in Java code.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Code-motion for API migration: fixing SQL injection vulnerabilities in Java.
Proceedings of the Fourth Workshop on Refactoring Tools 2011, 2011

2010
Decidable fragments of many-sorted logic.
J. Symb. Comput., 2010

2009
Improving slice accuracy by compression of data and control flow paths.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2008
Re-approaching the refactoring Rubicon.
Proceedings of the Second ACM Workshop on Refactoring Tools, 2008


  Loading...