Dipl.-Inform. Benedikt Meurer
Anschrift
Publikationen
Fischbach, Marcell ; Meurer, Benedikt (2011). "Towards a native toplevel for the OCaml language". Computing Research Repository (CoRR). arXiv:1110.1029 [cs.PL; cs.PF].
Meurer, Benedikt (2011). "A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus". Computing Research Repository (CoRR). arXiv:1105.1985 [cs.PL].
Meurer, Benedikt (2010). "Just-In-Time compilation of OCaml byte-code". Computing Research Repository (CoRR). arXiv:1011.6223 [cs.PL; cs.PF].
Meurer, Benedikt (2010). "OCamlJIT 2.0 - Faster Objective Caml". Computing Research Repository (CoRR). arXiv:1011.1783 [cs.PL].
Meurer, Benedikt (2007). "Theoretische Grundlagen der Objektorientierung". Institut für Theoretische Informatik, Fachbereich Mathematik, Universität Siegen. Diplomarbeit.
Meurer, Benedikt (2007). "PLTL Model Checking". Fachbereich Mathematik, Universität Siegen. Seminar.
Meurer, Benedikt. "Fast garbage compaction with interior pointers". Unpublished.
Universitäre Aktivitäten
Gründer und Organisator der CocoaHeads Siegen.
Mitglied der Unix-AG Siegen seit 2002.
Mitglied der Berufungskommission "Compilerbau und Softwareanalyse" (2011).