| |
Bläser, Luc
|
VMIL '24: "Smarter Contract Upgrades ..."
Smarter Contract Upgrades with Orthogonal Persistence
Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, and Jason Ibrahim
(DFINITY Foundation, Switzerland)
@InProceedings{VMIL24p40,
author = {Luc Bläser and Claudio Russo and Gabor Greif and Ryan Vandersmith and Jason Ibrahim},
title = {Smarter Contract Upgrades with Orthogonal Persistence},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3689490.3690401},
year = {2024},
}
 Publisher's Version
Article: splashws24vmilmain-p73-p (type: Full Paper) doi:10.1145/3689490.3690401
|
| |
Chen, Meng-Hung
|
VMIL '24: "Accelerate RISC-V Instruction ..."
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yen-Fu Chen, Meng-Hung Chen, Ching-Chun Huang, and Chia-Heng Tu
(National Cheng Kung University, Taiwan)
@InProceedings{VMIL24p14,
author = {Yen-Fu Chen and Meng-Hung Chen and Ching-Chun Huang and Chia-Heng Tu},
title = {Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3689490.3690399},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p29-p (type: Full Paper) doi:10.1145/3689490.3690399
|
| |
Chen, Yen-Fu |
VMIL '24: "Accelerate RISC-V Instruction ..."
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yen-Fu Chen, Meng-Hung Chen, Ching-Chun Huang, and Chia-Heng Tu
(National Cheng Kung University, Taiwan)
@InProceedings{VMIL24p14,
author = {Yen-Fu Chen and Meng-Hung Chen and Ching-Chun Huang and Chia-Heng Tu},
title = {Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3689490.3690399},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p29-p (type: Full Paper) doi:10.1145/3689490.3690399
|
| |
Döllerer, Lukas
|
VMIL '24: "Performant Bounds Checking ..."
Performant Bounds Checking for 64-Bit WebAssembly
Lukas Döllerer and Alexis Engelke
(TU Munich, Germany)
@InProceedings{VMIL24p27,
author = {Lukas Döllerer and Alexis Engelke},
title = {Performant Bounds Checking for 64-Bit WebAssembly},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3689490.3690400},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p69-p (type: Full Paper) doi:10.1145/3689490.3690400
|
| |
Engelke, Alexis
|
VMIL '24: "Performant Bounds Checking ..."
Performant Bounds Checking for 64-Bit WebAssembly
Lukas Döllerer and Alexis Engelke
(TU Munich, Germany)
@InProceedings{VMIL24p27,
author = {Lukas Döllerer and Alexis Engelke},
title = {Performant Bounds Checking for 64-Bit WebAssembly},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3689490.3690400},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p69-p (type: Full Paper) doi:10.1145/3689490.3690400
|
| |
Greif, Gabor
|
VMIL '24: "Smarter Contract Upgrades ..."
Smarter Contract Upgrades with Orthogonal Persistence
Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, and Jason Ibrahim
(DFINITY Foundation, Switzerland)
@InProceedings{VMIL24p40,
author = {Luc Bläser and Claudio Russo and Gabor Greif and Ryan Vandersmith and Jason Ibrahim},
title = {Smarter Contract Upgrades with Orthogonal Persistence},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3689490.3690401},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p73-p (type: Full Paper) doi:10.1145/3689490.3690401
|
| |
Hu, Xiaowen
|
VMIL '24: "Synthesizing Efficient Super-Instruction ..."
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Xiaowen Hu, David Zhao, and Bernhard Scholz
(University of Sydney, Australia; RelationalAI, Australia; Sonic Labs, Australia)
@InProceedings{VMIL24p66,
author = {Xiaowen Hu and David Zhao and Bernhard Scholz},
title = {Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3689490.3690403},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p91-p (type: Full Paper) doi:10.1145/3689490.3690403
|
| |
Huang, Ching-Chun |
VMIL '24: "Accelerate RISC-V Instruction ..."
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yen-Fu Chen, Meng-Hung Chen, Ching-Chun Huang, and Chia-Heng Tu
(National Cheng Kung University, Taiwan)
@InProceedings{VMIL24p14,
author = {Yen-Fu Chen and Meng-Hung Chen and Ching-Chun Huang and Chia-Heng Tu},
title = {Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3689490.3690399},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p29-p (type: Full Paper) doi:10.1145/3689490.3690399
|
| |
Ibrahim, Jason
|
VMIL '24: "Smarter Contract Upgrades ..."
Smarter Contract Upgrades with Orthogonal Persistence
Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, and Jason Ibrahim
(DFINITY Foundation, Switzerland)
@InProceedings{VMIL24p40,
author = {Luc Bläser and Claudio Russo and Gabor Greif and Ryan Vandersmith and Jason Ibrahim},
title = {Smarter Contract Upgrades with Orthogonal Persistence},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3689490.3690401},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p73-p (type: Full Paper) doi:10.1145/3689490.3690401
|
| |
Křikava, Filip
|
VMIL '24: "Reducing Feedback Pollution ..."
Reducing Feedback Pollution
Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)
@InProceedings{VMIL24p79,
author = {Sebastián Krynski and Michal Štěpánek and Filip Říha and Filip Křikava and Jan Vitek},
title = {Reducing Feedback Pollution},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3689490.3690404},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p98-p (type: Full Paper) doi:10.1145/3689490.3690404
|
| |
Krynski, Sebastián |
VMIL '24: "Reducing Feedback Pollution ..."
Reducing Feedback Pollution
Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)
@InProceedings{VMIL24p79,
author = {Sebastián Krynski and Michal Štěpánek and Filip Říha and Filip Křikava and Jan Vitek},
title = {Reducing Feedback Pollution},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3689490.3690404},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p98-p (type: Full Paper) doi:10.1145/3689490.3690404
|
| |
Leopoldseder, David
|
VMIL '24: "An Analysis of Compiled Code ..."
An Analysis of Compiled Code Reusability in Dynamic Compilation
Andrej Pečimúth, David Leopoldseder, and Petr Tůma
(Charles University, Prague, Czechia; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p53,
author = {Andrej Pečimúth and David Leopoldseder and Petr Tůma},
title = {An Analysis of Compiled Code Reusability in Dynamic Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3689490.3690406},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p82-p (type: Full Paper) doi:10.1145/3689490.3690406
|
| |
Li, Paley |
VMIL '24: "On Automating Hybrid Execution ..."
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Christoph Pichler, Paley Li, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p1,
author = {Christoph Pichler and Paley Li and Roland Schatz and Hanspeter Mössenböck},
title = {On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689490.3690398},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p18-p (type: Full Paper) doi:10.1145/3689490.3690398
|
| |
Mössenböck, Hanspeter
|
VMIL '24: "On Automating Hybrid Execution ..."
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Christoph Pichler, Paley Li, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p1,
author = {Christoph Pichler and Paley Li and Roland Schatz and Hanspeter Mössenböck},
title = {On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689490.3690398},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p18-p (type: Full Paper) doi:10.1145/3689490.3690398
|
| |
Pečimúth, Andrej
|
VMIL '24: "An Analysis of Compiled Code ..."
An Analysis of Compiled Code Reusability in Dynamic Compilation
Andrej Pečimúth, David Leopoldseder, and Petr Tůma
(Charles University, Prague, Czechia; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p53,
author = {Andrej Pečimúth and David Leopoldseder and Petr Tůma},
title = {An Analysis of Compiled Code Reusability in Dynamic Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3689490.3690406},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p82-p (type: Full Paper) doi:10.1145/3689490.3690406
|
| |
Pichler, Christoph |
VMIL '24: "On Automating Hybrid Execution ..."
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Christoph Pichler, Paley Li, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p1,
author = {Christoph Pichler and Paley Li and Roland Schatz and Hanspeter Mössenböck},
title = {On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689490.3690398},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p18-p (type: Full Paper) doi:10.1145/3689490.3690398
|
| |
Říha, Filip
|
VMIL '24: "Reducing Feedback Pollution ..."
Reducing Feedback Pollution
Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)
@InProceedings{VMIL24p79,
author = {Sebastián Krynski and Michal Štěpánek and Filip Říha and Filip Křikava and Jan Vitek},
title = {Reducing Feedback Pollution},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3689490.3690404},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p98-p (type: Full Paper) doi:10.1145/3689490.3690404
|
| |
Russo, Claudio
|
VMIL '24: "Smarter Contract Upgrades ..."
Smarter Contract Upgrades with Orthogonal Persistence
Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, and Jason Ibrahim
(DFINITY Foundation, Switzerland)
@InProceedings{VMIL24p40,
author = {Luc Bläser and Claudio Russo and Gabor Greif and Ryan Vandersmith and Jason Ibrahim},
title = {Smarter Contract Upgrades with Orthogonal Persistence},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3689490.3690401},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p73-p (type: Full Paper) doi:10.1145/3689490.3690401
|
| |
Schatz, Roland
|
VMIL '24: "On Automating Hybrid Execution ..."
On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code
Christoph Pichler, Paley Li, Roland Schatz, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p1,
author = {Christoph Pichler and Paley Li and Roland Schatz and Hanspeter Mössenböck},
title = {On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3689490.3690398},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p18-p (type: Full Paper) doi:10.1145/3689490.3690398
|
| |
Scholz, Bernhard |
VMIL '24: "Synthesizing Efficient Super-Instruction ..."
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Xiaowen Hu, David Zhao, and Bernhard Scholz
(University of Sydney, Australia; RelationalAI, Australia; Sonic Labs, Australia)
@InProceedings{VMIL24p66,
author = {Xiaowen Hu and David Zhao and Bernhard Scholz},
title = {Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3689490.3690403},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p91-p (type: Full Paper) doi:10.1145/3689490.3690403
|
| |
Štěpánek, Michal |
VMIL '24: "Reducing Feedback Pollution ..."
Reducing Feedback Pollution
Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)
@InProceedings{VMIL24p79,
author = {Sebastián Krynski and Michal Štěpánek and Filip Říha and Filip Křikava and Jan Vitek},
title = {Reducing Feedback Pollution},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3689490.3690404},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p98-p (type: Full Paper) doi:10.1145/3689490.3690404
|
| |
Tu, Chia-Heng
|
VMIL '24: "Accelerate RISC-V Instruction ..."
Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation
Yen-Fu Chen, Meng-Hung Chen, Ching-Chun Huang, and Chia-Heng Tu
(National Cheng Kung University, Taiwan)
@InProceedings{VMIL24p14,
author = {Yen-Fu Chen and Meng-Hung Chen and Ching-Chun Huang and Chia-Heng Tu},
title = {Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3689490.3690399},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p29-p (type: Full Paper) doi:10.1145/3689490.3690399
|
| |
Tůma, Petr |
VMIL '24: "An Analysis of Compiled Code ..."
An Analysis of Compiled Code Reusability in Dynamic Compilation
Andrej Pečimúth, David Leopoldseder, and Petr Tůma
(Charles University, Prague, Czechia; Oracle Labs, Czechia; Oracle Labs, Austria)
@InProceedings{VMIL24p53,
author = {Andrej Pečimúth and David Leopoldseder and Petr Tůma},
title = {An Analysis of Compiled Code Reusability in Dynamic Compilation},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3689490.3690406},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p82-p (type: Full Paper) doi:10.1145/3689490.3690406
|
| |
Vandersmith, Ryan
|
VMIL '24: "Smarter Contract Upgrades ..."
Smarter Contract Upgrades with Orthogonal Persistence
Luc Bläser, Claudio Russo, Gabor Greif, Ryan Vandersmith, and Jason Ibrahim
(DFINITY Foundation, Switzerland)
@InProceedings{VMIL24p40,
author = {Luc Bläser and Claudio Russo and Gabor Greif and Ryan Vandersmith and Jason Ibrahim},
title = {Smarter Contract Upgrades with Orthogonal Persistence},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3689490.3690401},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p73-p (type: Full Paper) doi:10.1145/3689490.3690401
|
| |
Vitek, Jan |
VMIL '24: "Reducing Feedback Pollution ..."
Reducing Feedback Pollution
Sebastián Krynski, Michal Štěpánek, Filip Říha, Filip Křikava, and Jan Vitek
(Czech Technical University, Czechia; Northeastern University, USA)
@InProceedings{VMIL24p79,
author = {Sebastián Krynski and Michal Štěpánek and Filip Říha and Filip Křikava and Jan Vitek},
title = {Reducing Feedback Pollution},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3689490.3690404},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p98-p (type: Full Paper) doi:10.1145/3689490.3690404
|
| |
Zhao, David
|
VMIL '24: "Synthesizing Efficient Super-Instruction ..."
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine
Xiaowen Hu, David Zhao, and Bernhard Scholz
(University of Sydney, Australia; RelationalAI, Australia; Sonic Labs, Australia)
@InProceedings{VMIL24p66,
author = {Xiaowen Hu and David Zhao and Bernhard Scholz},
title = {Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine},
booktitle = {Proc.\ VMIL},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3689490.3690403},
year = {2024},
}
Publisher's Version
Article: splashws24vmilmain-p91-p (type: Full Paper) doi:10.1145/3689490.3690403
|