Foundations of Computation Publications
Fast sampling of satisfying assignments from random k-SAT with applications to connectivity
Chen, Z., Galanis, A., Goldberg, L. A., Guo, H., Herrera-Poyatos, A., Mani, N. & Moitra, A., 30 Jul 2024, (Accepted/In press) In: Siam journal on discrete mathematics.Research output: Contribution to journal › Article › peer-review
Transforming optimization problems into disciplined convex programming form
Fernández Mir, R., Jackson, P. B., Bhat, S., Goens, A. & Grosser, T., 29 Jul 2024, Intelligent Computer Mathematics: 17th International Conference. Kohlhase, A. & Kovács, L. (eds.). Springer, p. 183-202 20 p. (Lecture Notes in Artificial Intelligence; vol. 14960 ).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Topological generalization bounds for discrete-time stochastic optimization algorithms
Andreeva, R., Dupuis, B., Sarkar, R., Birdal, T. & Şimşekli, U., 11 Jul 2024, ArXiv.Research output: Working paper › Preprint
Approximate counting for spin systems in sub-quadratic time
Anand, K., Feng, W., Freifeld, G., Guo, H. & Wang, J., 2 Jul 2024, 51st International Colloquium on Automata, Languages, and Programming. Bringmann, K., Grohe, M., Puppis, G. & Svensson, O. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-20 20 p. 11. (Leibniz International Proceedings in Informatics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Hack me if you can: Aggregating AutoEncoders for countering persistent access threats within highly imbalanced data
Benabderrahmane, S., Hoang, N., Valtchev, P., Cheney, J. & Rahwan, T., Nov 2024, In: Future Generation Computer Systems. 160, p. 926-941 16 p.Research output: Contribution to journal › Article › peer-review
A pyramid of (formal) software verification
Brain, M. & Polgreen, E., 18 Jun 2024, (Accepted/In press) Proceedings of the 26th International Symposium on Formal Methods. Springer, p. 1-27 27 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Guiding a language-model based protein design method towards MHC Class-I immune-visibility targets in vaccines and therapeutics
Gasser, H-C., Oyarzún, D. A., Rajan, A. & Alfaro, J. A., Jun 2024, In: ImmunoInformatics. 14, p. 1-14 14 p., 100035.Research output: Contribution to journal › Article › peer-review
Counterfactual explanation at will, with zero privacy leakage
An, S. & Cao, Y., 30 May 2024, In: Proceedings of the ACM on Management of Data. 2, 3, p. 1-29 29 p., 130.Research output: Contribution to journal › Article › peer-review
Compositional reversible computation
Carette, J., Heunen, C., Kaarsgaard, R. & Sabry, A., 29 May 2024, International Conference on Reversible Computation. Ægidius Mogensen, T. & Mikulski, Ł. (eds.). Springer, Vol. 14680. p. 10-27 18 p. (Lecture Notes in Computer Science ).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Restricted randomized benchmarking with universal gates of fixed sequence length
Mehrani, M., Masoudi, K., Mezher, R., Kashefi, E. & Sadhukhan, D., 8 May 2024, ArXiv.Research output: Working paper › Preprint
Quantum-enhanced Markov Chain Monte Carlo for systems larger than your Quantum Computer
Ferguson, S. & Wallden, P., 7 May 2024, ArXiv.Research output: Working paper › Preprint
Ordering transactions with bounded unfairness: Definitions, complexity and constructions
Kiayias, A., Leonardos, N. & Shen, Y., 1 May 2024, Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. Joye, M. & Leander, G. (eds.). Springer, Vol. 14653. p. 34-63 30 p. (Lecture Notes in Computer Science; vol. 14653).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Proof-of-work-based consensus in expected-constant time
Garay, J., Kiayias, A. & Shen, Y., 1 May 2024, Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. Joye, M. & Leander, G. (eds.). Springer, Vol. 14653. p. 96-125 30 p. (Lecture Notes in Computer Science; vol. 14653).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Approximate lower bound arguments
Chaidos, P., Kiayias, A., Reyzin, L. & Zinovyev, A., 28 Apr 2024, Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques. Joye, M. & Leander, G. (eds.). Springer, Vol. 14654. p. 55-84 30 p. (Lecture Notes in Computer Science; vol. 14654).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 InformatikResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 paper › Preprint
Tiered mechanisms for blockchain transaction fees
Kiayias, A., Koutsoupias, E., Lazos, P. & Panagiotakos, G., 16 Apr 2024, (Accepted/In press) Mathematical Research for Blockchain Economy: Springer Proceedings in Business and Economics.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 paper › Preprint
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 proceeding › Chapter (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 journal › Article › peer-review
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 proceeding › Conference contribution
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 journal › Article › peer-review
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 journal › Article › peer-review
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 proceeding › Conference 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 journal › Article › peer-review
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 proceeding › Conference contribution
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, Vol. 14660. p. 225–242 18 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
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). Institute of Electrical and Electronics Engineers, p. 10296-10300 5 p. (International Conference on Acoustics, Speech, and Signal Processing (ICASSP)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 paper › Preprint
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 journal › Article › peer-review
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 journal › Article › peer-review
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 journal › Article › peer-review
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 journal › Article › peer-review
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 journal › Article › peer-review
Consensus redux: Distributed ledgers in the face of adversarial supremacy
Badertscher, C., Gazi, P., Kiayias, A., Russell, A. & Zikas, V., 2024, 2024 IEEE 37th Computer Security Foundations Symposium. Institute of Electrical and Electronics Engineers, p. 267-282 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 proceeding › Conference contribution
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). Institute of Electrical and Electronics Engineers, p. 39-50 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 proceeding › Conference contribution
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 journal › Article › peer-review
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). Institute of Electrical and Electronics Engineers, p. 414-424 11 p. (IEEE International Conference on Software Maintenance and Evolution (ICSME)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 proceeding › Conference contribution
Castles in the Air
Longley, J., 27 Nov 2023, Lulu Press, Inc. 582 p.Research output: Book/Report › Book
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 journal › Article › peer-review
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 proceeding › Conference contribution
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 proceeding › Conference contribution
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 proceeding › Conference contribution
Universal properties of partial quantum maps
Andres-Martinez, P., Heunen, C. & Kaarsgaard, R., 16 Nov 2023, Proceedings 19th International Conference on Quantum Physics and Logic. EPTCS, Vol. 394. p. 192–207 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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. Institute of Electrical and Electronics Engineers, p. 1795-1799 5 p. (IEEE/ACM International Conference on Automated Software Engineering (ASE)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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 proceeding › Conference contribution
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 proceeding › Conference contribution