Browse Research and Tech Reports - Computer Science by Author "Kasampalis, Theodoros"

  • Kasampalis, Theodoros; Guth, Dwight; Moore, Brandon; Serbanuta, Traian Florin; Zhang, Yi; Filaretti, Daniele; Serbanuta, Virgil; Johnson, Ralph; Roşu, Grigore (2019-07-16)
    This paper proposes IELE, an LLVM-style language, together with a tool ecosystem for implementing and formally reasoning about smart contracts on the blockchain. IELE was designed by specifying its semantics formally in ...

    application/pdf

    application/pdfPDF (349kB)
  • Lin, Zhengyao; Kasampalis, Theodoros; Adve, Vikram (2021)
    Register allocation is a crucial and complex phase of any modern production compiler. In this work, we present a translation validation algorithm that verifies each single instance of register allocation. Our algorithm is ...

    application/pdf

    application/pdfPDF (1MB)