OCamlJIT 2.0 - Faster Objective Caml - Benedikt Meurer (CoRR, 2010)

Just-In-Time compilation of OCaml byte-code - Benedikt Meurer (CoRR, 2010)

A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus - Benedikt Meurer (CoRR, 2011)

Towards a native toplevel for the OCaml language - Marcell Fischbach; Benedikt Meurer (CoRR, 2011)

Web browser workload characterization for power management on HMP platforms. - Nadja Peters; Sangyoung Park; Samarjit Chakraborty; Benedikt Meurer; Hannes Payer; Daniel Clifford (CODES+ISSS, 2016)

Phase-Aware Web Browser Power Management on HMP Platforms. - Nadja Peters; Sangyoung Park; Daniel Clifford; S. Kyostila; Ross McIlroy; Benedikt Meurer; Hannes Payer; Samarjit Chakraborty (ICS, 2018)

API for power-aware application design on mobile systems. - Nadja Peters; Sangyoung Park; Daniel Clifford; S. Kyostila; Ross McIlroy; Benedikt Meurer; Hannes Payer; Samarjit Chakraborty (MOBILESoft@ICSE, 2018)