Geoffrey Sawaya

According to our database, Geoffrey Sawaya authored at least 6 papers between 2009 and 2019.

Collaborative distances:

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

2019

Pruners.

Kento Sato, Ignacio Laguna, Gregory L. Lee, Martin Schulz, Christopher M. Chambreau, Simone Atzeni, Michael Bentley, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Geof Sawaya, Joachim Protze, Dong H. Ahn

Int. J. High Perform. Comput. Appl., 2019

2017

FLiT: Cross-platform floating-point result-consistency tester and workload.

Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, Dong H. Ahn

Proceedings of the 2017 IEEE International Symposium on Workload Characterization, 2017

2015

Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development.

Ganesh Gopalakrishnan, Geof Sawaya

Proceedings of the 1st Workshop on The Science of Cyberinfrastructure, 2015

2012

GKLEE: concolic verification and test generation for GPUs.

Guodong Li, Peng Li, Geoffrey Sawaya, Ganesh Gopalakrishnan, Indradeep Ghosh, Sreeranga P. Rajan

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

2009

Parallel and distributed model checking in Eddy.

Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan

Int. J. Softw. Tools Technol. Transf., 2009

Some resources for teaching concurrency.

Ganesh Gopalakrishnan, Yu Yang, Sarvani S. Vakkalanka, Anh Vo, Sriram Aananthakrishnan, Grzegorz Szubzda, Geoffrey Sawaya, Jason Williams, Subodh Sharma, Michael Delisi, Simone Atzeni

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009