Interprocedural analysis for privileged code placement and tainted variable detection
- Marco Pistoia
- Robert J. Flynn
- et al.
- 2005
- ECOOP 2005
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
Featured collections
Popular topics
52 results for Marco Pistoia
Access rights analysis for Java
- Larry Koved
- Marco Pistoia
- et al.
- 2002
- OOPSLA 2002
Expressivity of Variational Quantum Machine Learning on the Boolean Cube
- Dylan Herman
- Rudy Raymond
- et al.
- 2023
- IEEE TQE
Computational investigations of the lithium superoxide dimer rearrangement on noisy quantum devices
- Qi Gao
- Jeannette M. Garcia
- et al.
- 2021
- Journal of Physical Chemistry A
Quantum equation of motion for computing molecular excitation energies on a noisy quantum processor
- Pauline J. Ollitrault
- Abhinav Kandala
- et al.
- 2020
- PRResearch
Reducing Qubit Requirements for Quantum Simulations Using Molecular Point Group Symmetries
- Kanav Setia
- Richard Chen
- et al.
- 2020
- JCTC
Quantum orbital-optimized unitary coupled cluster methods in the strongly correlated regime: Can quantum algorithms outperform their classical equivalents?
- Igor O. Sokolov
- Panagiotis Kl. Barkoutsos
- et al.
- 2020
- Journal of Chemical Physics
Path-and index-sensitive string analysis based on monadic second-order logic
- Takaaki Tateishi
- Marco Pistoia
- et al.
- 2013
- ACM TOSEM
Static specification mining using automata-based abstractions
- Sharon Shoham
- Eran Yahav
- et al.
- 2008
- IEEE Transactions on Software Engineering
A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal