Travelled to:1 × Canada
1 × China
1 × Ireland
1 × Norway
1 × Switzerland
4 × USA
Collaborated with:C.Wimmer S.Brunthaler A.Gal P.Larsen W.Amme J.v.Ronne C.W.Probst M.Q.Beers C.H.Stork M.Bebenita M.Chang B.Eich W.Zhang N.Dalton C.Stancu A.Homescu S.Neisius G.Wagner Mohaned Qunaibit Yeoul Na Stijn Volckaert M.Shaver D.Anderson D.Mandelin M.R.Haghighat B.Kaplan G.Hoare B.Zbarsky J.Orendorff J.Ruderman E.W.Smith R.Reitmaier
Talks about:base (4) languag (3) dynam (3) type (3) safe (3) form (3) acceler (2) static (2) memori (2) effici (2)
Person: Michael Franz
DBLP: Franz:Michael
Contributed to:
2015
2014
201320112010
2009
2009
2005
200420012018Wrote 12 papers:
- ISMM-2015-StancuWBLF #hybrid #java #memory management #performance
- Safe and efficient hybrid memory management for Java (CS, CW, SB, PL, MF), pp. 81–92.
- OOPSLA-2014-ZhangLBF #abstract syntax tree #optimisation
- Accelerating iterators in optimizing AST interpreters (WZ, PL, SB, MF), pp. 727–743.
- CGO-2013-HomescuNLBF #automation
- Profile-guided automated software diversity (AH, SN, PL, SB, MF), p. 11.
- ISMM-2011-WagnerGWEF #memory management #web
- Compartmental memory management in a modern web browser (GW, AG, CW, BE, MF), pp. 119–128.
- CGO-2010-WimmerF #linear
- Linear scan register allocation on SSA form (CW, MF), pp. 170–179.
- PLDI-2009-GalESAMHKHZORSRBCF
- Trace-based just-in-time type specialization for dynamic languages (AG, BE, MS, DA, DM, MRH, BK, GH, BZ, JO, JR, EWS, RR, MB, MC, MF), pp. 465–478.
- TOOLS-EUROPE-2009-BebenitaCGF #compilation #object-oriented
- Stream-Based Dynamic Compilation for Object-Oriented Languages (MB, MC, AG, MF), pp. 77–95.
- COCV-J-2005-AmmeRF #mobile
- Quantifying the Benefits of SSA-Based Mobile Code (WA, JvR, MF), pp. 103–119.
- COCV-J-2005-GalPF05a #encoding
- Structural Encoding of Static Single Assignment Form (AG, CWP, MF), pp. 85–102.
- ECOOP-2004-BeersSF #analysis
- Efficiently Verifiable Escape Analysis (MQB, CHS, MF), pp. 75–95.
- PLDI-2001-AmmeDFR #named #representation #type safety
- SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form (WA, ND, MF, JvR), pp. 137–147.
- ECOOP-2018-QunaibitBNVF #dynamic typing #optimisation #platform #using
- Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization (MQ, SB, YN, SV, MF), p. 29.