Publications

Books

Dr. Marco Pistoia has written a total of ten books, including the following:

1. Marco Pistoia, Nataraj Nagaratnam, Larry Koved, and Anthony Nadalin.

   • Enterprise Java Security - Building Secure J2EE Applications. ISBN 0321118898. Addison-Wesley. Reading, MA, February 2004.

   • 企业级Java安全性——构建安全的J2EE应用. ISBN 7302097445. Tsinghua University Press. People's Republic of China, March 2006.

2. Marco Pistoia, Duane F. Reller, Deepak Gupta, Milind Nagnur, and Ashok K. Ramani.  Java 2 Network Security, Second Edition. ISBN 0130155926. Prentice Hall PTR. Upper Saddle River, NJ, August 1999. 

3. Stina Andersson, Abraham Asfaw, Antonio Corcoles, Luciano Bello, Yael Ben-Haim, Mehdi Bozzo-Rey, Sergey Bravyi, Nicholas Bronn, Lauren Capelluto, Almudena Carrera Vazquez, Jack Ceroni, Richard Chen, Albert Frisch, Jay Gambetta, Shelly Garion, Leron Gil, Salvador De La Puente Gonzalez, Francis Harkins, Takashi Imamichi, Hwajung Kang, Amir h. Karamlou, Robert Loredo, David McKay, Antonio Mezzacapo, Zlatko Minev, Ramis Movassagh, Giacomo Nannicini, Paul Nation, Anna Phan, Marco Pistoia, Arthur Rattew, Joachim Schaefer, Javad Shabani, John Smolin, John Stenger, Kristan Temme, Madeleine Tod, Ellinor Wanzambi, Stephen Wood, James Wootton.  Learn Quantum Computation using Qiskit.  Qiskit Community, 2020.

Select Refereed Journal Articles

1. Lucas Slattery, Ruslan Shaydulin, Shouvanik Chakrabarti, Marco Pistoia, Sami Khairy, Stefan M. Wild.  Numerical Evidence against Advantage with Quantum Fidelity Kernels on Classical Data.  Physical Review A, May 2023.

2. Marco Pistoia, Omar Amer, Monik R. Behera, Joseph A. Dolphin, James F. Dynes, Benny John, Paul A. Haigh, Yasushi Kawakura, David H. Kramer, Jeffrey Lyon, Navid Moazzami, Tulasi D. Movva, Antigoni Polychroniadou, Suresh Shetty, Greg Sysak, Farzam Toudeh-Fallah, Sudhir Upadhyay, Robert I. Woodward, Andrew J. Shields.  Paving the Way towards 800 Gbps Quantum-Secured Optical Channel Deployment in Mission-Critical Environments.  Quantum Science and Technology, Institute of Physics, May 2023.  DOI: 10.1088/2058-9565/acd1a8.

3. Dylan Herman, Rudy Raymond, Muyuan Li, Nicolas Robles, Antonio Mezzacapo, Marco Pistoia.  Expressivity of Variational Quantum Machine Learning on the Boolean Cube.  IEEE Transactions on Quantum Engineering, Vol. 4, 2023.  DOI: 10.1109/TQE.2023.3255206.

4. Pradeep Niroula, Ruslan Shaydulin, Romina Yalovetzky, Pierre Minssen, Dylan Herman, Shaohan Hu, Marco Pistoia.  Constrained Quantum Optimization for Extractive Summarization on a Trapped-Ion Quantum Computer.  Nature Scientific Reports, Vol. 12, Article Number 17171, October 2022.

5. Romina Yalovetzky, Pierre Minssen, Dylan Herman, Marco Pistoia.  NISQ-HHL: Portfolio Optimization for Near-Term Quantum Hardware.  Bulletin of the American Physical Society, Vol. 67, No. 3, APS March Meeting, Chicago, IL, USA, March 2022.

6. Arthur Rattew, Yue Sun, Pierre Minssen, Marco Pistoia.  The Efficient Preparation of Normal Distributions in Quantum Registers.  Quantum – The Open Journal for Quantum Science, Vol. 5, Page 609, December 2021.

