POPL 2007 - PDF Preprint Papers

POPL 2007 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-2007 Paper

104

click to vote

POPL
2007
ACM

196views Programming Languages» more POPL 2007»

Cork: dynamic memory leak detection for garbage-collected languages

15 years 1 months ago

Download www.cs.utexas.edu

A memory leak in a garbage-collected program occurs when the program inadvertently maintains references to objects that it no longer needs. Memory leaks cause systematic heap grow...

Maria Jump, Kathryn S. McKinley

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	196	Cork: dynamic memory leak detection for garbage-collected languages	claim
2	187	Context logic as modal logic: completeness and parametric inexpressivity	claim
3	185	Lightweight fusion by fixed point promotion	claim
4	183	A concurrent constraint handling rules implementation in Haskell with software transactional memory	claim
5	179	PADS/ML: a functional data description language	claim
6	175	Dynamic heap type inference for program understanding and debugging	claim
7	170	JavaScript instrumentation for browser security	claim
8	159	On the analysis of interacting pushdown systems	claim
9	155	Conditional must not aliasing for static race detection	claim
10	150	Cost semantics for space usage in a parallel language	claim
11	149	Modular verification of a non-blocking stack	claim
12	147	Data parallel Haskell: a status report	claim
13	138	A proposal for parallel self-adjusting computation	claim
14	136	Types, bytes, and separation logic	claim
15	135	Locality approximation using time	claim
16	135	Generative unbinding of names	claim
17	129	Program verification as probabilistic inference	claim
18	126	A very modal model of a modern, major, general type system	claim
19	125	Interprocedural analysis of asynchronous programs	claim
20	122	Modular type classes	claim
21	116	Proving that programs eventually do something good	claim
22	116	Scrap your boilerplate with XPath-like combinators	claim
23	116	Logic-flow analysis of higher-order programs	claim
24	113	Lock allocation	claim
25	111	SAC: off-the-shelf support for data-parallelism on multicores	claim
26	110	Manticore: a heterogeneous parallel language	claim
27	110	Operational semantics for multi-language programs	claim
28	109	Extracting queries by static analysis of transparent persistence	claim
29	106	From implementation to theory in product synthesis	claim
30	103	Semantics of static pointcuts in aspectJ	claim
31	103	Lazy multivariate higher-order forward-mode AD	claim
32	102	Implementing deterministic declarative concurrency using sieves	claim
33	102	Secure implementations of typed channel abstractions	claim
34	102	Compositional dynamic test generation	claim
35	101	A semantics-based approach to malware detection	claim
36	99	Towards a mechanized metatheory of standard ML	claim
37	98	Preferential path profiling: compactly numbering interesting paths	claim
38	97	First-class nonstandard interpretations by opening closures	claim
39	96	Variance analyses from invariance analyses	claim
40	96	Geometry of synthesis: a structured approach to VLSI design	claim
41	87	Specialization of CML message-passing primitives	claim
42	79	A typed intermediate language for compiling multiple inheritance	claim
43	78	Assessing security threats of looping constructs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers