Interprocedural analysis for privileged code placement and tainted variable detection
- Marco Pistoia
- Robert J. Flynn
- et al.
- 2005
- ECOOP 2005
Publications
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