S. Aditya and A. Caro, Compiler-directed type reconstruction for polymorphic languages, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, pp.74-82, 1993.
DOI : 10.1145/165180.165192

E. Aftandilian and S. Z. Guyer, Gc assertions : using the garbage collector to check heap properties, Proceedings of the 2008 ACM SIGPLAN (ASPLOS '08), MSPC '08, pp.36-40, 2008.

A. Aiken, M. Fähndrich, and R. Levien, Better static memory management, ACM SIGPLAN Notices, vol.30, issue.6, pp.174-185, 1995.
DOI : 10.1145/223428.207137

A. W. Appel, Simple generational garbage collection and fast allocation, Software: Practice and Experience, vol.18, issue.2, pp.171-183, 1989.
DOI : 10.1002/spe.4380190206

M. Arnold, M. Vechev, and E. Yahav, QVM, ACM SIGPLAN Notices, vol.43, issue.10, pp.143-162, 2008.
DOI : 10.1145/1449955.1449776

J. L. Baer and M. Fries, On the efficiency of some list marking algorithms, pp.751-756, 1977.

C. Bailey, From java code to java heap, p.2012

C. Bailey, A. Johnson, and K. Grigorenko, Debugging from dumps, diagnose more than memory leaks with memory analyzer, 2011.

C. Barrett, A. Stump, and C. Tinelli, The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org, 2010. [17] Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '96, pp.171-183, 1996.

M. Stephen, R. Blackburn, C. Garner, A. M. Hoffmann, K. S. Khang et al., The dacapo benchmarks : Java benchmarking development and analysis. SIGPLAN Not, pp.41169-190, 2006.

B. Blanchet, Escape analysis, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.25-37, 1998.
DOI : 10.1145/268946.268949

D. Michael, K. S. Bond, and . Mckinley, Bell : bit-encoding online memory leak detection, SIGPLAN Not, vol.41, pp.61-72, 2006.

C. Bozman, M. Mauny, F. L. Fessant, and T. Gazagnaire, Study of ocaml programs' memory behavior. OCaml Users and Developers, 2012.

C. Bozman, M. Mauny, F. L. Fessant, and T. Gazagnaire, Profiling the memory usage of ocaml applications without changing their behavior, 2013.

Ç. Bozman, G. Henry, and M. Iguernelala, Fabrice Le Fessant, and Michel Mauny. ocp-memprof : un profileur mémoire pour OCaml, JFLA, 2015.

S. Cherem and R. Rugina, Region analysis and transformation for Java programs, Proceedings of the 4th international symposium on Memory management , ISMM '04, pp.85-96, 2004.
DOI : 10.1145/1029873.1029884

A. E. Chis, N. Mitchell, E. Schonberg, G. Sevitsky, O. Patrick et al., Patterns of Memory Inefficiency, Proceedings of the 25th European conference on Object-oriented programming, pp.383-407, 2011.
DOI : 10.1109/MS.2010.7

A. E. Chis, N. Mitchell, E. Schonberg, G. Sevitsky, O. Patrick et al., Patterns of Memory Inefficiency, ECOOP, pp.383-407, 2011.
DOI : 10.1109/MS.2010.7

J. Clause and A. Orso, LEAKPOINT, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.515-524, 2010.
DOI : 10.1145/1806799.1806874

J. Sylvain-conchon, F. L. Filliâtre, J. Fessant, G. V. Robert, and . Tokarski, Observation temps-réel de programmes Caml, 2010.

A. Sylvain-conchon, S. Goel, A. Krstic, F. Mebsout, and . Zaïdi, Cubicle : A parallel smt-based model checker for parameterized systems -tool paper, CAV, pp.718-724, 2012.

P. Cuoq and D. Doligez, Hashconsing in an incrementally garbagecollected system : a story of weak pointers and hashconsing in ocaml 3.10.2, Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML '08, pp.13-22, 2008.

K. D. Cooper, T. J. Harvey, and K. K. , A simple, fast dominance algorithm, 2001.

. Bjorn-de, L. Sutter, K. Van-put, and . De-bosschere, A practical interprocedural dominance algorithm, ACM Trans. Program. Lang. Syst, vol.29, issue.4, 2007.

A. Demers, M. Weiser, B. Hayes, H. Boehm, D. Bobrow et al., Combining generational and conservative garbage collection: framework and implementations, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.261-269, 1990.
DOI : 10.1145/96709.96735

D. Google-chrome, Profiling memory performance

A. Diwan, D. Tarditi, and E. Moss, Memory subsystem performance of programs using copying garbage collection, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.1-14, 1994.
DOI : 10.1145/174675.174710

D. Doligez, Conception, réalisation et certification d'un glaneur de cellules concurrent, 1995.

D. Doligez and G. Gonthier, Portable, unobtrusive garbage collection for multiprocessor systems, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.70-83, 1994.
DOI : 10.1145/174675.174673

D. Doligez and X. Leroy, A concurrent, generational garbage collector for a multithreaded implementation of ML, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.113-123, 1993.
DOI : 10.1145/158511.158611
URL : https://hal.archives-ouvertes.fr/hal-01499969

T. Domani, E. K. Kolodner, and E. Petrank, A generational on-the-fly garbage collector for java. SIGPLAN Not [40] ej-technologies GmbH. Jprofiler, pp.274-284, 2000.

A. David and . Fisher, Copying cyclic list structures in linear time using bounded workspace, Commun. ACM, vol.18, issue.5, pp.251-252, 1975.

D. Gay and A. Aiken, Memory management with explicit regions, ACM SIGPLAN Notices, vol.33, issue.5, pp.313-323, 1998.
DOI : 10.1145/277652.277748

S. L. Graham, P. B. Kessler, and M. K. Mckusick, Gprof, ACM SIGPLAN Notices, vol.17, issue.6, pp.120-126, 1982.
DOI : 10.1145/872726.806987

D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang et al., Region-based memory management in cyclone, ACM SIGPLAN Notices, vol.37, issue.5, pp.282-293, 2002.
DOI : 10.1145/543552.512563

B. K. Haddon and W. M. Waite, A Compaction Procedure for Variable-Length Storage Elements, The Computer Journal, vol.10, issue.2, pp.10-12, 1967.
DOI : 10.1093/comjnl/10.2.162

F. Henglein, H. Makholm, and H. Niss, A direct approach to controlflow sensitive region-based memory management, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming , PPDP '01, pp.175-186, 2001.

G. Henry, M. Mauny, E. Chailloux, and P. Manoury, Typing unmarshalling without marshalling types, ICFP, pp.287-298, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01282253

P. Hudak, J. Hughes, S. P. Jones, and P. Wadler, A history of Haskell, Proceedings of the third ACM SIGPLAN conference on History of programming languages , HOPL III, pp.1-55, 2007.
DOI : 10.1145/1238844.1238856

R. Jones, Garbage Collection : Algorithms for Automatic Dynamic Memory Management, 1996.

M. Jump and K. S. Mckinley, Cork, ACM SIGPLAN Notices, vol.42, issue.1, pp.31-38, 2007.
DOI : 10.1145/1190215.1190224

T. Kurokawa, A new fast and safe marking algorithm, Lisp Bull, issue.3, pp.9-35, 1979.

T. Gary, K. Leavens, M. Rustan, E. Leino, C. Poll et al., Jml : notations and tools supporting detailed design in java, OOPSLA 2000 COMPANION, pp.105-106, 2000.

Y. Levanoni and E. Petrank, An on-the-fly reference-counting garbage collector for java, ACM Transactions on Programming Languages and Systems, vol.28, issue.1, pp.1-69, 2006.
DOI : 10.1145/1111596.1111597

C. Lin and T. Hou, A Lightweight Cyclic Reference Counting Algorithm, Advances in Grid and Pervasive Computing, pp.346-359, 2006.
DOI : 10.1007/11745693_35

S. Marlow and S. P. Jones, The new ghc/hugs runtime system, 1998.

J. Mccarthy, Recursive functions symbolic expressions and their computation by machine, Part I, Communications of the ACM, vol.3, issue.4, pp.184-195, 1960.
DOI : 10.1145/367177.367199

N. Mitchell, Leakbot : An automated and lightweight tool for diagnosing memory for diagnosing memory leaks in large applications, 2003.

D. A. Moon, Garbage collection in a large LISP system, Proceedings of the 1984 ACM Symposium on LISP and functional programming , LFP '84, pp.235-246, 1984.
DOI : 10.1145/800055.802040

G. Morrisett, M. Felleisen, and R. Harper, Abstract models of memory management, Proceedings of the seventh international conference on Functional programming languages and computer architecture , FPCA '95, pp.66-77, 1995.
DOI : 10.1145/224164.224182

A. Mycroft, Polymorphic type schemes and recursive definitions, Proceedings of the 6th Colloquium on International Symposium on Programming, pp.217-228, 1984.
DOI : 10.1007/3-540-12925-1_41

. Ocamlpro, Try ocaml in your browser

O. Bryan, J. Sullivan, D. Goerzen, and . Stewart, Real World Haskell, 2008.

W. De, P. , and G. Sevitsky, Visualizing reference patterns for solving memory leaks in java, Proceedings of the 13th European Conference on Object- Oriented Programming, ECOOP '99, pp.116-134, 1999.

Q. Phan and G. Janssens, Path-sensitive region analysis for mercury programs, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.161-170, 2009.
DOI : 10.1145/1599410.1599431

C. Queinnec, B. Beaudoing, and J. Queille, Mark DURING sweep rather than mark THEN sweep, Proceedings of the Parallel Architectures and Languages Europe, Volume I : Parallel Architectures, PARLE '89, pp.224-237, 1989.
DOI : 10.1007/3540512845_42

C. Reichenbach, N. Immerman, Y. Smaragdakis, E. E. Aftandilian, and S. Z. Guyer, What can the GC compute efficiently?, ACM SIGPLAN Notices, vol.45, issue.10, pp.256-269, 2010.
DOI : 10.1145/1932682.1869482

C. Runciman and D. Wakeling, Abstract, Journal of Functional Programming, vol.3, issue.02, pp.217-245, 1993.
DOI : 10.1002/spe.4380170904

N. Röjemo and C. Runciman, Lag, drag, void and use---heap profiling and space-efficient compilation revisited, ACM SIGPLAN Notices, vol.31, issue.6, pp.34-41, 1996.
DOI : 10.1145/232629.232633

M. Serrano, Bee: an integrated development environment for the Scheme programming language, Journal of Functional Programming, vol.10, issue.4, pp.353-395, 2000.
DOI : 10.1017/S0956796800003725

M. Serrano and H. Boehm, Understanding memory allocation of scheme programs, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, ICFP '00, pp.245-256, 2000.

R. Shaham, E. K. Kolodner, and S. Sagiv, Automatic Removal of Array Memory Leaks in Java, Proceedings of the 9th International Conference on Compiler Construction, CC '00, pp.50-66, 2000.
DOI : 10.1007/3-540-46423-9_4

M. Shapiro, P. Dickman, and D. Plainfossé, SSP chains : robust, distributed references supporting acyclic garbage collection, Projet SOR, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00074876

M. Shinwell, Allocation profiling for x86-64 native code, 2013.

J. Sparud, Fixing some space leaks without a garbage collector, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, pp.117-122, 1993.
DOI : 10.1145/165180.165196

B. Steensgaard, Points-to analysis in almost linear time, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.32-41, 1996.
DOI : 10.1145/237721.237727

T. Kurokawa, New Marking Algorithms for Garbage Collection, Proc. of 2nd. USA-JAPAN Computer Conference, 1975.

M. Tofte and L. Birkedal, A region inference algorithm, ACM Transactions on Programming Languages and Systems, vol.20, issue.4, pp.724-767, 1998.
DOI : 10.1145/291891.291894

M. Tofte and J. Talpin, Implementation of the typed call-by-value lambda-calculus using a stack of regions, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '94, pp.188-201, 1994.

M. Tofte and J. Talpin, Region-Based Memory Management, Information and Computation, vol.132, issue.2, pp.109-176, 1997.
DOI : 10.1006/inco.1996.2613

D. Ungar, Generation Scavenging, ACM SIGPLAN Notices, vol.19, issue.5, pp.157-167, 1984.
DOI : 10.1145/390011.808261

D. Ungar and F. Jackson, Tenuring policies for generation-based storage reclamation, ACM SIGPLAN Notices, vol.23, issue.11, pp.1-17, 1988.
DOI : 10.1145/62084.62085

M. Vechev, E. Yahav, and G. Yorsh, PHALANX, Proceedings of the 2010 international symposium on Memory management, ISMM '10, pp.41-50, 2010.
DOI : 10.1145/1806651.1806658

J. Vouillon and V. Balat, From bytecode to JavaScript: the Js_of_ocaml compiler, Software: Practice and Experience, vol.26, issue.4
DOI : 10.1002/spe.2187
URL : https://hal.archives-ouvertes.fr/hal-00826786

P. Wadler, Fixing some space leaks with a garbage collector, Software: Practice and Experience, vol.9, issue.9, pp.595-608, 1987.
DOI : 10.1002/spe.4380170904

E. P. Wentworth, Pitfalls of conservative garbage collection, Software: Practice and Experience, vol.19, issue.7, pp.719-727, 1990.
DOI : 10.1002/spe.4380200707

P. R. Wilson, A simple bucket-brigade advancement mechanism for generation-bases garbage collection, ACM SIGPLAN Notices, vol.24, issue.5, pp.38-46, 1989.
DOI : 10.1145/66068.66070

R. Paul and . Wilson, Uniprocessor garbage collection techniques, Proceedings of the International Workshop on Memory Management, IWMM '92, pp.1-42, 1992.

G. Xu, M. D. Bond, F. Qin, and A. Rountev, LeakChaser, ACM SIGPLAN Notices, vol.46, issue.6, pp.270-282, 2011.
DOI : 10.1145/1993316.1993530

G. Xu, M. D. Bond, F. Qin, and A. Rountev, Leakchaser : helping programmers narrow down causes of memory leaks, Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, PLDI '11, pp.270-282, 2011.

G. Xu and A. Rountev, Precise memory leak detection for java software using container profiling, Proceedings of the 30th international conference on Software engineering, ICSE '08, pp.151-160, 2008.

G. Xu and A. Rountev, Detecting inefficiently-used containers to avoid bloat, ACM SIGPLAN Notices, vol.45, issue.6, pp.160-173, 2010.
DOI : 10.1145/1809028.1806616