| |
Jung, Ralf
|
ICOOOLPS '24: "Miri: Practical Undefined ..."
Miri: Practical Undefined Behavior Detection for Rust (Keynote)
Ralf Jung
(ETH Zurich, Switzerland)
@InProceedings{ICOOOLPS24p1,
author = {Ralf Jung},
title = {Miri: Practical Undefined Behavior Detection for Rust (Keynote)},
booktitle = {Proc.\ ICOOOLPS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3679005.3695733},
year = {2024},
}
 Publisher's Version
Article: isstaws24icooolpsmain-key1-p (type: Abstract) doi:10.1145/3679005.3695733
|
| |
Odersky, Martin
|
ICOOOLPS '24: "Stack-Copying Delimited Continuations ..."
Stack-Copying Delimited Continuations for Scala Native
Cao Nguyen Pham and Martin Odersky
(EPFL, Switzerland)
@InProceedings{ICOOOLPS24p13,
author = {Cao Nguyen Pham and Martin Odersky},
title = {Stack-Copying Delimited Continuations for Scala Native},
booktitle = {Proc.\ ICOOOLPS},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3679005.3685979},
year = {2024},
}
Publisher's Version
Article: isstaws24icooolpsmain-id1-p (type: Full Paper) doi:10.1145/3679005.3685979
|
| |
Pham, Cao Nguyen
|
ICOOOLPS '24: "Stack-Copying Delimited Continuations ..."
Stack-Copying Delimited Continuations for Scala Native
Cao Nguyen Pham and Martin Odersky
(EPFL, Switzerland)
@InProceedings{ICOOOLPS24p13,
author = {Cao Nguyen Pham and Martin Odersky},
title = {Stack-Copying Delimited Continuations for Scala Native},
booktitle = {Proc.\ ICOOOLPS},
publisher = {ACM},
pages = {13-12},
doi = {10.1145/3679005.3685979},
year = {2024},
}
Publisher's Version
Article: isstaws24icooolpsmain-id1-p (type: Full Paper) doi:10.1145/3679005.3685979
|