John Altidor

According to our database, John Altidor authored at least 4 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2019

Using Binary Analysis Frameworks: The Case for BAP and angr.

Chris Casinghino, J. T. Paasch, Cody Roux, John Altidor, Michael Dixon, Dustin Jamner

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

2014

Refactoring Java generics by inferring wildcards, in practice.

John Altidor, Yannis Smaragdakis

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2012

Java Wildcards Meet Definition-Site Variance.

John Altidor, Christoph Reichenbach, Yannis Smaragdakis

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Taming the wildcards: combining definition- and use-site variance.

John Altidor, Shan Shan Huang, Yannis Smaragdakis

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011