Jeffrey Overbey

According to our database1, Jeffrey Overbey authored at least 22 papers between 2005 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2016
Differential precondition checking: a language-independent, reusable analysis for refactoring engines.
Autom. Softw. Eng., 2016

From OpenACC to OpenMP 4: Toward Automatic Translation.
Proceedings of the XSEDE16 Conference on Diversity, 2016

Understanding and fixing multiple language interoperability issues: the C/Fortran case.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Refactoring Myths.
IEEE Softw., 2015

Autotuning OpenACC work distribution via direct search.
Proceedings of the 2015 XSEDE Conference: Scientific Advancements Enabled by Enhanced Cyberinfrastructure, St. Louis, MO, USA, July 26, 2015

2014
A foundation for refactoring C with macros.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Climate models: challenges for Fortran development tools.
Proceedings of the 2nd International workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2014

2013
ForOpenCL: transformations exploiting array syntax in Fortran for accelerator programming.
Int. J. Comput. Sci. Eng., 2013

OpenRefactory/C: an infrastructure for building correct and complex C transformations.
Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013

Systematic Testing of Refactoring Engines on Real Software Projects.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
The Eclipse parallel tools platform: toward an integrated development environment for XSEDE resources.
Proceedings of the 1st Conference of the Extreme Science and Engineering Discovery Environment, 2012

OpenRefactory/C: an infrastructure for developing program transformations for C programs.
Proceedings of the SPLASH'12, 2012

2011
A toolkit for constructing refactoring engines
PhD thesis, 2011

Differential precondition checking: A lightweight, reusable analysis for refactoring tools.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009
Regrowing a language: refactoring tools allow programming languages to evolve.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A type and effect system for deterministic parallel Java.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Inferring Method Effect Summaries for Nested Heap Regions.
Proceedings of the ASE 2009, 2009

Refactoring and the evolution of Fortran.
Proceedings of the ICSE Workshop on Software Engineering for Computational Science and Engineering, 2009

2008
Generating Rewritable Abstract Syntax Trees.
Proceedings of the Software Language Engineering, First International Conference, 2008

2006
Young guns/object orientation: the next generation.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
On the Keyspace of the Hill Cipher.
Cryptologia, 2005

Instant IDEs: supporting new languages in the CDT.
Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005


  Loading...