@inproceedings{shi2022infer,
author = {Shi, Xin and Liu, Xiaoyu and Jin, Matthew and Sundaresan, Neel},
title = {Infer#’s journey to bring Infer to the .NET world},
booktitle = {PLDI 2022},
year = {2022},
month = {June},
abstract = {Inter-procedural static analysis is almost nonexistent in the .NET space. By leveraging Infer’s capabilities, Microsoft’s Infer# fills such gap. With close collaboration with Meta, we have made tremendous progress in terms of analysis quality and performance for .NET languages such as C#, while contributing key innovations back to the Infer community. We will go through the fundamental design and architecture of Infer# which made this possible. In addition, we will share some user stories at Microsoft about how Infer# helped teams identify hard-to-find issues which caused service degradation and disruption.},
url = {http://approjects.co.za/?big=en-us/research/publication/infers-journey-to-bring-infer-to-the-net-world/},
}