Cited By
View all- Ebling M(2024)Resources for Teaching Operating Systems: A Survey of Instructors and a Literature ReviewACM Transactions on Computing Education10.1145/368885324:4(1-28)Online publication date: 24-Oct-2024
- Hu JChong SSeltzer M(2024)Parallel Assembly SynthesisLogic-Based Program Synthesis and Transformation10.1007/978-3-031-71294-4_1(3-26)Online publication date: 9-Sep-2024
- Hu JLu EHolland DKawaguchi MChong SSeltzer M(2023)Towards Porting Operating Systems with Program SynthesisACM Transactions on Programming Languages and Systems10.1145/356394345:1(1-70)Online publication date: 3-Mar-2023
- Show More Cited By