Articles with public access mandates - Jens PalsbergLearn more
Available somewhere: 17
Achieving a quantum smart workforce
CD Aiello, DD Awschalom, H Bernien, T Brower, KR Brown, TA Brun, ...
Quantum Science and Technology 6 (3), 030501, 2021
Mandates: US National Science Foundation, US Department of Energy
Building a quantum engineering undergraduate program
A Asfaw, A Blais, KR Brown, J Candelaria, C Cantwell, LD Carr, ...
IEEE Transactions on Education 65 (2), 220-242, 2022
Mandates: US National Science Foundation, US Department of Energy, Canada First …
Quantum abstract interpretation
N Yu, J Palsberg
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Mandates: US National Science Foundation, Australian Research Council
Quartz: superoptimization of quantum circuits
M Xu, Z Li, O Padon, S Lin, J Pointing, A Hirth, H Ma, J Palsberg, A Aiken, ...
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
Mandates: US National Science Foundation
Binary reduction of dependency graphs
CG Kalhauge, J Palsberg
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
Mandates: US Department of Defense
Sound deadlock prediction
CG Kalhauge, J Palsberg
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018
Mandates: US Department of Defense
Sound and efficient concurrency bug prediction
Y Cai, H Yun, J Wang, L Qiao, J Palsberg
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
Mandates: US National Science Foundation, Chinese Academy of Sciences, National …
Breaking through the normalization barrier: a self-interpreter for F-omega
M Brown, J Palsberg
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
Mandates: US National Science Foundation
A formalization of Java’s concurrent access modes
J Bender, J Palsberg
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019
Mandates: US National Science Foundation
Striking a balance: pruning false-positives from static call graphs
A Utture, S Liu, CG Kalhauge, J Palsberg
Proceedings of the 44th International Conference on Software Engineering …, 2022
Mandates: US National Science Foundation, US Department of Defense
Njr: A normalized java resource
J Palsberg, CV Lopes
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 100-106, 2018
Mandates: US National Science Foundation
Logical bytecode reduction
CG Kalhauge, J Palsberg
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
Mandates: US National Science Foundation, US Department of Defense
Low-overhead deadlock prediction
Y Cai, R Meng, J Palsberg
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China
Typed self-evaluation via intensional type functions
M Brown, J Palsberg
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Mandates: US National Science Foundation
Jones-optimal partial evaluation by specialization-safe normalization
M Brown, J Palsberg
Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017
Mandates: US National Science Foundation
Fast and precise application code analysis using a partial library
A Utture, J Palsberg
Proceedings of the 44th International Conference on Software Engineering …, 2022
Mandates: US National Science Foundation, US Department of Defense
Compiling Volatile Correctly in Java
S Liu, J Bender, J Palsberg
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program