Static Analysis for AWS Best Practices in Python Code

Design patterns: Abstraction and reuse of object-oriented design

Erich Gamma, Richard Helm, Ralph E. Johnson, and John M. Vlissides · 1993

Earlier work this paper cites.

Fast static analysis of C++ virtual function calls

David F. Bacon and Peter F. Sweeney · 1996

Earlier work this paper cites.

A framework for call graph construction algorithms

David Grove and Craig Chambers · 2001

Earlier work this paper cites.

Starkiller : a static type inferencer and compiler for Python

Michael Salib · 2004

Earlier work this paper cites.

RPython: a step towards reconciling dynamically and statically typed OO languages

Davide Ancona, Massimo Ancona, Antonio Cuni, and Nicholas D. Matsakis · 2007

Earlier work this paper cites.

An executable operational semantics for Python

Gideon Joachim Smeding · 2008

Earlier work this paper cites.

Python: the full monty

Joe Gibbs Politz, Alejandro Martinez, Matthew Milano, Sumner Warren, Daniel Patterson, Junsong Li, Anand Chitipothu, and Shriram Krishnamurthi · 2013

Earlier work this paper cites.

Design and evaluation of gradual typing for python

Michael M. Vitousek, Andrew M. Kent, Jeremy G. Siek, and Jim Baker · 2014

Earlier work this paper cites.

Predicting program properties from ”big code”

Veselin Raychev, Martin T. Vechev, and Andreas Krause · 2015

Earlier work this paper cites.

Tensorflow: A system for large-scale machine learning

Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek Gordon Murray, Benoit Steiner, Paul A. Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng · 2016

Earlier work this paper cites.

Python probabilistic type inference with natural language support

Zhaogui Xu, Xiangyu Zhang, Lin Chen, Kexin Pei, and Baowen Xu · 2016

Cited alongside, same era.

Cost versus precision for approximate typing for Python

Levin Fritz and Jurriaan Hage · 2017

Cited alongside, same era.

A systematic evaluation of static API-misuse detectors

Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, and Mira Mezini · 2018

Cited alongside, same era.

Ariadne: analysis for machine learning programs

Julian Dolby, Avraham Shinnar, Allison Allain, and Jenna M. Reinen · 2018

Cited alongside, same era.

Static value analysis of Python programs by abstract interpretation

Aymeric Fromherz, Abdelraouf Ouadjaout, and Antoine Miné · 2018

Cited alongside, same era.

MaxSMT-based type inference for Python 3

Mostafa Hassan, Caterina Urban, Marco Eilers, and Peter Müller · 2018

Cited alongside, same era.

Static type analysis by abstract interpretation of Python programs

Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné · 2020

Later among the works it cites.

TypeWriter: neural type prediction with search-based validation

Michael Pradel, Georgios Gousios, Jason Liu, and Satish Chandra · 2020

Later among the works it cites.

LambdaNet: Probabilistic type inference using graph neural networks

Jiayi Wei, Maruth Goyal, Greg Durrett, and Isil Dillig · 2020

Later among the works it cites.

PYInfer: Deep learning semantic type inference for Python variables

Original

Siwei Cui, Gang Zhao, Zeyu Dai, Luochao Wang, Ruihong Huang, and Jeff Huang · 2021

Later among the works it cites.

mypy_boto3_builder: Type annotations builder for boto3 compatible with VSCode, PyCharm, Emacs, Sublime Text, pyright and mypy [online]

Vlad Emelianov · 2021

Later among the works it cites.