1. Miltiadis Allamanis , Earl T. Barr , Christian Bird , Premkumar T. Devanbu , Mark Marron , and Charles A. Sutton . Mining semantic loop idioms. IEEE Transactions on Software Engineering , 44 , 2018 . Miltiadis Allamanis, Earl T. Barr, Christian Bird, Premkumar T. Devanbu, Mark Marron, and Charles A. Sutton. Mining semantic loop idioms. IEEE Transactions on Software Engineering, 44, 2018.
2. Mining idioms from source code
3. Async/await 2018. https://blogs.msdn.microsoft.com/dsyme/2007/10/10/introducing-f-asynchronous-workflows/. Async/await 2018. https://blogs.msdn.microsoft.com/dsyme/2007/10/10/introducing-f-asynchronous-workflows/.
4. Vaggelis Atlidakis , Patrice Godefroid , and Marina Polishchuk . Restler : Stateful REST API fuzzing . In ICSE , 2019 . Vaggelis Atlidakis, Patrice Godefroid, and Marina Polishchuk. Restler: Stateful REST API fuzzing. In ICSE, 2019.
5. From relational verification to SIMD loop synthesis