School of Informatics

Foundations of Computation Publications

2024

Finite-memory strategies for almost-sure Energy-MeanPayoff objectives in MDPs

Dantam, M. & Mayr, R., 27 Apr 2024, (Accepted/In press) 51st ICALP 2024. Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Heuristic-free verification-inspired quantum benchmarking

Frank, J., Kashefi, E., Leichtle, D. & Oliveira, M. D., 16 Apr 2024, ArXiv, p. 1-19, 19 p.

Research output: Working paperPreprint

File

Quantum error suppression with subgroup stabilisation projectors

Yang, B., Kashefi, E., Leichtle, D. & Ollivier, H., 15 Apr 2024, ArXiv, p. 1-29, 29 p.

Research output: Working paperPreprint

File

The Professors and Computer Science Researchers

Bono, V., Craig, A., Galpin, V., Hippler, R. K., Lang, C., Powley, W., Spertus, E., Thuraisingham, B. & Wisniewski, P., 10 Apr 2024, Rendering History: The Women of ACM-W. Childress Townsend, G. (ed.). ACM, p. 305-380 76 p.

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Verifiable blind quantum computing with trapped ions and single photons

Drmota, P., Nadlinger, D. P., Main, D., Nichol, B. C., Ainley, E. M., Leichtle, D., Mantri, A., Kashefi, E., Srinivas, R., Araneda, G., Ballance, C. J. & Lucas, D. M., 10 Apr 2024, In: Physical Review Letters. 132, 15, p. 1-6 6 p., 150604.

Research output: Contribution to journalArticlepeer-review

Open Access
File

A Denotational Approach to Release/Acquire Concurrency

Dvir, Y., Kammar, O. & Lahav, O., 5 Apr 2024, Proceedings from the European Symposium on Programming (ESOP). Springer, Vol. 14577. p. 121-149 27 p. (Lecture Notes in Computer Science; vol. 14577).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Asymptotic Speedup via Effect Handlers

Hillerström, D., Lindley, S. & Longley, J., 5 Apr 2024, In: Journal of Functional Programming. 34, p. 1-54 54 p., e5.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Axioms for the category of Hilbert spaces and linear contractions

Heunen, C., Kornell, A. & Van Der Schaaf, N., 2 Apr 2024, In: Bulletin of the london mathematical society. 56, 4, p. 1532-1549 18 p.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Guiding enumerative program synthesis with large language models

