default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAharon Abadi
Person information
- affiliation: Thomas J. Watson Research Center, Yorktown Heights, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2017
[b1]Aharon Abadi:
The plan calculus as an internal representation for static analysis and transformations. Tel Aviv University, Israel, 2017
Journal Articles
- 2010
- [j1]Aharon Abadi, Alexander Rabinovich
, Mooly Sagiv:
Decidable fragments of many-sorted logic. J. Symb. Comput. 45(2): 153-172 (2010)
Conference and Workshop Papers
- 2022
- [c19]Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz:
A lightweight approach for sound call graph approximation. SAC 2022: 1837-1844 - 2016
- [c18]Aharon Abadi, Ashraf Haib, Roie Melamed, Alaa Nassar, Aidan Shribman, Hisham Yasin:
Holistic disaster recovery approach for big data NoSQL workloads. IEEE BigData 2016: 2075-2080 - [c17]Aharon Abadi, Roie Melamed, Eli Packer, Natalie Shapira:
Smoothing indoor trajectories. ICL-GNSS 2016: 1-6 - 2015
- [c16]Aharon Abadi, Lori Flynn, Jeff Gray:
Mobile security: challenges, tools, and techniques (panel). MobileDeLi 2015: 51-53 - [c15]Aharon Abadi, Lori Flynn, Jeff Gray, Aaron J. Gordon:
Mobile computing to support sustainability. MobileDeLi 2015: 54-57 - [c14]Aharon Abadi, Lori Flynn, Jeff Gray:
Workshop preview of the 3rd international workshop on mobile development lifecycle (MobileDeLi 2015). SPLASH (Companion Volume) 2015: 93-94 - 2014
- [c13]Danny Dig, Aharon Abadi:
How Mobile Affects Business Processes?: The Research Perspective. MobileDeLi 2014: 23-24 - [c12]Aharon Abadi, Danny Dig:
Killer Applications for Mobile: Opportunity and Challenges Report Activity. MobileDeLi 2014: 35-36 - [c11]Aharon Abadi, Danny Dig, Eli Tilevich:
MobileDeli'14 workshop: welcome message of the chairs. SPLASH (Companion Volume) 2014: 79-80 - [c10]Aharon Abadi, Yishai A. Feldman:
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators. SCAM 2014: 235-244 - [c9]Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush, Uzy Hadad:
Developing enterprise mobile applications the easy way. InnoSWDev@SIGSOFT FSE 2014: 78-83 - 2013
- [c8]Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush, Uzy Hadad:
NitroGen: rapid development of mobile applications. SPLASH (Companion Volume) 2013: 15-16 - [c7]Aharon Abadi, Yishai A. Feldman, Konstantin Shagin:
A screen-oriented representation for mobile applications. SPLASH (Companion Volume) 2013: 79-80 - 2012
- [c6]Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Fine Slicing - Theory and Applications for Computation Extraction. FASE 2012: 471-485 - 2011
- [c5]Aharon Abadi, Yishai A. Feldman, Mati Shomrat:
Code-motion for API migration: fixing SQL injection vulnerabilities in Java. WRT@ICSE 2011: 1-7 - [c4]Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat:
Automatically fixing security vulnerabilities in Java code. OOPSLA Companion 2011: 3-4 - 2009
- [c3]Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Improving slice accuracy by compression of data and control flow paths. ESEC/SIGSOFT FSE 2009: 223-232 - 2008
- [c2]Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Re-approaching the refactoring Rubicon. WRT@OOPSLA 2008: 10 - 2007
- [c1]Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv:
Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31
Editorship
- 2015
- [e7]Aharon Abadi, Danny Dig, Yael Dubinsky:
2nd ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015. IEEE Computer Society 2015, ISBN 978-0-7695-5566-9 [contents] - [e6]Aharon Abadi, Lori Flynn, Jeff Gray:
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, MobileDeLi 2015, Pittsburgh, PA, USA, October 25-30, 2015. ACM 2015, ISBN 978-1-4503-3906-3 [contents] - [e5]Aharon Abadi, Shah Rukh Humayoun, Henry Muccini:
Proceedings of the 3rd International Workshop on Software Development Lifecycle for Mobile, DeMobile 2015, Bergamo, Italy, August 31 - September 4, 2015. ACM 2015, ISBN 978-1-4503-3815-8 [contents] - 2014
- [e4]Tiziana Catarci, Aharon Abadi, Anthony I. Wasserman:
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3, 2014. ACM 2014, ISBN 978-1-4503-2878-4 [contents] - [e3]Aharon Abadi, Danny Dig, Eli Tilevich:
Proceedings of the 2nd International Workshop on Mobile Development Lifecycle, MobileDeLi 2014, Portland, OR, USA, October 20-24, 2014. ACM 2014, ISBN 978-1-4503-2190-7 [contents] - [e2]Aharon Abadi, Rafael Prikladnicki, Yael Dubinsky:
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, DeMobile 2014, Hong Kong, China, November 17, 2014. ACM 2014, ISBN 978-1-4503-3225-5 [contents] - 2013
- [e1]Aharon Abadi, Rafael Prikladnicki, Yael Dubinsky:
Proceedings of the 2013 International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013, Saint Petersburg, Russia, August 19, 2013. ACM 2013, ISBN 978-1-4503-2312-3 [contents]
Informal and Other Publications
- 2021
- [i2]Aharon Abadi, Bar Makovitzki, Ron Shemer, Shmuel S. Tyszberowicz:
NoCFG: A Lightweight Approach for Sound Call Graph Approximation. CoRR abs/2105.03099 (2021) - 2013
- [i1]Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush:
Codeless Screen-Oriented Programming for Enterprise Mobile Applications. CoRR abs/1310.1506 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
