☰

T. J. Halloran, Ph.D.

Affiliations: 
2010 Carnegie Mellon University, Pittsburgh, PA 
Area:
Computer Science
Google:
"T. Halloran"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
William L. Scherlis grad student 2010 Carnegie Mellon
 (Analysis-based verification: A programmer-oriented approach to the assurance of mechanical program properties.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Greenhouse A, Halloran TJ, Scherlis WL. (2005) Observations on the assured evolution of concurrent Java programs Science of Computer Programming. 58: 384-411
Greenhouse A, Halloran TJ, Scherlis WL. (2003) Using Eclipse to demonstrate positive static assurance of Java program concurrency design intent Proceedings of the 2003 Oopsla Workshop On Eclipse Technology Exchange, Eclipse '03. 99-103
See more...