7. Qi Gao, Hajime Nakamura, Tanvi P. Gujarati, Gavin O. Jones, Julia E. Rice, Stephen P. Wood, Marco Pistoia, Jeannette M. Garcia, Naoki Yamamoto.  Computational Investigations of the Lithium Superoxide Dimer Rearrangement on Noisy Quantum Devices. Journal of Physical Chemistry A, 125, 9, 1827–1836, February 2021.

8. Pauline J. Ollitrault, Abhinav Kandala, Chun-Fu Chen, Panagiotis Kl. Barkoutsos, Antonio Mezzacapo, Marco Pistoia, Sarah Sheldon, Stefan Woerner, Jay Gambetta, Ivano Tavernelli.  Quantum Equation of Motion for Computing Molecular Excitation Energies on a Noisy Quantum Processor.  Physical Review Research, Vol. 2, Issue 4, October-December 2020.

9. Kanav Setia, Richard Chen, Julia E. Rice, Antonio Mezzacapo, Marco Pistoia, James D. Whitfield.  Reducing Qubit Requirements for Quantum Simulations Using Molecular Point Group Symmetries.  Journal of Chemical Theory and Computation, Vol. 16, Issue 10, August 2020.

10. Igor Sokolov, Panagiotis Barkoutsos, Donny Greenberg, Pauline Ollitrault, Julia Rice, Marco Pistoia, Ivano Tavernelli.  Quantum Orbital-Optimized Unitary Coupled Cluster Methods in the Strongly Correlated Regime: Can Quantum Algorithms Outperform Their Classical Equivalents?  The Journal of Chemical Physics, Vol. 152, Issue 12, March 2020.

11. Kanav Setia, James D. Whitfield, Antonio Mezzacapo, Marco Pistoia, Richard Chen.  Exploiting Molecular Point Group Symmetries for Quantum Simulation.  Bulletin of the American Physical Society, Vol. 65, No. 1, APS March Meeting, Denver, CO, USA, March 2020.  

12. Peng Liu, Shaohan Hu, Marco Pistoia, Chun-Fu Chen, Jay M. Gambetta.  Stochastic Optimization of Quantum Programs.  IEEE Computer 52(6): 58-67 (2019).

13. Shaohan Hu, Peng Liu, Chun-Fu Chen, Marco Pistoia, Jay M. Gambetta.  Reduction-Based Problem Mapping for Quantum Computing.  IEEE Computer 52(6): 47-57 (2019).

14. Paul C. Castro, Joseph W. Ligman, Marco Pistoia, John Ponzo, Gegi S. Thomas and Umut Topkara.  Run-time Adaptive Multi-factor Authentication for Mobile Devices.  IBM Journal of Research and Development, Volume 57, Issue 6, November-December 2013.

15. Paul C. Castro, Joseph W. Ligman, Marco Pistoia, John Ponzo, Gegi S. Thomas, Stephen P. Wood and Mauro Baluda.  Enabling Bring-Your-Own-Device Using Mobile Application Instrumentation.  IBM Journal of Research and Development, Volume 57, Issue 6, November-December 2013.

16. Dragoş Sbîrlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia and Vivek Sarkar.  Automatic Detection of Inter-application Permission Leaks in Android Applications.  IBM Journal of Research and Development, Volume 57, Issue 6, November-December 2013.

17. Takaaki Tateishi, Marco Pistoia and Omer Tripp. Path- and Index-sensitive String Analysis based on Monadic Second-order Logic.  In Proceedings of ACM Journal on Transactions on Software Engineering and Methodology (TOSEM), Volume 22, Number 4, October 2013.

18. Shay Artzi, Julian Dolby, Frank Tip and Marco Pistoia.  Fault Localization for Dynamic Web Applications.  IEEE Transactions on Software Engineering (TSE) Journal, Volume 38, Number 2, March - April 2012, pages 314-335.

19. Marco Pistoia and Úlfar Erlingsson. Programming Languages and Program Analysis for Security: A Three-year Retrospective. ACM SIGPLAN Notices, Volume 43, Number 12, New York, NY, USA, December 2008.

