Samuel Guyer
Affiliations: | Computer Science | Tufts University, Boston |
Area:
Computer ScienceWebsite:
https://engineering.tufts.edu/cs/people/faculty/samuel-guyerGoogle:
"Samuel Guyer"Parents
Sign in to add mentor| Calvin Lin | grad student | 2003 | UT Austin (E-Tree) | |
| (Incorporating domain-specific information into the compilation process.) | ||||
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. |
| Livshits B, Sridharan M, Smaragdakis Y, et al. (2015) In defense of soundiness: A manifesto Communications of the Acm. 58: 44-46 |
| Kelley S, Aftandilian E, Gramazio C, et al. (2013) Heapviz: Interactive heap visualization for program understanding and debugging Information Visualization. 12: 163-177 |
| Ricci NP, Guyer SZ, Moss JEB. (2013) Elephant tracks: Portable production of complete and precise GC traces International Symposium On Memory Management, Ismm. 109-118 |
| Veroy RL, Ricci NP, Guyer SZ. (2013) Visualizing the allocation and death of objects 2013 1st Ieee Working Conference On Software Visualization - Proceedings of Vissoft 2013 |
| Sewe A, Mezini M, Sarimbekov A, et al. (2012) New Scala() instanceof Java: A comparison of the memory behaviour of Java and Scala programs Acm Sigplan Notices. 47: 97-108 |
| Sewe A, Mezini M, Sarimbekov A, et al. (2012) New scala() instance of java: A comparison of the memory behaviour of java and scala programs International Symposium On Memory Management, Ismm. 97-108 |
| Ricci NP, Guyer SZ, Moss JEB. (2011) Tool demonstration: Elephant tracks-generating program traces with object death records Proceedings of the 9th International Conference On the Principles and Practice of Programming in Java, Pppj 2011. 139-142 |
| Aftandilian EE, Guyer SZ, Vechev M, et al. (2011) Asynchronous assertions Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 275-288 |
| Reichenbach C, Immerman N, Smaragdakis Y, et al. (2010) What can the GC compute efficiently? A language for heap assertions at GC time Acm Sigplan Notices. 45: 256-269 |
| Reichenbach C, Immerman N, Smaragdakis Y, et al. (2010) What can the GC compute efficiently?: A language for heap assertions at GC time Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 256-269 |