Oukseh Lee, Hongseok Yang, Kwangkeun Yi  Home/Search
Context Related
| ropas.kaist.ac.kr/~...03sasleyayi.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ropas.kaist.ac.kr/~kwang...papers (more) Homepages: O.Lee |
Rate this article:      (best)Comment on this article |
Abstract: We present a static analysis that estimates reusable memory cells and a source-level transformation that adds explicit memory-reuse commands into the program text. For benchmark ML programs, our analysis and transformation achieves the memory reuse ratio from 5.2% to 91.3%. The small-ratio cases are for programs that have too prevalent sharings among memory cells. For other cases, our experimental results are encouraging in terms of accuracy and cost. Major features of our analysis are: (1)... (Update)
Cited by: More
Experiments on the Effectiveness of an Automatic Insertion of.. - Lee, Yi (2004) (Correct)
lfd_infer: an Implementation of a Static Inference on Heap Space.. - Jost (2004) (Correct)
Active bibliography (related documents): More All
1.5: Inserting Safe Memory Reuse Commands into ML-like Programs - Lee, Yang, Yi (2003) (Correct)
0.2: Dynamic C++ Classes - A lightweight mechanism to update.. - Hjálmtysson, Gray (Correct)
0.2: Stack Allocating Objects in Java (Extended Abstract) - Gay, Steensgaard (Correct)
Similar documents based on text: More All
0.3: Modularizing kCFA Makes It Polyvariant - Lee, Yi (Correct)
0.3: A Generalized Let-Polymorphic Type Inference Algorithm - Lee, Yi (2000) (Correct)
0.3: Proofs about a Folklore Let-Polymorphic Type Inference Algorithm - Lee, Yi (1998) (Correct)
Related documents from co-citation: More All
2: Another type system for in-place update - Aspinall, Hofmann - 2002
2: Quasi-Linear Types - Kobayashi - 1999
2: Programming with regions in the ML kit - Tofte, Birkedal et al. - 1997
BibTeX entry: (Update)
O. Lee, H. Yang, and K. Yi. Inserting safe memory reuse commands into ml-like programs. In Proceedings of the Annual International Static Analysis Symposium, volume 2694 of Lecture Notes in Computer Science, pages 171--188, San Diego, California, June 2003. Springer-Verlag. http://citeseer.ist.psu.edu/lee03inserting.html More
@inproceedings{ lee03inserting,
author = "Oukseh Lee and Hongseok Yang and Kwangkeun Yi",
title = "Inserting safe memory reuse commands into {ML}--like programs",
booktitle = "Proceedings of the Annual International Static Analysis Symposium",
volume = "2694",
series = "Lecture Notes in Computer Science",
pages = "171--188",
address = "San Diego, California",
month = jun,
publisher = "Springer-Verlag",
year = "2003",
url = "citeseer.ist.psu.edu/lee03inserting.html" }
Citations (may not include all citations):188 Region-based memory management - Tofte, Talpin - 1997
184 Linear types can change the world - Wadler - 1990
138 Typed closure conversion - Minamide, Morrisett et al. - 1996
117 Typed memory management in a calculus of capabilities - Crary, Walker et al. - 1999
111 Separation logic: A logic for shared mutable data structures - Reynolds - 2002
110 BI as an assertion language for mutable data structures - Ishtiaq, O'Hearn - 2001
88 Implementation of the typed call-by-value #-calculus using a.. (context) - Tofte, Talpin - 1994
82 Alias types for recursive data structures - Walker, Morrisett - 2000
81 Once upon a type - Turner, Wadler et al. - 1995
70 Region-based memory management in Cyclone - Grossman, Morrisett et al. - 2002
54 Programming with regions in the ML Kit - Tofte, Birkedal et al. - 2002
53 Quasi-linear types - Kobayashi - 1999
51 and Greg Morrisett (context) - Smith, Walker - 2000
45 Language support for regions - Gay, Aiken - 2001
36 ACM Transactions on Programming Languages and Systems (context) - Tofte, Birkedal et al. - 1998
34 Uniqueness typing for functional languages with graph rewrit.. - Barendsen, Smetsers - 1995
33 The interprocedural analysis and automatic parallelization o.. (context) - Williams - 1989
23 Local reasoning about programs that alter data structures - O'Hearn, Reynolds et al. - 2001
17 Institut National de Recherche en Informatique et en Automat.. (context) - Leroy, Doligez et al. - 2001
11 Interprocedural compatibility analysis for static object pre.. - Gheorghioiu, Salcianu et al. - 2003
9 Another type system for in-place update - Aspinall, Hofmann - 2002
7 Lucent Technologies (context) - ML, Jersey et al. - 2000
5 implementation and experimental results (context) - Blanchet, Correctness - 1998
4 cient compile-time garbage collection for arbitrary data str.. (context) - Mohnen - 1995
3 A correctness proof on an algorithm to insert safe memory re.. (context) - Lee - 2003
3 Korea Advanced Institute of Science and Technology (context) - language, version et al. - 2002
Documents on the same site (http://ropas.kaist.ac.kr/~kwang/papers.html): More
SUIF Program Analysis Using System Z2 - Kim, Yi, Eo, Choe (Correct)
Efficient Computation of Fixpoints that Arise in.. - Chen.. (Correct)
Assessing the Overhead of ML Exceptions by Selective CPS.. - Kim, Yi, Danvy (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC