Client-driven pointer analysis von Guyer, Samuel Z., Lin, Calvin

Volltext

Error checking with client-driven pointer analysis von Guyer, Samuel Z., Lin, Calvin

Volltext

Heapviz: Interactive heap visualization for program understanding and debugging von Kelley, Sean, Aftandilian, Edward, Gramazio, Connor, Ricci, Nathan, Su, Sara L., Guyer, Samuel Z.

Volltext

Permchecker: a toolchain for debugging memory managers with typestate von Cronburg, Karl, Guyer, Samuel Z.

Volltext

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers von Tok, Teck Bok, Guyer, Samuel Z., Lin, Calvin

Volltext

The DaCapo benchmarks:java benchmarking development and analysis von Blackburn, Stephen M, Garner, Robin, Hoffmann, Chris, Khang, Asjad M, McKinley, Kathryn S, Bentzur, Rotem, Diwan, Amer, Feinberg, Daniel, Frampton, Daniel, Guyer, Samuel Z, Hirzel, Martin, Hosking, Antony, Jump, Maria, Lee, Han, Moss, J Eliot B, Moss, B, Phansalkar, Aashish, Stefanovi, Darko, Vandrunen, Thomas

Volltext

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries von Guyer, S.Z., Lin, C.

Volltext

What can the GC compute efficiently?: a language for heap assertions at GC time von Reichenbach, Christoph, Immerman, Neil, Smaragdakis, Yannis, Aftandilian, Edward E., Guyer, Samuel Z.

Volltext

Asynchronous assertions von Aftandilian, Edward E., Guyer, Samuel Z., Vechev, Martin, Yahav, Eran

Volltext

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses von Bond, Michael D., Baker, Graham Z., Guyer, Samuel Z.

Volltext

Broadway: A compiler for exploiting the domain-specific semantics of software libraries: Program generation, optimization, and platform adaptation von GUYER, Samuel Z, LIN, Calvin

Volltext

Juniper: A Functional Reactive Programming Language for the Arduino von Helbling, Caleb, Guyer, Samuel Z

Volltext

Floorplan: Spatial Layout in Memory Management Systems von Cronburg, Karl, Guyer, Samuel Z

Volltext bestellen

Optimizing the Use of High Performance Software Libraries von Guyer, Samuel Z., Lin, Calvin

Volltext

Client-Driven Pointer Analysis von Guyer, Samuel Z., Lin, Calvin

Volltext

Session details: Keynote address I von Guyer, Samuel Z.

Volltext

Tracking bad apples: reporting the origin of null and undefined value errors von Bond, Michael D., Nethercote, Nicholas, Kent, Stephen W., Guyer, Samuel Z., McKinley, Kathryn S.

Volltext

The DaCapo benchmarks: java benchmarking development and analysis von Blackburn, Stephen M., Garner, Robin, Hoffmann, Chris, Khang, Asjad M., McKinley, Kathryn S., Bentzur, Rotem, Diwan, Amer, Feinberg, Daniel, Frampton, Daniel, Guyer, Samuel Z., Hirzel, Martin, Hosking, Antony, Jump, Maria, Lee, Han, Moss, J. Eliot B., Phansalkar, Aashish, Stefanović, Darko, VanDrunen, Thomas, von Dincklage, Daniel, Wiedermann, Ben

Volltext

Free-Me:a static analysis for automatic individual object reclamation von Guyer, Samuel Z, McKinley, Kathryn S, Frampton, Daniel

Volltext

Floorplan: Spatial Layout in Memory Management Systems von Cronburg, Karl, Guyer, Samuel Z

Volltext