20. Sharon Shoham, Eran Yahav, Stephen J. Fink, and Marco Pistoia. Static Specification Mining Using Automata-Based Abstractions. IEEE Transactions on Software Engineering (TSE) Journal, Volume 34, Number 5, Piscataway, NJ, USA, September 2008.

21. Marco Pistoia, Satish Chandra, Stephen Fink, and Eran Yahav. A Survey of Static Analysis Methods for Identifying Security Vulnerabilities in Software Systems. IBM Systems Journal, volume 46, number 2, Armonk, NY, USA, May 2007. International Business Machines Corporation.

22. Larry Koved, Anthony J. Nadalin, Nataraj Nagaratnam, Marco Pistoia, and Theodore Shrader. Security Challenges for Enterprise Java in an E-business Environment. IBM Systems Journal, volume 40, number 1, pages 130-152, Armonk, NY, USA, January 2001. International Business Machines Corporation. 

Select Refereed Conference Papers

1. Kaiyan Shi, Rebekah Herrman, Ruslan Shaydulin, Shouvanik Chakrabarti, Marco Pistoia, Jeffrey Larson.  Multi-Angle QAOA Does Not Always Need All Its Angles.  ACM/IEEE Workshop on Quantum Computing, co-located with the 7th ACM/IEEE Symposium on Edge Computing (SEC 2022). Bellevue, WA, December 2022.

2. Tianyi Hao, Ruslan Shaydulin, Marco Pistoia, Jeffrey Larson.  Exploiting In-Constraint Energy in Constrained Variational Quantum Optimization.  In Proceedings of the 3rd IEEE International Workshop on Quantum Computing Software, co-located with the IEEE International Conference for High Performance Computing, Networking, Storage and Analysis (SC 2022), Dallas, TX, USA, November 2022.

3. Bill Moriarty, Chun-Fu (Richard) Chen, Shaohan Hu, Sean Moran, Marcp Pistoia, Vincenzo Piuri, Pierangela Samarati.  Utility-preserving Biometric Information Anonymization.  European Symposium on Research in Computer Security (ESORICS 2022), Copenhagen, Denmark, September 2022.

4. Romina Yalovetzky, Pierre Minssen, Dylan Herman, Marco Pistoia.  NISQ-HHL: Portfolio Optimization for Near-Term Quantum Hardware.   American Physical Society (APS) March Meeting, Chicago, IL, USA, March 2022.

5. Romina Yalovetzky, Pierre Minssen, Dylan Herman, Marco Pistoia.  NISQ-HHL: Portfolio Optimization for Near-Term Quantum Hardware.  Conference Poster.  25th Annual Conference on Quantum Information Processing (QIP 2022), California Institute of Technology, Pasadena, CA, USA, March 2022.

6. Marco Pistoia, Syed Farhan Ahmad, Akshay Ajagekar, Alexander Buts, Shouvanik Chakrabarti, Dylan Herman, Shaohan Hu, Andrew Jena, Pierre Minssen, Pradeep Niroula, Arthur Rattew, Yue Sun, Romina Yalovetzky.  Quantum Machine Learning for Finance.  Invited Special Session Paper.  In Proceedings of the 40th IEEE/ACM International Conference on Computer Aided Design (ICCAD) 2021, Munich, Germany, November 2021.

7. Marco Pistoia, Peng Liu, Richard Chen, Shaohan Hu, and Stephen Wood.  Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms.  In Proceedings of the 2020 13th IEEE Conference on Software Testing, Validation and Verification (ICST), Porto, Portugal, October 2020.

8. Kanav Setia, James D. Whitfield, Antonio Mezzacapo, Marco Pistoia, Richard Chen.  Exploiting Molecular Point Group Symmetries for Quantum Simulation.  American Physical Society (APS) March Meeting, Denver, CO, March 2020.

9. Quanfu Fan, Chun-Fu (Richard) Chen, Hilde Kuehne, Marco Pistoia, David Cox.  More Is Less: Learning Efficient Video Representations by Temporal Aggregation Module.  Thirty-third Conference on Neural Information Processing Systems (NeurIPS 2019).

