Benedikt Meurer

Publications

2011

Fischbach, Marcell ; Meurer, Benedikt (2011). "Towards a native toplevel for the OCaml language". Computing Research Repository (CoRR). Programming Languages (cs.PL); Performance (cs.PF). arXiv:1110.1029. [pdf] [bib]

Meurer, Benedikt (2011). "Blocks and Grand Central Dispatch". Talk held at the 2nd CocoaHeads Siegen meeting, August 2011. [slides]

Meurer, Benedikt (2011). "A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus". Computing Research Repository (CoRR). Programming Languages (cs.PL). arXiv:1105.1985. [pdf] [bib]

2010

Meurer, Benedikt (2010). "Just-In-Time compilation of OCaml byte-code". Computing Research Repository (CoRR). Programming Languages (cs.PL); Performance (cs.PF). arXiv:1011.6223. [pdf] [bib]

Meurer, Benedikt (2010). "OCamlJIT 2.0 - Faster Objective Caml". Computing Research Repository (CoRR). Programming Languages (cs.PL). arXiv:1011.1783. [pdf] [bib]

2009

Meurer, Benedikt. "Fast garbage compaction with interior pointers". Unpublished. [pdf]

2008

Brück, Rainer ; Meurer, Benedikt (2008). "Grundlagen und Verfahren für den Mikrosystementwurf". Institut für Mikrosystemtechnik, Fachbereich Elektrotechnik und Informatik, Universität Siegen. Vorlesungsskript (draft). [pdf]

2007

Meurer, Benedikt (2007). "Theoretische Grundlagen der Objektorientierung". Institut für Theoretische Informatik, Fachbereich Mathematik, Universität Siegen. Diploma thesis. [pdf] [slides]

Meurer, Benedikt (2007). "Theorie der Programmierung III". Institut für Theoretische Informatik, Fachbereich Mathematik, Universität Siegen. Vorlesungsmitschrift. [pdf]

Meurer, Benedikt (2007). "PLTL Model Checking". Institut für Theoretische Informatik, Fachbereich Mathematik, Universität Siegen. Seminar. [pdf]

Meurer, Benedikt (2007). "A visual tour of Xfce 4.4.0". Presentation.

2005

Meurer, Benedikt (2005). "A brief introduction to the Xfce Developer Tools". Tutorial.

2003

Meurer, Benedikt (2003). "AlphaSort". Fachbereich Elektrotechnik und Informatik, Universität Siegen. Proseminar. [slides]

2002

Meurer, Benedikt (2002). "Introduction to NetBSD loadable kernel modules". Tutorial.