Aaron Greenhouse, Ph.D.
Affiliations: | 2003 | Carnegie Mellon University, Pittsburgh, PA |
Area:
Computer ScienceGoogle:
"Aaron Greenhouse"Parents
Sign in to add mentor| William L. Scherlis | grad student | 2003 | Carnegie Mellon | |
| (A programmer-oriented approach to safe concurrency.) | ||||
BETA: Related publications
See more...
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 |
| Greenhouse A, Scherlis WL. (2002) Assuring and evolving concurrent programs: Annotations and policy Proceedings - International Conference On Software Engineering. 453-463 |
| Sutherland DF, Greenhouse A, Scherlis WL. (2002) The code of many colors: Relating threads to code and shared state Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 77-83 |