Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

52 results for Marco Pistoia

Integrating security, analytics and application management into the mobile development lifecycle
- - Marco Pistoia
  - Omer Tripp
- 2014
- MobileDeLi 2014
Hybrid security analysis of web Javascript code via dynamic partial evaluation
- - Omer Tripp
  - Pietro Ferrara
  - et al.
- 2014
- ISSTA 2014
F4F: Taint analysis of framework-based web applications
- - Manu Sridharan
  - Shay Artzi
  - et al.
- 2011
- OOPSLA 2011
Static discovery and remediation of code-embedded resource dependencies
- - Nikolai Joukov
  - Vasily Tarasov
  - et al.
- 2011
- IM 2011
Path- and index-sensitive string analysis based on monadic second-order logic
- - Takaaki Tateishi
  - Marco Pistoia
  - et al.
- 2011
- ISSTA 2011
Saving the world wide web from vulnerable JavaScript
- - Salvatore Guarnieri
  - Marco Pistoia
  - et al.
- 2011
- ISSTA 2011
Directed test generation for effective fault localization
- - Shay Artzi
  - Julian Dolby
  - et al.
- 2010
- ISSTA 2010
A language for information flow: Dynamic tracking in multiple interdependent dimensions
- - Avraham Shinnar
  - Marco Pistoia
  - et al.
- 2009
- PLAS 2009
Role-based access control consistency validation
- - Paolina Centonze
  - Gleb Naumovich
  - et al.
- 2006
- ISSTA 2006
The case for analysis preserving language transformation
- - Xiaolan Zhang
  - Larry Koved
  - et al.
- 2006
- ISSTA 2006