10. Shaohan Hu, Dmitri Maslov, Marco Pistoia, Jay M. Gambetta.  Efficient Circuits for Quantum Search over 2D Square Lattice Architecture. ACM SIGDA Design Automation Conference (DAC) 2019: 236:1-236:2.

11. Luciano Bello, Marco Pistoia.  ARES: triggering payload of evasive Android malware. ACM/IEEE MOBILESoft 2018: 2-12.

12. Shaohan Hu, Peng Liu, Chun-Fu Chen, Marco Pistoia.  Automatically solving NP-complete problems on a quantum computer.  ACM/IEEE International Conference on Software Engineering (ICSE) 2018: 258-259.

13. Chun-Fu Chen, Jinwook Oh, Quanfu Fan, Marco Pistoia.  SC-Conv: Sparse-Complementary Convolution for Efficient Model Utilization on CNNs.  IEEE International Symposium on Multimedia (ISM) 2018: 97-100.

14. Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia.  Visual Configuration of Mobile Privacy Policies.  International Conference on Fundamental Approaches to Software Engineering (FASE 2017): 338-355.

15. Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng.  Automatic text input generation for mobile testing. ACM/IEEE International Conference on Software Engineering (ICSE) 2017: 643-653.

16. Chun-Fu Chen, Marco Pistoia, Conglei Shi, Paolo Girolami, Joseph W. Ligman, Yong Wang.  UI X-Ray: Interactive Mobile UI Testing Based on Computer Vision.  ACM International Conference on Intelligent User Interfaces (IUI) 2017: 245-255.  Best Paper Award.

17. David Piorkowski, Sean Penney, Austin Z. Henley, Marco Pistoia, Margaret M. Burnett, Omer Tripp, Pietro Ferrara.  Foraging goes mobile: Foraging while debugging on mobile devices. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2017: 9-17.  Honorable Mention Award.

18. Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara.  FASE: functionality-aware security enforcement.  Annual Conference on Computer Security Applications (ACSAC) 2016: 471-483.

19. David Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp.  Cognitive mobile security. Invited Conference Keynote. ACM/IEEE MOBILESoft 2016: 267-268.

20. Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin.  Pinpointing mobile malware using code analysis.  ACM/IEEE MOBILESoft 2016: 275-276.

21.  Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas.  Improving design validation of mobile application user interface implementation. ACM/IEEE MOBILESoft 2016: 277-278.

22. Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp.  A framework for automatic anomaly detection in mobile applications. ACM/IEEE MOBILESoft 2016: 297-298.

23. Pietro Ferrara, Omer Tripp, and Marco Pistoia.  Morphdroid: Fine-grained Privacy Verification.  In Proceedings of the 31st Annual Computer Security Applications Conference (ACSAC 2015), Los Angeles, CA, USA, December 2015.

24. Marco Pistoia.  Program Analysis for Mobile Application Integrity and Privacy Enforcement. In Proceedings of the ACM Conference on Computer and Communications Security (CCS) 2015: 1698-1699.

25. Lucas Brutschy, Pietro Ferrara, Omer Tripp, and Marco Pistoia.  ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access.  In Proceedings of the 2015 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2015), Pittsburgh, PA, USA, October 2015.

26. Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, and Omer Tripp.  Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis.  In Proceedings of the 14th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM 2015), Warsaw, Poland, September 2015.

27. Marco Pistoia, Omer Tripp, Pietro Ferrara and Paolina Centonze.  Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps.  ACM/IEEE Mobile Development Lifecycle (MobileDeLi 2015), Pittsburgh, PA, USA, October 2015.

28. Roee Hay, Omer Tripp, and Marco Pistoia.  Dynamic Detection of Inter-application Communication Vulnerabilities in Android.  In Proceedings of the 2015 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2015), Baltimore, MD, USA, July 2015.

