Rao, X.
, Georges, A. L., Legoupil, M., Watt, C.
, Pichon-Pharabod, J., Gardner, P.
& Birkedal, L. (2023).
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs.
Proceedings of the ACM on Programming Languages ,
7, Artikel 151.
https://doi.org/10.1145/3591265
Mortensen, K. O., Zardbani, F., Haque, M. A., Agustsson, S. Y., Mottin, D., Hofmann, P. & Karras, P. (2023).
Marigold: Efficient k-means Clustering in High Dimensions.
Proceedings of the VLDB Endowment,
16(7), 1740-1748.
https://doi.org/10.14778/3587136.3587147
Guéneau, A., Hostert, J., Spies, S., Sammler, M.
, Birkedal, L. & Dreyer, D. (2023).
Melocoton: A Program Logic for Verified Interoperability Between OCaml and C.
Proceedings of the ACM on Programming Languages ,
7(OOPSLA2), 716-744. Artikel 247.
https://doi.org/10.1145/3622823
Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023).
Minimizing Setup in Broadcast-Optimal Two Round MPC. I C. Hazay & M. Stam (red.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 129-158). Springer.
https://doi.org/10.1007/978-3-031-30617-4_5
Grønbæk, J. E., Borowski, M., Hoggan, E., Mackay, W., Beaudouin-Lafon, M.
& Klokmose, C. N. (2023).
Mirrorverse: Live Tailoring of Video Conferencing Interfaces. I S. Follmer, J. Han, J. Steimle & N. Henry Riche (red.),
UIST '23: Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 14 Association for Computing Machinery.
https://doi.org/10.1145/3586183.3606767
Schneiders, E., Boudouraki, A., Reyes-Cruz, G., Martinez Avila, J. P., Elmimouni, H.
, Grønbæk, J. E. S., Rintel, S. & Joshi, S. (2023).
Mobility and Utility in Robot Mediated Interaction: An Interactive Workshop for the Identification of Use Cases and Affordances of Telepresence Robots. I A. Komninos, C. Santoro, D. Gavalas, J. Schoening, M. Matera & L. A. Leiva (red.),
Proceedings of the 25th International Conference on Mobile Human-Computer Interaction, MobileHCI 2023 Companion Artikel 34 Association for Computing Machinery.
https://doi.org/10.1145/3565066.3609791
Nieto, A., Daby-Seesaram, A.
, Gondelman, L., Timany, A. & Birkedal, L. (2023).
Modular Verification of State-Based CRDTs in Separation Logic. I K. Ali & G. Salvaneschi (red.),
37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 22 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ECOOP.2023.22
Francati, D., Friolo, D., Malavolta, G.
& Venturi, D. (2023).
Multi-key and Multi-input Predicate Encryption from Learning with Errors. I C. Hazay & M. Stam (red.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part III (s. 573-604). Springer.
https://doi.org/10.1007/978-3-031-30620-4_19
Dahl, J. F., Gregersen, S. B., Andersen, U.
, Schulz, H.-J. & Corredig, M. (2023).
Novel Visual Exploration of Large Amplitude Oscillatory Shear (LAOS) Rheology on Soft Food Materials. Abstract fra Nordic Rheology Conference 2023, Aarhus, Danmark.
Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L., Resch, N.
& Scholl, P. (2023).
Oblivious Transfer with Constant Computational Overhead. I C. Hazay & M. Stam (red.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I (s. 271-302). Springer.
https://doi.org/10.1007/978-3-031-30545-0_10
Afshani, P., Cheng, P., Basu Roy, A. & Wei, Z. (2023).
On Range Summary Queries. I K. Etessami, U. Feige & G. Puppis (red.),
50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) (s. 7:1-7:17). Artikel 7 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.ICALP.2023.7
Chakraborty, S., Kayal, C., Mittal, R.
, Paraashar, M., Sanyal, S. & Saurabh, N. (2023).
On the Composition of Randomized Query Complexity and Approximate Degree. I N. Megow & A. Smith (red.),
Approximation, Randomization, and Combinatorial Optimization: Algorithms and Techniques, APPROX/RANDOM 2023 Artikel 63 Dagstuhl Publishing.
https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2023.63
Badrinarayanan, S., Miao, P., Mukherjee, P.
& Ravi, D. (2023).
On the Round Complexity of Fully Secure Solitary MPC with Honest Majority. I G. N. Rothblum & H. Wee (red.),
Theory of Cryptography - 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 - December 2, 2023, Proceedings, Part II (Bind 14370, s. 124-155). Springer, Cham.
https://doi.org/10.1007/978-3-031-48618-0_5
Hall-Andersen, M. N. & Nielsen, J. B. (2023).
On Valiant's Conjecture: Impossibility of Incrementally Verifiable Computation from Random Oracles. I C. Hazay & M. Stam (red.),
Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 438-469). Springer.
https://doi.org/10.1007/978-3-031-30617-4_15,
https://doi.org/10.1007/978-3-031-30617-415
Hu, E.
, Grønbæk, J. E., Houck, A. & Heo, S. (2023).
OpenMic: Utilizing Proxemic Metaphors for Conversational Floor Transitions in Multiparty Video Meetings. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.),
CHI'23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 793 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581013
Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U.
& Pavlogiannis, A. (2023).
Optimal Reads-From Consistency Checking for C11-Style Memory Models.
Proceedings of the ACM on Programming Languages ,
7(PLDI), 761–785. Artikel 137.
https://doi.org/10.1145/3591251
Mai, T., Munteanu, A., Musco, C., Rao, A. B.
, Schwiegelshohn, C. & Woodruff, D. P. (2023).
Optimal Sketching Bounds for Sparse Linear Regression.
Proceedings of Machine Learning Research,
206, 11288-11316.
https://proceedings.mlr.press/v206/mai23a.html
Pfeuffer, K., Obernolte, J., Dietz, F., Mäkelä, V., Sidenmark, L.
, Manakhov, P., Pakanen, M. & Alt, F. (2023).
PalmGazer: Unimanual Eye-hand Menus in Augmented Reality. I T. Huang, M. Sra & F. Argelaguet (red.),
SUI '23: Proceedings of the 2023 ACM Symposium on Spatial User Interaction (s. 1–12). Artikel 11 Association for Computing Machinery.
https://doi.org/10.1145/3607822.3614523
Grønbæk, J. E., Pfeuffer, K., Velloso, E., Astrup, M., Pedersen, M. I., Kjær, M.
, Leiva, G. & Gellersen, H. (2023).
Partially Blended Realities: Aligning Dissimilar Spaces for Distributed Mixed Reality Meetings. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.),
CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 456 Association for Computing Machinery.
https://doi.org/10.1145/3544548.3581515
Airiau, S., Aziz, H.
, Caragiannis, I., Kruger, J., Lang, J. & Peters, D. (2023).
Portioning using ordinal preferences: Fairness and efficiency.
Artificial Intelligence,
314, Artikel 103809.
https://doi.org/10.1016/j.artint.2022.103809
Vanegas, H., Cabarcas, D.
& Aranha, D. F. (2023).
Privacy-Preserving Edit Distance Computation Using Secret-Sharing Two-Party Computation. I A. Aly & M. Tibouchi (red.),
Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (s. 67-86). Springer.
https://doi.org/10.1007/978-3-031-44469-2_4