Fernando Magno Quintão Pereira

Available identifiers

zbMath Open pereira.fernando-magno-quintaoMaRDI QIDQ954998

List of research outcomes

Publication	Date of Publication	Type
Efficient static checker for tainted variable attacks	2018-07-16	Paper
A Framework for End-to-End Verification and Evaluation of Register Allocators	2009-03-03	Paper
Aliased register allocation for straight-line programs is NP-complete	2008-11-18	Paper
Aliased Register Allocation for Straight-Line Programs Is NP-Complete	2007-11-28	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Programming Languages and Systems	2006-10-20	Paper

Research outcomes over time

This page was built for person: Fernando Magno Quintão Pereira