29. Paolina Centonze, Marco Pistoia, and Omer Tripp. Access-rights Analysis in the Presence of Subjects.  In Proceedings of the 29th European Conference on Object Oriented Programming (ECOOP 2015), Prague, Czech Republic, July 2015.

30. Marco Pistoia, Omer Tripp, Paolina Centonze, and Joseph Ligman.  Labyrinth: Visually Configurable Data-leakage Detection in Mobile Applications.  Invited Paper.  In Proceedings of the 17th IEEE International Conference on Mobile Data Management (MDM 2015), Pittsburgh, PA, USA, June 2015.

31. Omer Tripp, Marco Pistoia, and Paolina Centonze.  Application- and User-sensitive Privacy Enforcement in Mobile Systems.  ACM/IEEE International Conference on Mobile Software Engineering and Systems (MOBILESoft 2015), Florence, Italy, May 2015.

32. Agostino Cortesi, Pietro Ferrara, Marco Pistoia, and Omer Tripp. Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications.  In Proceedings of the 16th ACM International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2015), Mumbai, India, January 2015.

33. Omer Tripp, Salvatore Guarnieri, Marco Pistoia, and Aleksandr Y. Aravkin. ALETHEIA: Improving the Usability of Static Security Analysis.  In Proceedings of the 2014 ACM Conference on Computer and Communications Security (CCS 2014), Scottsdale, AZ, USA, November 2014.

34. Marco Pistoia and Omer Tripp.  Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle.  In Proceedings of the 2nd International Workshop on Mobile Development Lifecycle (MobileDeLi 2014), Portland, OR, USA, October 2014.

35. Omer Tripp, Pietro Ferrara, and Marco Pistoia.  Hybrid Security Analysis of Web JavaScript Code via Dynamic Partial Evaluation.  In Proceedings of the 2014 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2014), San Jose, CA, USA, July 2014.  ACM SIGSOFT Distinguished Paper Award.

36. Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot and Salvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications. In proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013), Rome, Italy, March 2013, pages 210-225.

37. Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, and Ryan Berg: Taint Analysis of Framework-based Web Applications.  In Proceedings of the 2011 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2011), Portland, OR, USA, October 2011.

38. Takaaki Tateishi, Marco Pistoia, and Omer Tripp.  Path- and Index-sensitive String Analysis Based on Monadic Second-order Logic.  In Proceedings of the 2011 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, ON, Canada, July 2011.  ACM SIGSOFT Distinguished Paper Award.

39. Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet and Ryan Berg.  Saving the World Wide Web from Vulnerable JavaScript. In Proceedings of the 2011 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, ON, Canada, July 2011.

40. Nikolai Joukov, Vasily Tarasov, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, and Takaaki Tateishi.  Discovery of Hard-coded External Dependencies in Enterprise Production Environments.  In Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management (IM 2011), Dublin, Ireland, May 2011.

41. Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia.  Directed Test Generation for Effective Fault Localization.  In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2010), Trento, Italy, July 2010.

42. Shay Artzi, Julian Dolby, Frank Tip, and Marco Pistoia.  Practical Fault Localization for Dynamic Web Applications.  In Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010

43. Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, and Omri Weisman. TAJ: Effective Taint Analysis for Java.  In Proceedings of the ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI 2009), Dublin, Ireland, June 2009.

44. Avraham Shinnar, Marco Pistoia, Anindya Banerjee.  A language for information flow: dynamic tracking in multiple interdependent dimensions.  In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2009): 125-131, Dublin, Ireland, June 2009.

45. Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara Ryder, and Julian Dolby. Modular String-Sensitive Permission Analysis with Demand-Driven Precision.  In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, BC, Canada, May 2009.

46. Marco Pistoia.  Program Analysis and Programming Languages for Security.  Proceedings of the Ninth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2008). San Francisco, CA, January 2008.

47. Paolina Centonze, Robert J. Flynn, and Marco Pistoia.  Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies. In Proceedings of the Annual Computer Security Applications Conference (ACSAC 2007), Miami Beach, FL, December 2007.

