{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:04Z","timestamp":1750307944455,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,2]],"date-time":"2007-10-02T00:00:00Z","timestamp":1191283200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,2]]},"DOI":"10.1145\/1292535.1292545","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"59-70","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Status report"],"prefix":"10.1145","author":[{"given":"Jean-Vincent","family":"Loddo","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique de l'Universi\u00e9 Paris Nord, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Saiu","sequence":"additional","affiliation":[{"name":"Laboratoire d'Informatique de l'Universit\u00e9 Paris Nord, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Structure and Interpretation of Computer Programs","author":"ABELSON H.","year":"1996","unstructured":"ABELSON , H. , AND SUSSMAN , G. J. Structure and Interpretation of Computer Programs , 2 nd ed. The MIT Press , Cambridge, Massachusetts , July 1996 . ABELSON, H., AND SUSSMAN, G. J. Structure and Interpretation of Computer Programs, 2nd ed. The MIT Press, Cambridge, Massachusetts, July 1996.","edition":"2"},{"key":"e_1_3_2_1_2_1","volume-title":"The Hitch Hiker's Guide to the Galaxy","author":"ADAMS D.","year":"1979","unstructured":"ADAMS , D. The Hitch Hiker's Guide to the Galaxy . Pan Books , London , 1979 . ADAMS, D. The Hitch Hiker's Guide to the Galaxy. Pan Books, London, 1979."},{"key":"e_1_3_2_1_3_1","unstructured":"AT&T LABS. Graphviz - open source graph drawing software. URL: http:\/\/www.research.att.com\/sw\/tools\/graphviz\/.  AT&T LABS. Graphviz - open source graph drawing software. URL: http:\/\/www.research.att.com\/sw\/tools\/graphviz\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_5_1","unstructured":"BEGNUM K. ET AL. The MLN Project Home Page. URL: http:\/\/mln.sourceforge.net\/index.php.  BEGNUM K. ET AL. The MLN Project Home Page. URL: http:\/\/mln.sourceforge.net\/index.php."},{"key":"e_1_3_2_1_6_1","unstructured":"BELLARD F. QEMU Open Source Processor Emulator. URL: http:\/\/www.qemu.org.  BELLARD F. QEMU Open Source Processor Emulator. URL: http:\/\/www.qemu.org."},{"key":"e_1_3_2_1_7_1","unstructured":"BLANC M. The vmumlgui Project Home Page. URL: http:\/\/pagesperso.erasme.org\/michel\/vnumlgui\/.  BLANC M. The vmumlgui Project Home Page. URL: http:\/\/pagesperso.erasme.org\/michel\/vnumlgui\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251203.1251205"},{"key":"e_1_3_2_1_9_1","volume-title":"Developing Applications with Objective Caml","author":"CHAILLOUX E.","year":"2000","unstructured":"CHAILLOUX , E. , MANOURY , P. , AND PAGANO , B. Developing Applications with Objective Caml . 2000 . Developement d'applications avec Objective Caml, O'Reilly , France. CHAILLOUX, E.,MANOURY, P., AND PAGANO, B. Developing Applications with Objective Caml. 2000. Developement d'applications avec Objective Caml, O'Reilly, France."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/307683"},{"key":"e_1_3_2_1_11_1","volume-title":"The X user: xterm tips and tricks. j-X-RESOURCE 0, 1 (oct","author":"DAVEY P.","year":"1991","unstructured":"DAVEY , P. The X user: xterm tips and tricks. j-X-RESOURCE 0, 1 (oct 1991 ), 24--30. DAVEY, P. The X user: xterm tips and tricks. j-X-RESOURCE 0, 1 (oct 1991), 24--30."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007996.1008027"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRIDNT.2005.38"},{"key":"e_1_3_2_1_14_1","unstructured":"DIKE J. User Mode Linux Community Site. URL: http:\/\/usermodelinux.org.  DIKE J. User Mode Linux Community Site. URL: http:\/\/usermodelinux.org."},{"key":"e_1_3_2_1_15_1","unstructured":"DIKE J. User Mode Linux Kernel Home Page. URL: http:\/\/user-mode-linux.sourceforge.net.  DIKE J. User Mode Linux Kernel Home Page. URL: http:\/\/user-mode-linux.sourceforge.net."},{"key":"e_1_3_2_1_16_1","volume-title":"User Mode Linux","author":"DIKE J.","year":"2006","unstructured":"DIKE , J. User Mode Linux . Prentice-Hall , 2006 . DIKE, J. User Mode Linux. Prentice-Hall, 2006."},{"key":"e_1_3_2_1_17_1","unstructured":"DREPPER U. MILLER P. AND HAIBLE B. gettext Home Page. URL: http:\/\/www.gnu.org\/software\/gettext\/.  DREPPER U. MILLER P. AND HAIBLE B. gettext Home Page. URL: http:\/\/www.gnu.org\/software\/gettext\/."},{"key":"e_1_3_2_1_18_1","unstructured":"FREE SOFTWARE FOUNDATION. GNU Home Page. URL: http:\/\/www.gnu.org.  FREE SOFTWARE FOUNDATION. GNU Home Page. URL: http:\/\/www.gnu.org."},{"key":"e_1_3_2_1_19_1","volume-title":"GNU General Public License. URL: http:\/\/www.gnu.org\/copyleft\/gpl.html","author":"FREE SOFTWARE FOUNDATION","year":"2007","unstructured":"FREE SOFTWARE FOUNDATION . GNU General Public License. URL: http:\/\/www.gnu.org\/copyleft\/gpl.html , 2007 . FREE SOFTWARE FOUNDATION. GNU General Public License. URL: http:\/\/www.gnu.org\/copyleft\/gpl.html, 2007."},{"key":"e_1_3_2_1_20_1","unstructured":"GAL\u00c1N F. AND DECCIO C. T. VNUML Language Reference. URL: http:\/\/jungla.dit.upm.es\/vnuml\/doc\/1.6\/reference\/index.html.  GAL\u00c1N F. AND DECCIO C. T. VNUML Language Reference. URL: http:\/\/jungla.dit.upm.es\/vnuml\/doc\/1.6\/reference\/index.html."},{"key":"e_1_3_2_1_21_1","unstructured":"GAL\u00c1;N F. AND FERN\u00c1NDEZ D. Virtual Network User Mode Linux. URL: http:\/\/jungla.dit.upm.es\/vnuml\/.  GAL\u00c1;N F. AND FERN\u00c1NDEZ D. Virtual Network User Mode Linux. URL: http:\/\/jungla.dit.upm.es\/vnuml\/."},{"key":"e_1_3_2_1_22_1","unstructured":"GARRIGUE J. FAUQUE H. FURUSE J. AND KAGAWA K. Lablgtk a Gtk interface for Objective Label. URL: http:\/\/wwwfun.kurims.kyoto-u.ac.jp\/soft\/olabl\/lablgtk.html.  GARRIGUE J. FAUQUE H. FURUSE J. AND KAGAWA K. Lablgtk a Gtk interface for Objective Label. URL: http:\/\/wwwfun.kurims.kyoto-u.ac.jp\/soft\/olabl\/lablgtk.html."},{"key":"e_1_3_2_1_23_1","unstructured":"ISHIGURO K. ET AL. Quagga Home Page. URL: http:\/\/www.quagga.net.  ISHIGURO K. ET AL. Quagga Home Page. URL: http:\/\/www.quagga.net."},{"key":"e_1_3_2_1_24_1","volume-title":"Setting up a virtual network laboratory with User-Mode Linux. Tech. rep","author":"KRAP A.","year":"2004","unstructured":"KRAP , A. Setting up a virtual network laboratory with User-Mode Linux. Tech. rep ., 2004 . Masters programme on System and Network Administration, University of Amsterdam . URL: http:\/\/www.os3.nl\/arjen\/snb\/asp\/asp-report.pdf. KRAP, A. Setting up a virtual network laboratory with User-Mode Linux. Tech. rep., 2004. Masters programme on System and Network Administration, University of Amsterdam. URL: http:\/\/www.os3.nl\/arjen\/snb\/asp\/asp-report.pdf."},{"key":"e_1_3_2_1_25_1","unstructured":"KRASNYANSKY M. Universal TUN\/TAP device driver. URL: http:\/\/www.kernel.org\/pub\/linux\/kernel\/ FILE: people\/marcelo\/linux-2.4\/Documentation\/networking\/tuntap.txt.  KRASNYANSKY M. Universal TUN\/TAP device driver. URL: http:\/\/www.kernel.org\/pub\/linux\/kernel\/ FILE: people\/marcelo\/linux-2.4\/Documentation\/networking\/tuntap.txt."},{"key":"e_1_3_2_1_26_1","unstructured":"LAWTON K. ET AL. Bochs Home Page. URL: http:\/\/bochs.sourceforge.net.  LAWTON K. ET AL. Bochs Home Page. URL: http:\/\/bochs.sourceforge.net."},{"key":"e_1_3_2_1_27_1","unstructured":"LE GALL S. ocaml-gettext Home Page. URL: http:\/\/sylvain.le-gall.net\/ocaml-gettext.html.  LE GALL S. ocaml-gettext Home Page. URL: http:\/\/sylvain.le-gall.net\/ocaml-gettext.html."},{"key":"e_1_3_2_1_28_1","volume-title":"The Objective Caml system, Documentation and user's manual, release 3.10 ed","author":"LEROY X.","year":"2007","unstructured":"LEROY , X. , DOLIGEZ , D. , GARRIGUE , J. , R\u00c9MY , D. , AND VOUILLON ), J. The Objective Caml system, Documentation and user's manual, release 3.10 ed ., 2007 . URL : http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/. LEROY, X., DOLIGEZ, D., GARRIGUE, J., R\u00c9MY, D., AND VOUILLON), J. The Objective Caml system, Documentation and user's manual, release 3.10 ed., 2007. URL: http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/."},{"key":"e_1_3_2_1_29_1","unstructured":"LODDO J.-V. AND SAIU L. A sample work session with Marionnet. Video. URL: http:\/\/www-lipn.univ-paris13.fr\/~loddo\/video.ogg.  LODDO J.-V. AND SAIU L. A sample work session with Marionnet. Video. URL: http:\/\/www-lipn.univ-paris13.fr\/~loddo\/video.ogg."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802035"},{"key":"e_1_3_2_1_31_1","unstructured":"M\u00dcRI F. uml switch2 Home Page. URL: http:\/\/www.uxu.ch\/uxu\/software\/uml switch2.  M\u00dcRI F. uml switch2 Home Page. URL: http:\/\/www.uxu.ch\/uxu\/software\/uml switch2."},{"key":"e_1_3_2_1_32_1","volume-title":"Vuibert Informatique","author":"NARBEL P.","year":"2005","unstructured":"NARBEL , P. Programmation fonctionnelle, g\u00e9n\u00e9rique et objet. Une introduction avec le langage OCaml . Vuibert Informatique , 2005 . NARBEL, P. Programmation fonctionnelle, g\u00e9n\u00e9rique et objet. Une introduction avec le langage OCaml. Vuibert Informatique, 2005."},{"key":"e_1_3_2_1_33_1","unstructured":"NEMESIO S. C. DE LAS HERAS QUIR\u00d2S P. BARBERO E. M. C. AND GONZ\u00c0LEZ J. A. C. Early experiences with NetGUI laboratories.  NEMESIO S. C. DE LAS HERAS QUIR\u00d2S P. BARBERO E. M. C. AND GONZ\u00c0LEZ J. A. C. Early experiences with NetGUI laboratories."},{"key":"e_1_3_2_1_34_1","unstructured":"OH S. Gtk+ 2.0 Tree View Tutorial using OCaml - Adaptation of Tim-Philipp Muller tutorial. URL: http:\/\/plus.kaist.ac.kr\/?shoh\/ocaml\/lablgtk2\/treeview-tutorial\/.  OH S. Gtk+ 2.0 Tree View Tutorial using OCaml - Adaptation of Tim-Philipp Muller tutorial. URL: http:\/\/plus.kaist.ac.kr\/?shoh\/ocaml\/lablgtk2\/treeview-tutorial\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/319056.319004"},{"key":"e_1_3_2_1_36_1","volume-title":"Report on the programming language haskell","author":"PEYTON JONES S.","year":"1999","unstructured":"PEYTON JONES , S. , ET AL . Report on the programming language haskell 98, Feb. 1999 . PEYTON JONES, S., ET AL. Report on the programming language haskell 98, Feb. 1999."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(1998)4:1%3C27::AID-TAPO3%3E3.0.CO;2-4"},{"key":"e_1_3_2_1_38_1","volume-title":"Emulation of Computer Networks with Netkit. Tech. rep","author":"RIMONDINI M.","year":"2007","unstructured":"RIMONDINI , M. Emulation of Computer Networks with Netkit. Tech. rep ., 2007 . Universit\u00e0 degli Studi di Roma Tre. URL: http:\/\/dipartimento.dia.uniroma3.it\/ FILE : ricerca\/rapporti\/rt\/2007-113.pdf. RIMONDINI, M. Emulation of Computer Networks with Netkit. Tech. rep., 2007. Universit\u00e0 degli Studi di Roma Tre. URL: http:\/\/dipartimento.dia.uniroma3.it\/ FILE: ricerca\/rapporti\/rt\/2007-113.pdf."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/22949.24053"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/101775"},{"key":"e_1_3_2_1_42_1","unstructured":"TAYLOR O. ET AL. Gtk+ - GNU toolkit for X windows development. URL: http:\/\/www.gtk.org.  TAYLOR O. ET AL. Gtk+ - GNU toolkit for X windows development. URL: http:\/\/www.gtk.org."},{"key":"e_1_3_2_1_43_1","unstructured":"TORVALDS L. Linux Home Page. URL: http:\/\/www.linux.org.  TORVALDS L. Linux Home Page. URL: http:\/\/www.linux.org."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/5280.5281"},{"key":"e_1_3_2_1_45_1","unstructured":"VAN BEERS M. CHAPLIN D. ET AL. Glade - A User Interface Designer for GTK+ and GNOME. URL: http:\/\/glade.gnome.org.  VAN BEERS M. CHAPLIN D. ET AL. Glade - A User Interface Designer for GTK+ and GNOME. URL: http:\/\/glade.gnome.org."},{"key":"e_1_3_2_1_46_1","unstructured":"VMWARE INC. VMware Home Page. URL: http:\/\/www.vmware.com.  VMWARE INC. VMware Home Page. URL: http:\/\/www.vmware.com."}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the 2007 workshop on Workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292545","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1292535.1292545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:52:27Z","timestamp":1750258347000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292545"}},"subtitle":["marionnet or \"how to implement a virtual network laboratory in six months and be happy\""],"short-title":[],"issued":{"date-parts":[[2007,10,2]]},"references-count":45,"alternative-id":["10.1145\/1292535.1292545","10.1145\/1292535"],"URL":"https:\/\/doi.org\/10.1145\/1292535.1292545","relation":{},"subject":[],"published":{"date-parts":[[2007,10,2]]},"assertion":[{"value":"2007-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}