Für eine korrekte Darstellung dieser Seite benötigen Sie einen XHTML-standardkonformen Browser, der die Darstellung von CSS-Dateien zulässt.

..
Suche
Erweiterte Suche

Personensuche
Veranstaltungssuche
Katalog der UB Siegen
/ nt / eti / cbsa / team / meurer
home
 

Dipl.-Inform. Benedikt Meurer

Anschrift

Dipl.-Inform. Benedikt Meurer

Dipl.-Inform. Benedikt Meurer

WWW: http://benediktmeurer.de

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).