@inproceedings{lefort:vcxlgen,title={{vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures}},author={Lefort, Anatole and Pritzi, Julian and Carpentieri, Nicolò and Schall, David and Dittrick, Simon and Chakraborty, Soham and Oswald, Nicolai and Bhatotia, Pramod},booktitle={Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2026)},year={2026}}
@inproceedings{schall:llbpx,title={The Last-Level Branch Predictor Revisited},author={Schall, David and Ďuračková, Mária and Grot, Boris},booktitle={Proceedings of the 32nd IEEE International Symposium on High-Performance Computer Architecture (HPCA-32)},year={2026}}
HPCA
C^3: CXL Coherence Controllers for Heterogeneous Architectures
Anatole Lefort , David Schall, Nicolò Carpentieri , and 4 more authors
In Proceedings of the 32nd IEEE International Symposium on High-Performance Computer Architecture (HPCA-32) , 2026
@inproceedings{lefort:c3,title={{$C^3$: CXL Coherence Controllers for Heterogeneous Architectures}},author={Lefort, Anatole and Schall, David and Carpentieri, Nicolò and Pritzi, Julian and Chakraborty, Soham and Oswald, Nicolai and Bhatotia, Pramod},booktitle={Proceedings of the 32nd IEEE International Symposium on High-Performance Computer Architecture (HPCA-32)},year={2026}}
2024
PhD
Addressing Microarchitectural Implications of Serverless Functions
@thesis{schall2024,author={Schall, David},title={Addressing Microarchitectural Implications of Serverless Functions},school={University of Edinburgh},year={2024},type={PhD Thesis},handle={https://hdl.handle.net/20.500.11820/01bdefcd-fbca-4f9f-8d7e-36fdea83cbd7}}
@inproceedings{0.1109/MICRO61859.2024.00042,author={Schall, David and Sandberg, Andreas and Grot, Boris},booktitle={2024 57th IEEE/ACM International Symposium on Microarchitecture (MICRO)},title={The Last-Level Branch Predictor},year={2024},volume={},number={},pages={464-479},keywords={Microarchitecture, Branch Prediction},doi={10.1109/MICRO61859.2024.00042},series={MICRO '24},publisher={IEEE}}
Serverless computing is a popular software deployment model for the cloud, in which applications are designed as a collection of stateless tasks. Developers are charged for the CPU time and memory footprint during the execution of each serverless function, which incentivizes them to reduce both runtime and memory usage. As a result, functions tend to be short (often on the order of a few milliseconds) and compact (128–256 MB). Cloud providers can pack thousands of such functions on a server, resulting in frequent context switches and a tremendous degree of interleaving. As a result, when a given memory-resident function is re-invoked, it commonly finds its on-chip microarchitectural state completely cold due to thrashing by other functions — a phenomenon termed lukewarm invocation. Our analysis shows that the cold microarchitectural state due to lukewarm invocations is highly detrimental to performance, which corroborates prior work. The main source of performance degradation is the front-end, composed of instruction delivery, branch identification via the BTB and the conditional branch prediction. State-of-the-art front-end prefetchers show only limited effectiveness on lukewarm invocations, falling considerably short of an ideal front-end. We demonstrate that the reason for this is the cold microarchitectural state of the branch identification and prediction units. In response, we introduce Ignite, a comprehensive restoration mechanism for front-end microarchitectural state targeting instructions, BTB and branch predictor via unified metadata. Ignite records an invocation’s control flow graph in compressed format and uses that to restore the front-end structures the next time the function is invoked. Ignite outperforms state-of-the-art front-end prefetchers, improving performance by an average of 43% by significantly reducing instruction, BTB and branch predictor MPKI.
@inproceedings{10.1145/3613424.3614258,author={Schall, David and Sandberg, Andreas and Grot, Boris},title={Warming Up a Cold Front-End with Ignite},year={2023},isbn={9798400703294},publisher={Association for Computing Machinery},address={New York, NY, USA},url={https://doi.org/10.1145/3613424.3614258},doi={10.1145/3613424.3614258},booktitle={Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture},pages={254–267},numpages={14},keywords={instruction delivery, front-end prefetching and serverless, Microarchitecture},location={<conf-loc>, <city>Toronto</city>, <state>ON</state>, <country>Canada</country>, </conf-loc>},series={MICRO '23}}
HotCarbon
When Does Saving Power Save the Planet?
Jackson Woodruff , David Schall, Michael F.P. O’Boyle , and 1 more author
In Proceedings of the 2nd Workshop on Sustainable Computer Systems , 2023
The computing industry accounts for 2% of the world’s emissions. Power-efficient computing is a frequent topic of research, but saving power does not always save the environment. Jevons’ paradox states that resource savings from increases in efficiency will be more than compensated for by increased demand by a process called rebound — making these ineffective ways to decrease emissions.This is not the case for all applications within computing: applications whose demand is inelastic with respect to power consumption can have reduced power consumption. We analyze several large fields within computer science, including ML, the Internet and IoT, and provide directions on where power efficiency savings will help reduce carbon emissions.We present the economic tools needed to decide whether power-efficiency improvements are likely to result in reduced or increased emissions. We conclude that many problems in computer science do have characteristics of rebound, meaning that green energy is the only solution for many fields.
@inproceedings{10.1145/3604930.3605719,author={Woodruff, Jackson and Schall, David and O'Boyle, Michael F.P. and Woodruff, Christopher},title={When Does Saving Power Save the Planet?},year={2023},isbn={9798400702426},publisher={Association for Computing Machinery},address={New York, NY, USA},url={https://doi.org/10.1145/3604930.3605719},doi={10.1145/3604930.3605719},booktitle={Proceedings of the 2nd Workshop on Sustainable Computer Systems},articleno={20},numpages={6},keywords={compute power demand, carbon emissions, rebound effect, jeavons paradox},location={Boston, MA, USA},series={HotCarbon '23}}
Serverless computing has emerged as a widely-used paradigm for running services in the cloud. In serverless, developers organize their applications as a set of functions, which are invoked on-demand in response to events, such as an HTTP request. To avoid long start-up delays of launching a new function instance, cloud providers tend to keep recently-triggered instances idle (or warm) for some time after the most recent invocation in anticipation of future invocations. Thus, at any given moment on a server, there may be thousands of warm instances of various functions whose executions are interleaved in time based on incoming invocations.This paper observes that (1) there is a high degree of interleaving among warm instances on a given server; (2) the individual warm functions are invoked relatively infrequently, often at the granularity of seconds or minutes; and (3) many function invocations complete within a few milliseconds. Interleaved execution of rarely invoked functions on a server leads to thrashing of each function’s microarchitectural state between invocations. Meanwhile, the short execution time of a function impedes amortization of the warm-up latency of the cache hierarchy, causing a 31–114% increase in CPI compared to execution with warm microarchitectural state. We identify on-chip misses for instructions as a major contributor to the performance loss. In response we propose Jukebox, a record-and-replay instruction prefetcher specifically designed for reducing the start-up latency of warm function instances. Jukebox requires just 32KB of metadata per function instance and boosts performance by an average of 18.7% for a wide range of functions, which translates into a corresponding throughput improvement.
@inproceedings{10.1145/3470496.3527390,note={<p style="color:--global-theme-color">IEEE MICRO Top Picks Honorable Mention</p>},author={Schall, David and Margaritov, Artemiy and Ustiugov, Dmitrii and Sandberg, Andreas and Grot, Boris},title={Lukewarm serverless functions: characterization and optimization},year={2022},isbn={9781450386104},publisher={Association for Computing Machinery},address={New York, NY, USA},url={https://doi.org/10.1145/3470496.3527390},doi={10.1145/3470496.3527390},booktitle={Proceedings of the 49th Annual International Symposium on Computer Architecture},pages={757–770},numpages={14},keywords={serverless, microarchitecture, instruction prefetching, characterization},location={New York, New York},series={ISCA '22}}