PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Guyer, Samuel Z."

Author of the publication

copydeleteadd this publication to your clipboard
In defense of soundiness: a manifesto.

, , , , , , , , , and . Commun. ACM, 58 (2): 44-46 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samuel Beck University of Stuttgart

Every Thing Can Be a Hero! Narrative Visualization of Person, Object, and Other Biographies, , , , , and . Informatics, (2024)

Samuel Morgan University of Stuttgart

Samuel Kaufmann University of Stuttgart

Samuel Pilch University of Stuttgart

Samuel Leder University of Stuttgart

 

Other publications of authors with the same name

Visualizing the allocation and death of objects., , and . VISSOFT, page 1-4. IEEE Computer Society, (2013)Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers., , and . CC, volume 3923 of Lecture Notes in Computer Science, page 17-31. Springer, (2006)Iceberg: a tool for static analysis of Java critical sections., and . SOAP@PLDI, page 7-12. ACM, (2016)Client-Driven Pointer Analysis., and . SAS, volume 2694 of Lecture Notes in Computer Science, page 214-236. Springer, (2003)What can the GC compute efficiently?: a language for heap assertions at GC time., , , , and . OOPSLA, page 256-269. ACM, (2010)Error checking with client-driven pointer analysis., and . Sci. Comput. Program., 58 (1-2): 83-114 (2005)Prioritized garbage collection: explicit GC support for software caches., , and . OOPSLA, page 695-710. ACM, (2016)Critical Section Investigator: Building Story Visualizations with Program Traces., and . VISSOFT, page 136-140. IEEE Computer Society, (2016)Optimizing the Use of High Performance Software Libraries., and . LCPC, volume 2017 of Lecture Notes in Computer Science, page 227-243. Springer, (2000)GC assertions: using the garbage collector to check heap properties., and . MSPC, page 36-40. ACM, (2008)