48. Sharon Shoham, Eran Yahav, Stephen J. Fink, and Marco Pistoia.  Static Specification Mining Using Automata-Based Abstractions. In Proceedings of the ACM SIGSOFT 2007 International Symposium on Software Testing and Analysis (ISSTA 2007), London, United Kingdom, July 2007. ACM Press.  Winner of the following recognitions:

    • ACM SIGSOFT Distinguished Paper Award.

    • IBM Research Pat Goldberg Memorial Best Paper Award (3 papers selected out of 130 submissions), IBM Thomas J. Watson Research Center, Hawthorne, NY, USA, July 2008.

    • Invited for publication in the IEEE Transaction on Software Engineering (TSE) Journal, Volume 34, Issue 5, Piscataway, NJ, USA, September 2008.

    • Invited to be extended into a chapter for book Mining Software Specifications: Methodologies and Applications.  Data Mining and Knowledge Discovery Book Series by CRC Press.  2011.

49. Marco Pistoia, Anindya Banerjee, and David Naumann. Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. In Proceedings of the IEEE Symposium on Security and Privacy (S&P) 2007, Oakland, CA, May 2007.

50. Marco Pistoia, Stephen J. Fink, Robert J. Flynn, and Eran Yahav. When Role Models Have Flaws: Static Validation of Enterprise Security Policies. In Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, May 2007.

51. Marco Pistoia and Francesco Logozzo. Program Analysis for Security and Privacy. In Object-Oriented Technology: ECOOP 2006 Workshop Reader, Final Reports. Twentieth European Conference on Object-Oriented Programming (ECOOP 2006), Nantes, France, July 2006.  Lecture Notes in Computer Science (LNCS), volume 4379. Springer-Verlag.

52. Paolina Centonze, Gleb Naumovich, Stephen J. Fink and Marco Pistoia.  Role-Based Access Control Consistency Validation. In Proceedings of the ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, ME, USA, July 2006. ACM Press.

53. Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau and Liangzhao Zeng. The Case for Analysis Preserving Language Transformation. In Proceedings of the ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, ME, USA, July 2006. ACM Press.

54. Marco Pistoia, Robert J. Flynn, Larry Koved, and Vugranam C. Sreedhar. Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. In Proceedings of the 19th European Conference on Object-Oriented Programming (ECOOP 2005), pages 362-386, Glasgow, Scotland, UK, July 2005. Springer-Verlag.

55. Larry Koved, Marco Pistoia, and Aaron Kershenbaum. Access Rights Analysis for Java. In Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2002), pages 359-372, Seattle, WA, USA, November 2002. ACM Press.

56. Magda Mourad, Jonathan Munson, Tamer Nadeem, Giovanni Pacifici, Marco Pistoia, and Alaa Youssef. WebGuard: A System for Web Content Protection. In Poster Proceedings of the 10th International World Wide Web Conference (WWW 10), Hong Kong, China, May 2001.

Select Refereed Conference Tutorials

1. Marco Pistoia.  Program Analysis for Privacy of Mobile Applications.  Conference Tutorial.  Tutorial Proceedings of the 2015 Annual Computer Security Applications Conference (ACSAC 2015), Los Angeles, CA, USA, December 2015.

2. Marco Pistoia.  Program Analysis for Mobile Application Integrity.  In Tutorial proceedings of the 22nd ACM Conference on Computer and Communications Security (CCS 2015), Denver, CO, USA, October 2015.

3. Marco Pistoia. Program Analysis and Programming Languages for Security. Invited Conference Tutorial. Tutorial Proceedings of the Ninth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2008). San Francisco, CA, January 2008.

4. Marco Pistoia. Java Security. Invited Conference Tutorial. Tutorial Proceedings of IEEE INFOCOM 2002. New York, NY, June 2002.

5. Marco Pistoia. Security in Java 2. Conference Tutorial. Tutorial Proceedings of the Association for Computing Machinery (ACM) Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2000) Conference. Minneapolis, MN, October 2000. 

Book Chapters

1. Marco Pistoia, Omer Tripp and David Lubensky.   Combining Static Code Analysis and Machine Learning for Automatic Detection of Security Vulnerabilities in Mobile Apps.  Chapter in book: Sougata Mukherjea (Editor), Mobile Application Development, Usability, and Security.  IGI Global, October 2016.

