@inproceedings{CC-2019-PathadeK,
	author        = "Komal Pathade and Uday P. Khedker",
	booktitle     = "{Proceedings of the 28th International Conference on Compiler Construction}",
	doi           = "10.1145/3302516.3307349",
	isbn          = "978-1-4503-6277-1",
	pages         = "159--169",
	publisher     = "{ACM}",
	title         = "{Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments}",
	year          = 2019,
}