Andrew Craik

According to our database, Andrew Craik authored at least 7 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

U can't inline this!

Erick Ochoa, Cijie Xia, Karim Ali, Andrew Craik, José Nelson Amaral

Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

Hotfixing misuses of crypto APIs in Java programs.

Kristen Newbury, Karim Ali, Andrew Craik

Proceedings of the CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 22, 2021

2018

The best of IBM innovation: advancements through overcoming technological uncertainties.

Jerrold Landau, Perry Fuller, Shawn Robertson, Babneet Singh, John Matta, Nick Schofield, Andrew Craik, Igor Todorovski

Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018

2017

Compiler-driven performance.

Karim Ali, Andrew Craik, Bardia Mahjour, Gregor Richards

Proceedings of the 27th Annual International Conference on Computer Science and Software Engineering, 2017

2011

Static deep error checking in large system applications using parfait.

Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Andrew Browne, Jacob Zimmermann, Andrew Craik, Douglas Teoh, Christian Hoermann

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010

Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs.

Andrew Craik, Wayne Kelly

Proceedings of the Compiler Construction, 19th International Conference, 2010

2008

Reasoning about inherent parallelism in modern object-oriented languages.

Wayne Reid, Wayne Kelly, Andrew Craik

Proceedings of the Computer Science 2008, 2008