Taming the wildcards: combining definition- and use-site variance. - John Altidor; Shan Shan Huang; Yannis Smaragdakis (PLDI, 2011)

Java Wildcards Meet Definition-Site Variance. - John Altidor; Christoph Reichenbach; Yannis Smaragdakis (ECOOP, 2012)

Refactoring Java generics by inferring wildcards, in practice. - John Altidor; Yannis Smaragdakis (OOPSLA, 2014)

Using Binary Analysis Frameworks: The Case for BAP and angr. - Chris Casinghino; J. T. Paasch; Cody Roux; John Altidor; Michael Dixon; Dustin Jamner (NFM, 2019)