7 citations · 13 across the 8 of their papers we have counts for
4 papers · 1 filter
Repairing Language Model Pipelines by Meta Self-Refining Competing Constraints at Runtime
Mojtaba Eshghie
Language Model (LM) pipelines can dynamically refine their outputs against programmatic constraints. However, their effectiveness collapses when faced with competing soft constrain…
SoliDiffy: AST Differencing for Solidity Smart Contracts
Mojtaba Eshghie, Viktor Åryd, Cyrille Artho +1
Structured code differencing is the act of comparing the hierarchical structure of code via its abstract syntax tree (AST) to capture modifications. AST-based source code differenc…
DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
Gabriele Morello, Mojtaba Eshghie, Sofia Bobadilla +1
The DISL dataset features a collection of unique Solidity files that have been deployed to Ethereum mainnet. It caters to the need for a large and diverse dataset of real…
Capturing Smart Contract Design with DCR Graphs
Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho +2
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity lack explicit notions of roles, ac…