3 citations · 4 across the 4 of their papers we have counts for
4 papers
Deferred Objects to Enhance Smart Contract Programming with Optimistic Parallel Execution
George Mitenkov, Igor Kabiljo, Zekun Li +6
One of the main bottlenecks of blockchains is smart contract execution. To increase throughput, modern blockchains try to execute transactions in parallel. Unfortunately, however,…
Future Directions for Optimizing Compilers
Nuno P. Lopes, John Regehr
As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code blo…
Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability
Nuno P. Lopes, Levent Aksoy, Vasco Manquinho +1
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the MC…
Optimizing Binary Code Produced by Valgrind (Project Report on Virtual Execution Environments Course - AVExe)
Filipe Cabecinhas, Nuno Lopes, Renato Crisostomo +1
Valgrind is a widely used framework for dynamic binary instrumentation and its mostly known by its memcheck tool. Valgrind's code generation module is far from producing optimal co…