2. Eran Yahav, Sharon Shoham, Stephen Fink and Marco Pistoia.  Static Specification Mining Using Automata-Based Abstractions.  Chapter in book: David Lo, Siau-Cheng Khoo, Jiawei Han and Chao Liu (Editors), Mining Software Specifications: Methodologies and Applications.  Data Mining and Knowledge Discovery Book Series by CRC Press.  March 2011. 

Preprints

1. Shree Hari Sureshbabu, Dylan Herman, Ruslan Shaydulin, Joao Basso, Shouvanik Chakrabarti, Yue Sun, Marco Pistoia.  Parameter Setting in Quantum Approximate Optimization of Weighted Problems.  arXiv:2305.15201.

2. Zichang He, Ruslan Shaydulin, Shouvanik Chakrabarti, Dylan Herman, Changhao Li, Yue Sun, Marco Pistoia.  Alignment between Initial State and Mixer Improves QAOA Performance for Constrained Portfolio Optimization.  arXiv:2305.03857.

3. Ruslan Shaydulin, Marco Pistoia.  QAOA with N⋅p ≥ 200.  arXiv:2303.02064.

4. Lucas Slattery, Ruslan Shaydulin, Shouvanik Chakrabarti, Marco Pistoia, Sami Khairy, Stefan M. Wild.  Numerical Evidence against Advantage with Quantum Fidelity Kernels on Classical Data.  arXiv:2211.16551.

5. Tianyi Hao, Ruslan Shaydulin, Marco Pistoia, Jeffrey Larson.  Exploiting In-Constraint Energy in Constrained Variational Quantum Optimization.  arXiv:2211.07016.

6. Chun-Fu Chen, Shaohan Hu, Zhonghao Shi, Prateek Gulati, Bill Moriarty, Marco Pistoia, Vincenzo Piuri, Pierangela Samarati.  MaSS: Multi-attribute Selective Suppression.  arXiv:2210.09904.

7. Shouvanik Chakrabarti, Pierre Minssen, Romina Yalovetzky, Marco Pistoia.  Universal Quantum Speedup for Branch-and-Bound, Branch-and-Cut, and Tree-Search Algorithms.  arXiv:2210.03210.

8. Dylan Herman, Ruslan Shaydulin, Yue Sun, Shouvanik Chakrabarti, Shaohan Hu, Pierre Minssen, Arthur Rattew, Romina Yalovetzky, Marco Pistoia.  Portfolio Optimization via Quantum Zeno Dynamics on a Quantum Processor.  arXiv:2209.15024.

9. Kaiyan Shi, Rebekah Herrman, Ruslan Shaydulin, Shouvanik Chakrabarti, Marco Pistoia, Jeffrey Larson.  Multi-Angle QAOA Does Not Always Need All Its Angles.  arXiv:2209.11839.

10. Pradeep Niroula, Ruslan Shaydulin, Romina Yalovetzky, Pierre Minssen, Dylan Herman, Shaohan Hu, Marco Pistoia.  Constrained Quantum Optimization for Extractive Summarization on a Trapped-ion Quantum Computer.  arXiv:2206.06290.

11. Dylan Herman, Rudy Raymond, Muyuan Li, Nicolas Robles, Antonio Mezzacapo, .Marco Pistoia.  Expressivity of Variational Quantum Machine Learning on the Boolean Cube.  arXiv:2204.05286.

12. Marco Pistoia, Omar Amer, Monik R. Behera, Joseph A. Dolphin, James F. Dynes, Benny John, Paul A. Haigh, Yasushi Kawakura, David H. Kramer, Jeffrey Lyon, Navid Moazzami, Tulasi D. Movva, Antigoni Polychroniadou, Suresh Shetty, Greg Sysak, Farzam Toudeh-Fallah, Sudhir Upadhyay, Robert I. Woodward, Andrew J. Shields.  Paving the Way towards 800 Gbps Quantum-Secured Optical Channel Deployment in Mission-Critical Environments.  arXiv:2202.07764.

