Benedikt Meurer

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 3

Top Topics

Design Methodologies

Power Management

Top Venues

MOBILESoft@ICSE

Publications

Nadja Peters, Sangyoung Park, Daniel Clifford, S. Kyostila, R. Mcllroy, Benedikt Meurer, Hannes Payer, Samarjit Chakraborty
Phase-Aware Web Browser Power Management on HMP Platforms. ICS (2018)
Nadja Peters, Sangyoung Park, Daniel Clifford, S. Kyostila, Ross McIlroy, Benedikt Meurer, Hannes Payer, Samarjit Chakraborty
API for power-aware application design on mobile systems. MOBILESoft@ICSE (2018)
Nadja Peters, Sangyoung Park, Samarjit Chakraborty, Benedikt Meurer, Hannes Payer, Daniel Clifford
Web browser workload characterization for power management on HMP platforms. CODES+ISSS (2016)
Marcell Fischbach, Benedikt Meurer
Towards a native toplevel for the OCaml language CoRR (2011)
Benedikt Meurer
A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus CoRR (2011)
Benedikt Meurer
OCamlJIT 2.0 - Faster Objective Caml CoRR (2010)
Benedikt Meurer
Just-In-Time compilation of OCaml byte-code CoRR (2010)