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: M=uuml=ller:Frank
Facilitated 2 volumes:
Contributed to:
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.