Presenter
Thomas Gilray
Biography
Thomas Gilray is an Assistant Professor in the Department of Computer Science at the University
of Alabama at Birmingham. He has worked on fundamental problems in static-analysis design, applications including component verification, program modeling, and strategies for parallel implementations on GPUs and networked clusters. He has contributed to the commercial HP Fortify source-code analyzer. He has worked on parallelizing implementations of sparse linear algebra and relational algebra.
of Alabama at Birmingham. He has worked on fundamental problems in static-analysis design, applications including component verification, program modeling, and strategies for parallel implementations on GPUs and networked clusters. He has contributed to the commercial HP Fortify source-code analyzer. He has worked on parallelizing implementations of sparse linear algebra and relational algebra.
Presentations
