Type inference methods based on deep learning are becoming increasingly
...
Transformer networks such as CodeBERT already achieve outstanding result...
Optional type annotations allow for enriching dynamic programming langua...
Automatic vulnerability detection on C/C++ source code has benefitted fr...