BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Franz:Michael

Contributed to:

ISMM 20152015
OOPSLA 20142014
CGO 20132013
ISMM 20112011
CGO 20102010
PLDI 20092009
TOOLS Europe 20092009
COCV 20052005
ECOOP 20042004
PLDI 20012001
ECOOP 20182018

Wrote 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.
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.

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.