| |
Bender, John
|
JENSFEST '24: "Correct Compilation of Concurrent ..."
Correct Compilation of Concurrent C Code
John Bender
(Sandia National Laboratories, USA)
@InProceedings{JENSFEST24p251,
author = {John Bender},
title = {Correct Compilation of Concurrent C Code},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {251-250},
doi = {10.1145/3694848.3694856},
year = {2024},
}
 Publisher's Version
Article: splashws24jensfestmain-p6-p (type: Full Paper) doi:10.1145/3694848.3694856
|
| |
Berner, Maverick |
JENSFEST '24: "MiniJava on RISC-V: A Game ..."
MiniJava on RISC-V: A Game of Global Compilers Domination
Jack Forden, Alexander Gebhard, Maverick Berner, and Dennis Brylow
(Marquette University, USA)
@InProceedings{JENSFEST24p151,
author = {Jack Forden and Alexander Gebhard and Maverick Berner and Dennis Brylow},
title = {MiniJava on RISC-V: A Game of Global Compilers Domination},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {151-150},
doi = {10.1145/3694848.3694854},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p4-p (type: Full Paper) doi:10.1145/3694848.3694854
|
| |
Brylow, Dennis |
JENSFEST '24: "MiniJava on RISC-V: A Game ..."
MiniJava on RISC-V: A Game of Global Compilers Domination
Jack Forden, Alexander Gebhard, Maverick Berner, and Dennis Brylow
(Marquette University, USA)
@InProceedings{JENSFEST24p151,
author = {Jack Forden and Alexander Gebhard and Maverick Berner and Dennis Brylow},
title = {MiniJava on RISC-V: A Game of Global Compilers Domination},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {151-150},
doi = {10.1145/3694848.3694854},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p4-p (type: Full Paper) doi:10.1145/3694848.3694854
|
| |
Danvy, Olivier
|
JENSFEST '24: "Nested Summations ..."
Nested Summations
Olivier Danvy
(National University of Singapore, Singapore)
@InProceedings{JENSFEST24p351,
author = {Olivier Danvy},
title = {Nested Summations},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {351-350},
doi = {10.1145/3694848.3694858},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p8-p (type: Full Paper) doi:10.1145/3694848.3694858
|
| |
Ding, Shuo |
JENSFEST '24: "The Normalization Barrier ..."
The Normalization Barrier Revisited
Shuo Ding and Qirun Zhang
(Georgia Institute of Technology, USA)
@InProceedings{JENSFEST24p1,
author = {Shuo Ding and Qirun Zhang},
title = {The Normalization Barrier Revisited},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3694848.3694851},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p1-p (type: Full Paper) doi:10.1145/3694848.3694851
|
| |
Forden, Jack
|
JENSFEST '24: "MiniJava on RISC-V: A Game ..."
MiniJava on RISC-V: A Game of Global Compilers Domination
Jack Forden, Alexander Gebhard, Maverick Berner, and Dennis Brylow
(Marquette University, USA)
@InProceedings{JENSFEST24p151,
author = {Jack Forden and Alexander Gebhard and Maverick Berner and Dennis Brylow},
title = {MiniJava on RISC-V: A Game of Global Compilers Domination},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {151-150},
doi = {10.1145/3694848.3694854},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p4-p (type: Full Paper) doi:10.1145/3694848.3694854
|
| |
Gebhard, Alexander
|
JENSFEST '24: "MiniJava on RISC-V: A Game ..."
MiniJava on RISC-V: A Game of Global Compilers Domination
Jack Forden, Alexander Gebhard, Maverick Berner, and Dennis Brylow
(Marquette University, USA)
@InProceedings{JENSFEST24p151,
author = {Jack Forden and Alexander Gebhard and Maverick Berner and Dennis Brylow},
title = {MiniJava on RISC-V: A Game of Global Compilers Domination},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {151-150},
doi = {10.1145/3694848.3694854},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p4-p (type: Full Paper) doi:10.1145/3694848.3694854
|
| |
Grothoff, Christian |
JENSFEST '24: "Lost and Found in the Fog ..."
Lost and Found in the Fog of Trust
Özgür Kesim and Christian Grothoff
(Freie Universität Berlin, Germany; Code Blau, Germany; Bern University of Applied Sciences, Switzerland)
@InProceedings{JENSFEST24p101,
author = {Özgür Kesim and Christian Grothoff},
title = {Lost and Found in the Fog of Trust},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3694848.3694853},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p3-p (type: Full Paper) doi:10.1145/3694848.3694853
|
| |
Kesim, Özgür
|
JENSFEST '24: "Lost and Found in the Fog ..."
Lost and Found in the Fog of Trust
Özgür Kesim and Christian Grothoff
(Freie Universität Berlin, Germany; Code Blau, Germany; Bern University of Applied Sciences, Switzerland)
@InProceedings{JENSFEST24p101,
author = {Özgür Kesim and Christian Grothoff},
title = {Lost and Found in the Fog of Trust},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {101-100},
doi = {10.1145/3694848.3694853},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p3-p (type: Full Paper) doi:10.1145/3694848.3694853
|
| |
Mosses, Peter D.
|
JENSFEST '24: "Towards Verification of a ..."
Towards Verification of a Denotational Semantics of Inheritance
Peter D. Mosses
(TU Delft, Netherlands; Swansea University, United Kingdom)
@InProceedings{JENSFEST24p51,
author = {Peter D. Mosses},
title = {Towards Verification of a Denotational Semantics of Inheritance},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3694848.3694852},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p2-p (type: Full Paper) doi:10.1145/3694848.3694852
|
| |
Pereira, Fernando Magno Quintão
|
JENSFEST '24: "The Essence of the Flyweight ..."
The Essence of the Flyweight Design Pattern
Fernando Magno Quintão Pereira and Caio Raposo
(Federal University of Minas Gerais, Brazil)
@InProceedings{JENSFEST24p201,
author = {Fernando Magno Quintão Pereira and Caio Raposo},
title = {The Essence of the Flyweight Design Pattern},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3694848.3694855},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p5-p (type: Full Paper) doi:10.1145/3694848.3694855
|
| |
Raposo, Caio
|
JENSFEST '24: "The Essence of the Flyweight ..."
The Essence of the Flyweight Design Pattern
Fernando Magno Quintão Pereira and Caio Raposo
(Federal University of Minas Gerais, Brazil)
@InProceedings{JENSFEST24p201,
author = {Fernando Magno Quintão Pereira and Caio Raposo},
title = {The Essence of the Flyweight Design Pattern},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {201-200},
doi = {10.1145/3694848.3694855},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p5-p (type: Full Paper) doi:10.1145/3694848.3694855
|
| |
Teo, Bradley Wei Jie
|
JENSFEST '24: "Unboxing Virgil ADTs for Fun ..."
Unboxing Virgil ADTs for Fun and Profit
Bradley Wei Jie Teo and Ben L. Titzer
(Jane Street, USA; Carnegie Mellon University, USA)
@InProceedings{JENSFEST24p301,
author = {Bradley Wei Jie Teo and Ben L. Titzer},
title = {Unboxing Virgil ADTs for Fun and Profit},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3694848.3694857},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p7-p (type: Full Paper) doi:10.1145/3694848.3694857
|
| |
Titzer, Ben L. |
JENSFEST '24: "Unboxing Virgil ADTs for Fun ..."
Unboxing Virgil ADTs for Fun and Profit
Bradley Wei Jie Teo and Ben L. Titzer
(Jane Street, USA; Carnegie Mellon University, USA)
@InProceedings{JENSFEST24p301,
author = {Bradley Wei Jie Teo and Ben L. Titzer},
title = {Unboxing Virgil ADTs for Fun and Profit},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {301-300},
doi = {10.1145/3694848.3694857},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p7-p (type: Full Paper) doi:10.1145/3694848.3694857
|
| |
Zhang, Qirun
|
JENSFEST '24: "The Normalization Barrier ..."
The Normalization Barrier Revisited
Shuo Ding and Qirun Zhang
(Georgia Institute of Technology, USA)
@InProceedings{JENSFEST24p1,
author = {Shuo Ding and Qirun Zhang},
title = {The Normalization Barrier Revisited},
booktitle = {Proc.\ JENSFEST},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3694848.3694851},
year = {2024},
}
Publisher's Version
Article: splashws24jensfestmain-p1-p (type: Full Paper) doi:10.1145/3694848.3694851
|