Li, Y., Parsert, J. & Polgreen, E., 26 Mar 2024, (Accepted/In press) Computer Aided Verification: 36th International Conference. Springer, (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Relative Keys: Putting Feature Explanation into Context

An, S. & Cao, Y., 26 Mar 2024, In: Proceedings of the ACM on Management of Data. 2, 1, p. 1-28 28 p., 8.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis

Parsert, J. & Polgreen, E., 24 Mar 2024, The 38th Annual AAAI Conference on Artificial Intelligence: AAAI Technical Track on Knowledge Representation and Reasoning. 9 ed. AAAI Press, Vol. 38. p. 10670-10678 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Memoryless strategies in stochastic reachability games

Kiefer, S., Mayr, R., Shirmohammadi, M. & Totzke, P., 20 Mar 2024, Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday. Kiefer, S., Křetínský, J. & Kučera, A. (eds.). Springer, Cham, Vol. 14660. p. 225–242 18 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Open Access
File

CAN WE TRUST EXPLAINABLE AI METHODS ON ASR? AN EVALUATION ON PHONEME RECOGNITION

Wu, X., Bell, P. & Rajan, A., 18 Mar 2024, ICASSP 2024 - 2024 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 10296-10300 5 p. (International Conference on Acoustics, Speech, and Signal Processing (ICASSP)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Verification of quantum computations without trusted preparations or measurements

Kashefi, E., Leichtle, D., Music, L. & Ollivier, H., 15 Mar 2024, ArXiv, p. 1-27, 27 p.

Research output: Working paperPreprint

File

Ordered Locales

Heunen, C. & Schaaf, N. V. D., 8 Mar 2024, In: Journal of pure and applied algebra. 228, 7, p. 1-23 23 p., 107654.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Building trust in deep learning-based immune response predictors with interpretable explanations

Borole, P. & Rajan, A., 6 Mar 2024, In: Communications Biology. 7, 1, p. 1-12 12 p., 279.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Eris: Measuring discord among multidimensional data sources

Abelló, A. & Cheney, J., 1 Mar 2024, In: VLDB Journal. 33, 2, p. 399-423 25 p.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Shoggoth: A Formal Foundation for Strategic Rewriting

Qin, X., O’Connor, L., van Glabbeek, R., Höfner, P., Kammar, O. & Steuwer, M., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 61-89 29 p., 3.

Research output: Contribution to journalArticlepeer-review

Open Access
File

With a Few Square Roots, Quantum Computing Is as Easy as Pi

Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 546-574 29 p., 19.

Research output: Contribution to journalArticlepeer-review

Open Access
File
2023

Blockchain participation games

Chaidos, P., Kiayias, A. & Markakis, E., 31 Dec 2023, Web and Internet Economics: 19th International Conference. Garg, J., Klimm, M. & Kong, Y. (eds.). Springer, Vol. 14413. p. 169-187 19 p. (Lecture Notes in Computer Science; vol. 14413).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

Brauckmann, A., Polgreen, E., Grosser, T. & O'Boyle, M. F. P., 27 Dec 2023, 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT). IEEE, p. 39-50 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Counterfactual Explanation at Will, with Zero Privacy Leakage

An, S. & Cao, Y., 20 Dec 2023, (Accepted/In press) In: Proceedings of the ACM on Management of Data. 2, 3 (SIGMOD), 29 p., 130.

Research output: Contribution to journalArticlepeer-review

Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning

Peng, C., Lv, Z., Fu, J., Liang, J., Zhang, Z., Rajan, A. & Yang, P., 15 Dec 2023, (Accepted/In press) IEEE/ACM International Conference on Software Engineering (ICSE) 2024 - Proceedings. 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Machine learning and topological data analysis identify unique features of human papillae in 3D scans

Andreeva, R., Sarkar, A. & Sarkar, R., 14 Dec 2023, In: Scientific Reports. 13, 1, p. 1-14 14 p., 21529.

Research output: Contribution to journalArticlepeer-review

Open Access
File

DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models

Louloudakis, N., Gibson, P., Cano, J. & Rajan, A., 11 Dec 2023, 2023 IEEE International Conference on Software Maintenance and Evolution (ICSME). IEEE, p. 414-424 11 p. (IEEE International Conference on Software Maintenance and Evolution (ICSME)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Agile cryptography: A universally composable approach

Badertscher, C., Ciampi, M. & Kiayias, A., 27 Nov 2023, Theory of Cryptography: 21st International Conference. Rothblum, G. & Wee, H. (eds.). 1 ed. Springer, Vol. 14372. p. 480-509 30 p. (Lecture Notes in Computer Science; vol. 14372).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Multi-client distributed blind quantum computation with the Qline architecture

Polacchi, B., Leichtle, D., Limongi, L., Carvacho, G., Milani, G., Spagnolo, N., Kaplan, M., Sciarrino, F. & Kashefi, E., 25 Nov 2023, In: Nature Communications. 14, 1, p. 1-8 8 p., 7743.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Would Friedman burn your tokens?

Kiayias, A., Lazos, P. & Schlegel, J. C., 25 Nov 2023, (Accepted/In press) Financial Cryptography and Data Security. Springer, (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

SoK: A stratified approach to blockchain decentralization

Ovezik, C., Karakostas, D. & Kiayias, A., 23 Nov 2023, (Accepted/In press) Financial Cryptography and Data Security. Springer, (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Fait Accompli Committee Selection: Improving the size-security tradeoff of stake-based committees

Gaži, P., Kiayias, A. & Russell, A., 21 Nov 2023, Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. ACM, p. 845-858 14 p. (Proceedings of the ACM SIGSAC Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition

Louloudakis, N., Gibson, P., Cano, J. & Rajan, A., 8 Nov 2023, 38th IEEE/ACM International Conference on Automated Software Engineering. IEEE, p. 1795-1799 5 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

C2TACO: Lifting Tensor Code to TACO

De Souza Magalhães, J. W., Woodruff, J., Polgreen, E. & O'Boyle, M. F. P., 22 Oct 2023, GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. ACM, p. 42–56 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Comprehending queries over finite maps

Ricciotti, W., 22 Oct 2023, PPDP'23: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. ACM Association for Computing Machinery, p. 1-12 12 p. 8. (ACM International Conference Proceedings Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Message Chains for Distributed System Verification

Mora, F., Desai, A., Polgreen, E. & Seshia, S. A., 16 Oct 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, p. 1-27 27 p., 300.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Adaptively secure random beacons for ungrindable blockchains

Kiayias, A., Moore, C., Quader, S. & Russell, A., 11 Oct 2023, 2023 IEEE 43rd International Conference on Distributed Computing Systems. IEEE, (International Conference on Distributed Computing Systems (ICDCS)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Conditional Cube Key Recovery Attack on Round-Reduced Xoodyak

Vaziri, M. & Velichkov, V., 4 Oct 2023, Applied Cryptography and Network Security Workshops: ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19–22, 2023, Proceedings. Springer, Vol. 13907. p. 43-62 20 p. (Lecture Notes in Computer Science; vol. 13907).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Counting vertices of integral polytopes defined by facets

Guo, H. & Jerrum, M., 1 Oct 2023, In: Discrete & computational geometry. 70, 3, p. 975-990 16 p.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour

Zaliva, V., Memarian, K., De Oliveira Almeida, R., Clarke, J., Davis, B., Richardson, A., Chisnall, D., Campbell, B., Stark, I., Watson, R. N. M. & Sewell, P., 19 Sept 2023, (Accepted/In press) ASPLOS 2024: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. ACM, p. 1-16 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Towards Building Verifiable CPS using Lingua Franca*

Lin, S., Manerkar, Y. A., Lohstroh, M., Polgreen, E., Yu, S-J., Jerad, C., Lee, E. A. & Seshia, S. A., 9 Sept 2023, In: ACM Transactions on Embedded Computing Systems. 22, 5, p. 1-24 24 p., 155.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games

Mayr, R. & Dantam, M., 28 Aug 2023, 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 38:1-38:15 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: Anemoi Permutations and Jive Compression Mode

Bouvier, C., Briaud, P., Chaidos, P., Perrin, L., Salen, R., Velichkov, V. & Willems, D., 9 Aug 2023, Advances in Cryptology – CRYPTO 2023. Springer, Vol. 14083. p. 507-539 (Lecture Notes in Computer Science; vol. 14083).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

MITra: A Framework for Multi-Instance Graph Traversal

Li, J., Zhao, W., Ntarmos, N., Cao, Y. & Buneman, P., 8 Aug 2023, In: Proceedings of the VLDB Endowment. 16, 10, p. 2551-2564 14 p.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Compact inverse categories

Heunen, C. & Cockett, R., 4 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond . Springer, Vol. 25. p. 813-832 (Outstanding Contributions to Logic).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Metric space magnitude and generalisation in neural networks

Andreeva, R., Limbeck, K., Rieck, B. & Sarkar, R., 28 Jul 2023, Proceedings of 2nd Annual Workshop on Topology, Algebra, and Geometry in Machine Learning (TAG-ML). TAG-ML, ICML ed. Journal of Machine Learning Research: Workshop and Conference Proceedings, Vol. 221. p. 242-253 11 p. (Proceedings of Machine Learning Research; vol. 221).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Extracting Graphs Properties with Semantic Joins

Cao, Y., Fan, W., Fu, W., Jin, R., Ou, W. & Li, W., 26 Jul 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 2262-2275 14 p. (International Conference on Data Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

An open-source digital contact tracing system tailored to haulage

Muwonge, A., Wee, B. A., Mugerwa, I., Nabunya, E., Mpyangu, C. M., Bronsvoort, M., Ssebaggala, E. R., Kiayias, A., Mwaka, E. S. & Joloba, M. L., 19 Jul 2023, (E-pub ahead of print) In: Frontiers in Digital Health. 5, p. 1-14 13 p.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields  

Feng, W., Guo, H. & Wang, J., 12 Jul 2023, In: Information and Computation. 294, p. 1-34 105066.

Research output: Contribution to journalArticlepeer-review

Open Access
File

Challenges in Explaining Brain Tumor Detection

Legastelois, B., Rafferty, A., Brennan, P., Chockler, H., Rajan, A. & Belle, V., 11 Jul 2023, TAS 2023 - Proceedings of the 1st International Symposium on Trustworthy Autonomous Systems. ACM Association for Computing Machinery, p. 1-8 8 p. 21. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Blockchain nash dynamics and the pursuit of compliance

Karakostas, D., Kiayias, A. & Zacharias, T., 5 Jul 2023, Proceedings of the 4th ACM Conference on Advances in Financial Technologies. ACM, p. 281–293 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

SoK: Blockchain governance

Kiayias, A. & Lazos, P., 5 Jul 2023, Proceedings of the 4th ACM Conference on Advances in Financial Technologies. ACM, p. 61-73 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File