BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × China
1 × Germany
1 × Ireland
1 × Portugal
1 × Spain
1 × United Kingdom
18 × USA
Collaborated with:
D.B.Whalley Y.Zhu Y.Zhang J.Marathe E.W.Giering T.P.Baker A.Sarkar H.Ramaprasad H.Schöneberg X.Wu C.A.Healy D.Schulz D.Macos J.Elliott M.Hoemmen K.Patil K.Seth A.Dudani K.Kharbas D.Kim T.Hoefler S.Mohan J.Coffman E.Vivancos A.Rezaei G.Coviello C.Li S.T.Chakradhar T.Mohan B.R.d.Supinski S.A.McKee A.Yoo S.L.Scott C.Engelmann G.Vallée T.Naughton A.Tikotekar G.Ostrouchov C.Leangsuksun N.Naksinehaboon R.Nassar M.Paun C.Wang A.B.Nagarajan J.Varma P.Geibel H.Erdur L.Zimmermann S.Krüger K.Jegzentis J.Schepers A.Becker C.H.Nolte J.F.Scheitz S.Tütüncü T.Usnich M.Frick M.Trautwein T.Schaaf A.Holzgreve T.Tolxdorff
Talks about:
system (4) time (4) cach (4) feedback (3) schedul (3) analysi (3) code (3) base (3) edf (3) ada (3)

Person: Frank Müller

DBLP DBLP: M=uuml=ller:Frank

Facilitated 2 volumes:

LCTES 2003Ed
LCTES 1998Ed

Contributed to:

HPDC 20152015
HPDC 20142014
CGO 20132013
KEOD 20132013
CGO 20122012
KDIR 20122012
PDP 20122012
LCTES 20112011
PPoPP 20112011
LCTES 20092009
PPoPP 20092009
LCTES 20072007
PPoPP 20062006
LCTES 20052005
LCTES 20042004
CGO 20032003
LCTES/SCOPES 20022002
LCTES/OM 20012001
ISSTA 20002000
SIGAda 19981998
Ada-Europe 19971997
LCT-RTS 19951995
PLDI 19951995
SAS 19941994
TRI-Ada 19941994
TRI-Ada 19931993
PLDI 19921992

Wrote 28 papers:

HPDC-2015-ElliottHM #fault #linear
A Numerical Soft Fault Model for Iterative Linear Solvers (JE, MH, FM), pp. 271–274.
HPDC-2014-RezaeiCLCM #manycore #named
Snapify: capturing snapshots of offload applications on xeon phi manycore processors (AR, GC, CHL, STC, FM), pp. 1–12.
CGO-2013-ZhangM #named #parallel
Hidp: A hierarchical data parallel language (YZ, FM), p. 11.
KEOD-2013-GeibelEZKJSBMNSTUFTSHT #documentation #identification #information management #ontology
Patient Identification for Clinical Trials with Ontology-based Information Extraction from Documents (PG, HE, LZ, SK, KJ, JS, AB, FM, CHN, JFS, ST, TU, MF, MT, TS, AH, TT), pp. 230–236.
CGO-2012-ZhangM #3d #clustering #gpu
Auto-generation and auto-tuning of 3D stencil codes on GPU clusters (YZ, FM), pp. 155–164.
KDIR-2012-SchonebergM #documentation #identification
Contextual Approaches for Identification of Toponyms in Ancient Documents (HS, FM), pp. 163–168.
PDP-2012-KharbasKHM #detection
Assessing HPC Failure Detectors for MPI Jobs (KK, DK, TH, FM), pp. 81–88.
LCTES-2011-SarkarMR #manycore #migration #predict
Predictable task migration for locked caches in multi-core systems (AS, FM, HR), pp. 131–140.
PPoPP-2011-WuM #communication #named #source code
ScalaExtrap: trace-based communication extrapolation for spmd programs (XW, FM), pp. 113–122.
LCTES-2009-SarkarMRM #manycore #migration #realtime
Push-assisted migration of real-time tasks in multi-core processors (AS, FM, HR, SM), pp. 80–89.
PPoPP-2009-ScottEVNTOLNNPMWNV #approach
A tunable holistic resiliency approach for high-performance computing systems (SLS, CE, GV, TN, AT, GO, CL, NN, RN, MP, FM, CW, ABN, JV), pp. 305–306.
LCTES-2007-CoffmanHMW #analysis #parametricity
Generalizing parametric timing analysis (JC, CAH, FM, DBW), pp. 152–154.
LCTES-2007-ZhuM #feedback #named #reduction #scalability #scheduling
DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling (YZ, FM), pp. 31–40.
PPoPP-2006-MaratheM #automation #hardware
Hardware profile-guided automatic page placement for ccNUMA systems (JM, FM), pp. 90–99.
LCTES-2005-ZhuM #feedback #scalability #scheduling
Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling (YZ, FM), pp. 203–212.
LCTES-2004-PatilSM #composition #simulation
Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.
CGO-2003-MaratheMMSMY #memory management #metric #named
METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting (JM, FM, TM, BRdS, SAM, AY), pp. 289–300.
LCTES-SCOPES-2002-DudaniMZ #constraints #embedded #energy #feedback #realtime #scheduling
Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints (AD, FM, YZ), pp. 213–222.
LCTES-OM-2001-VivancosHMW #analysis #parametricity
Parametric Timing Analysis (EV, CAH, FM, DBW), pp. 88–93.
ISSTA-2000-SchulzM #debugging #interface #thread
A thread-aware debugger with an open interface (DS, FM), pp. 201–211.
SIGAda-1998-MacosM
The Rendezvous is Dead — Long Live the Protected Object (DM, FM), pp. 287–293.
AdaEurope-1997-Mueller #ada #distributed
Supporting Ada 95 Passive Partitions in a Distributed Environment (FM), pp. 218–229.
LCT-RTS-1995-Mueller #clustering #compilation
Compiler Support for Software-Based Cache Partitioning (FM), pp. 125–133.
PLDI-1995-MuellerW #branch #replication
Avoiding Conditional Branches by Code Replication (FM, DBW), pp. 56–66.
SAS-1994-MuellerW #analysis #behaviour #on the fly #performance #simulation
Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.
TRI-Ada-1994-GieringMB #ada #library #runtime
Features of the GNU Ada Runtime Library (EWG, FM, TPB), pp. 93–103.
TRI-Ada-1993-GieringMB #ada #design #implementation #thread #using
Implementing Ada 9X Features Using POSIX Threads: Design Issues (EWG, FM, TPB), pp. 214–228.
PLDI-1992-MuellerW #replication
Avoiding Unconditional Jumps by Code Replication (FM, DBW), pp. 322–330.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.