@article{SAC-PL-J-2012-HaublWM13,
	author        = "Christian Häubl and Christian Wimmer and Hanspeter Mössenböck",
	doi           = "10.1016/j.cl.2013.04.002",
	journal       = "{Computer Languages, Systems & Structures}",
	number        = 4,
	pages         = "123--141",
	title         = "{Context-sensitive trace inlining for Java}",
	volume        = 39,
	year          = 2013,
}