13. Dylan A. Herman, Cody Googin, Xiaoyuan Liu, Alexey Galda, Ilya Safro, Yue Sun, Marco Pistoia, Yuri Alexeev.  A Survey of Quantum Computing for Finance.  arXiv:2201.02773.

14. Romina Yalovetzky, Pierre Minssen, Dylan Herman, Marco Pistoia.  NISQ-HHL: Portfolio Optimization for Near-Term Quantum Hardware,  arXiv:2110.15958.

15. Marco Pistoia, Syed Farhan Ahmad, Akshay Ajagekar, Alexander Buts, Shouvanik Chakrabarti, Dylan Herman, Shaohan Hu, Andrew Jena, Pierre Minssen, Pradeep Niroula, Arthur Rattew, Yue Sun, Romina Yalovetzky.  Quantum Machine Learning for Finance.  arXiv:2109.04298.

16. Arthur Rattew, Marco Pistoia.  On the Exponential Sample Complexity of the Quantum State Sign Estimation Problem.  arxiv:2108.03193.

17. Arthur Rattew, Yue Sun, Pierre Minssen, Marco Pistoia.  The Efficient Preparation of Normal Distributions in Quantum Registers.  arXiv:2009.06601.

18. Austin Gilliam, Marco Pistoia, Constantin Gonciulea.  Optimizing Quantum Search with a Binomial Version of Grover’s Algorithm.  arXiv:2007.10894.

19. Austin Gilliam, Marco Pistoia, Constantin Gonciulea.  Canonical Construction of Quantum Oracles.  arXiv:2006.10656.

20. Austin Gilliam, Marco Pistoia, Constantin Gonciulea.  Optimizing Quantum Search Using a Generalized Version of Grover's Algorithm.  arXiv:2005.06468.

21. Arthur G. Rattew, Shaohan Hu, Marco Pistoia, Richard Chen, Steve Wood.  A Domain-agnostic, Noise-resistant, Hardware-efficient Evolutionary Variational Quantum Eigensolver.  arXiv:1910.09694.

22. Kanav Setia, Richard Chen, Julia E. Rice, Antonio Mezzacapo, Marco Pistoia, James Whitfield.  Reducing Qubit Requirements for Quantum Simulation Using Molecular Point Group Symmetries.  arXiv:1910.14644.

23. Pauline J. Ollitrault, Abhinav Kandala, Chun-Fu Chen, Panagiotis Kl. Barkoutsos, Antonio Mezzacapo, Marco Pistoia, Sarah Sheldon, Stefan Woerner, Jay Gambetta, Ivano Tavernelli.  Quantum Equation of Motion for Computing Molecular Excitation Energies on a Noisy Quantum Processor.  arXiv:1910.12890.

24. Qi Gao, Hajime Nakamura, Tanvi P. Gujarati, Gavin O. Jones, Julia E. Rice, Stephen P. Wood, Marco Pistoia, Jeannette M. Garcia, Naoki Yamamoto.  Computational Investigations of the Lithium Superoxide Dimer Rearrangement on Noisy Quantum Devices.  arXiv:1906.10675.

25. Igor Sokolov, Panagiotis Barkoutsos, Donny Greenberg, Pauline Ollitrault, Julia Rice, Marco Pistoia, Ivano Tavernelli.  Quantum Orbital-Optimized Unitary Coupled Cluster Methods in the Strongly Correlated Regime: Can Quantum Algorithms Outperform Their Classical Equivalents?  arXiv:1911.10864.

26. Chun-Fu Chen, Quanfu Fan, Marco Pistoia, and Gwo Giun Lee.  Efficient Fusion of Sparse and Complementary Convolutions.  arXiv:1808.02167.

27. Quanfu Fan, Chun-Fu Chen, Hilde Kuehne, Marco Pistoia, and David Cox.  More Is Less: Learning Efficient Video Representations by Big-Little Network and Depthwise Temporal Aggregation.  arXiv:1912.00869.