( en | de | ru )

 

Disambiguation of "Logozzo, Francesco"

Author of the publication

copydeleteadd this publication to your clipboard
SPUR: A Trace-based JIT Compiler for CIL

, , , , , , and . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 708--725. ACM, (2010)
DOI: 10.1145/1869459.1869517

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Francesco Logozzo

Francesco Bettella

Protein secondary structure prediction using optimized scoring functions: a comparative statistical method. FU Berlin, (2009)

Francesco Pinosa

Francesco Solimena

Francesco Knechtli

 

Other publications of authors with the same name

SPUR: A Trace-based JIT Compiler for CIL, , , , , , and . Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, page 708--725. ACM, (2010)Class invariants as abstract interpretation of trace semantics.. Comput. Lang. Syst. Struct., 35 (2): 100-142 (2009)SAS2013 artifact submission experience report., and . ACM SIGPLAN Notices, 49 (4S): 39-40 (2014)Scaling static analyses at Facebook., , , and . Commun. ACM, 62 (8): 62-70 (2019)Checking Compatibility of Bit Sizes in Floating Point Comparison Operations., and . NSAD@SAS, volume 288 of Electronic Notes in Theoretical Computer Science, page 15-23. Elsevier, (2011)Sufficient Incorrectness Logic: SIL and Separation SIL., , , and . CoRR, (2023)An Approach to Behavioral Subtyping Based on Static Analysis.. TACoS, volume 116 of Electronic Notes in Theoretical Computer Science, page 157-170. Elsevier, (2004)