Laboratory for Foundations of Computer Science

Search results

• Deciding on Personalized Ads: Nudging Developers About User Privacy

  Tahaei, M. (Creator), Vaniea, K. (Creator) & Frik, A. (Creator), Edinburgh DataShare, May 2021

  DOI: 10.7488/ds/3045, https://groups.inf.ed.ac.uk/tulips/papers/tahaei2021soups.pdf

  Dataset

• xdslproject/xdsl: v0.21.1

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Weber, M. (Creator), Bisbas, G. (Creator), Shaaban, D. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Vasiladiotis, C. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Stawinoga, N. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Mitenkov, G. (Creator), Cerioli, A. (Creator), Dutilleul, A. (Creator), Wang, S. (Creator), David, K. (Creator), Grover, K. (Creator), Jaulmes, L. (Creator), Dumoulin, J. (Creator), Rice, A. (Creator) & Steuwer, M. (Creator), Zenodo, 23 Jul 2024

  DOI: 10.5281/zenodo.12803033, https://github.com/xdslproject/xdsl/tree/v0.21.1

  Dataset

• xdslproject/xdsl: v0.31.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Rice, A. (Creator), Stawinoga, N. (Creator), Weber, M. (Creator), Vasiladiotis, C. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), David, K. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Delm, J. V. (Creator), Pompougnac, H. (Creator), Urquhart, E. (Creator), Ficarelli, F. (Creator), Manainen, M. (Creator), Mitenkov, G. (Creator), lfrenot (Creator) & Cerioli, A. (Creator), Zenodo, 24 Mar 2025

  DOI: 10.5281/zenodo.15079786, https://github.com/xdslproject/xdsl/tree/v0.31.0

  Dataset

• xdslproject/xdsl: 0.26.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Stawinoga, N. (Creator), Rice, A. (Creator), Weber, M. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), kingiler (Creator), Vasiladiotis, C. (Creator), Grosser, T. (Creator), kayode-gif (Creator), Brown, N. (Creator), Dumoulin, J. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Ulmann, C. (Creator), Tagore, P. (Creator), David, K. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator), lfrenot (Creator), Urquhart, E. (Creator), Wang, S. (Creator) & Manainen, M. (Creator), Zenodo, 13 Jan 2025

  DOI: 10.5281/zenodo.14640745, https://github.com/xdslproject/xdsl

  Dataset

• xdslproject/xdsl: v0.32.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Stawinoga, N. (Creator), Rice, A. (Creator), Weber, M. (Creator), Vasiladiotis, C. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), David, K. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Urquhart, E. (Creator), Delm, J. V. (Creator), Pompougnac, H. (Creator), Ficarelli, F. (Creator), Manainen, M. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator) & Mitenkov, G. (Creator), Zenodo, 29 Mar 2025

  DOI: 10.5281/zenodo.15106704

  Dataset

• xdslproject/xdsl: v0.26

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Stawinoga, N. (Creator), Rice, A. (Creator), Weber, M. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), kingiler (Creator), Vasiladiotis, C. (Creator), Grosser, T. (Creator), kayode-gif (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), David, K. (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Dumoulin, J. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), lfrenot (Creator), Mitenkov, G. (Creator), Cerioli, A. (Creator), Dutilleul, A. (Creator), Wang, S. (Creator), Manainen, M. (Creator) & Urquhart, E. (Creator), Zenodo, 1 Jan 2025

  DOI: 10.5281/zenodo.14584987, https://github.com/xdslproject/xdsl

  Dataset

• Analysis software for model checking Edinburgh buses

  Reijsbergen, D. (Creator) & Gao, W. (Creator), Edinburgh DataShare, 1 Sept 2016

  DOI: 10.7488/ds/1472

  Dataset

• Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'

  Huang, Q. (Creator), Zhou, L. (Creator), Fang, W. (Creator), Zhao, M. (Creator) & Ying, M. (Creator), Zenodo, 23 Apr 2025

  DOI: 10.5281/zenodo.15267327

  Dataset

• xdslproject/xdsl: v0.28.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Stawinoga, N. (Creator), Rice, A. (Creator), Weber, M. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), Vasiladiotis, C. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Ulmann, C. (Creator), Tagore, P. (Creator), David, K. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Urquhart, E. (Creator), Manainen, M. (Creator), lfrenot (Creator), Mitenkov, G. (Creator), Cerioli, A. (Creator), Dutilleul, A. (Creator) & Wang, S. (Creator), Zenodo, 12 Feb 2025

  DOI: 10.5281/zenodo.14859827, https://github.com/xdslproject/xdsl

  Dataset

• Opinions on Weblinks

  Albakry, S. (Creator), Vaniea, K. (Creator) & Wolters, M. (Creator), Edinburgh DataShare, 25 Apr 2020

  DOI: 10.7488/ds/2749

  Dataset

• xdslproject/xdsl: v0.24.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Stawinoga, N. (Creator), Weber, M. (Creator), Rice, A. (Creator), Bisbas, G. (Creator), Shaaban, D. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Vasiladiotis, C. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Ulmann, C. (Creator), Tagore, P. (Creator), David, K. (Creator), Delm, J. V. (Creator), Dumoulin, J. (Creator), Ficarelli, F. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator), lfrenot (Creator), Wang, S. (Creator), Grover, K. (Creator) & Urquhart, E. (Creator), Zenodo, 28 Nov 2024

  DOI: 10.5281/zenodo.14237736, https://github.com/xdslproject/xdsl/tree/v0.24.0

  Dataset

• Lothian Buses Full Fleet GPS Traces, 2014 to 2015

  Reijsbergen, D. (Depositor), Edinburgh DataShare, 29 Aug 2016

  DOI: 10.7488/ds/1470

  Dataset

• Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'

  Huang, Q. (Creator), Zhou, L. (Creator), Fang, W. (Creator), Zhao, M. (Creator) & Ying, M. (Creator), Zenodo, 12 Apr 2025

  DOI: 10.5281/zenodo.15202776

  Dataset

• xdslproject/xdsl: v0.33.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Rice, A. (Creator), Stawinoga, N. (Creator), Weber, M. (Creator), Vasiladiotis, C. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), David, K. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Urquhart, E. (Creator), Delm, J. V. (Creator), Manainen, M. (Creator), Pompougnac, H. (Creator), Ficarelli, F. (Creator), Goodman, E. (Creator) & lfrenot (Creator), Zenodo, 9 Apr 2025

  DOI: 10.5281/zenodo.15182573

  Dataset

• Collected cookie dialogs and dark patterns

  Vaniea, K. (Creator) & Kirkman, D. (Creator), Edinburgh DataShare, 16 Jun 2022

  DOI: 10.7488/ds/3475

  Dataset

• xdslproject/xdsl: v0.22.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Weber, M. (Creator), Bisbas, G. (Creator), Shaaban, D. (Creator), kingiler (Creator), Stawinoga, N. (Creator), Grosser, T. (Creator), kayode-gif (Creator), Vasiladiotis, C. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Ulmann, C. (Creator), Tagore, P. (Creator), Delm, J. V. (Creator), Rice, A. (Creator), Ficarelli, F. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator), Dumoulin, J. (Creator), Wang, S. (Creator), David, K. (Creator), Grover, K. (Creator), Jaulmes, L. (Creator) & Lücke, M. P. (Creator), Zenodo, 2 Sept 2024

  DOI: 10.5281/zenodo.13629318, https://github.com/xdslproject/xdsl/tree/v0.22.0

  Dataset

• xdslproject/xdsl: v0.23.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Weber, M. (Creator), Stawinoga, N. (Creator), Bisbas, G. (Creator), Shaaban, D. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Vasiladiotis, C. (Creator), Rice, A. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), David, K. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Dumoulin, J. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator), Wang, S. (Creator), Grover, K. (Creator), Jaulmes, L. (Creator) & Ochoa, E. (Creator), Zenodo, 11 Oct 2024

  DOI: 10.5281/zenodo.13921764, https://github.com/xdslproject/xdsl/tree/v0.23.0

  Dataset

• Effect Handlers for C via Coroutines - Artifact

  Alvarez-Picallo, M. (Creator), Freund, T. (Creator), Ghica, D. R. (Creator) & Lindley, S. (Creator), Zenodo, 1 Sept 2024

  DOI: 10.5281/zenodo.13619817, https://doi.org/10.1145/3689798

  Dataset

• xdslproject/xdsl: v0.27.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Stawinoga, N. (Creator), Rice, A. (Creator), Weber, M. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), Vasiladiotis, C. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), David, K. (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Urquhart, E. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator), lfrenot (Creator), Wang, S. (Creator) & Manainen, M. (Creator), Zenodo, 27 Jan 2025

  DOI: 10.5281/zenodo.14743952, https://github.com/xdslproject/xdsl

  Dataset

• Triangulating Context Lemmas

  McLaughlin, C. (Creator), McKinna, J. (Creator) & Stark, I. (Creator), Edinburgh DataShare, 6 Dec 2017

  DOI: 10.7488/ds/2264, https://popl18.sigplan.org/event/cpp-2018-triangulating-context-lemmas

  Dataset

• Effect Handlers for C via Coroutines - Artifact

  Alvarez-Picallo, M. (Creator), Freund, T. (Creator), Ghica, D. R. (Creator) & Lindley, S. (Creator), Zenodo, 29 Aug 2024

  DOI: 10.5281/zenodo.13485897, https://doi.org/10.1145/3689798

  Dataset

• Artifact for 'Efficient Formal Verification of Quantum Error Correcting Programs'

  Huang, Q. (Creator), Zhou, L. (Creator), Fang, W. (Creator), Zhao, M. (Creator) & Ying, M. (Creator), Zenodo, 19 Mar 2025

  DOI: 10.5281/zenodo.15039214

  Dataset

• xdslproject/xdsl: v0.21.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Weber, M. (Creator), Bisbas, G. (Creator), Shaaban, D. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Vasiladiotis, C. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Stawinoga, N. (Creator), Delm, J. V. (Creator), Ficarelli, F. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator), Wang, S. (Creator), David, K. (Creator), Grover, K. (Creator), Jaulmes, L. (Creator), Rice, A. (Creator), Steuwer, M. (Creator) & Lücke, M. P. (Creator), Zenodo, 18 Jul 2024

  DOI: 10.5281/zenodo.12769120, https://github.com/xdslproject/xdsl/tree/v0.21.0

  Dataset

• xdslproject/xdsl: v0.30.1

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Rice, A. (Creator), Stawinoga, N. (Creator), Weber, M. (Creator), Vasiladiotis, C. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), David, K. (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Delm, J. V. (Creator), Pompougnac, H. (Creator), Urquhart, E. (Creator), Ficarelli, F. (Creator), Manainen, M. (Creator), lfrenot (Creator), Mitenkov, G. (Creator) & Cerioli, A. (Creator), Zenodo, 14 Mar 2025

  DOI: 10.5281/zenodo.15025699, https://github.com/xdslproject/xdsl

  Dataset

• Morello Cerise Artifact

  Hammond, A. (Creator), Almeida, R. (Creator), Bauereiss, T. (Creator), Campbell, B. (Creator), Stark, I. (Creator) & Sewell, P. (Creator), Zenodo, 18 Mar 2025

  DOI: 10.5281/zenodo.15047228

  Dataset

• xdslproject/xdsl: v0.29.0

  Lopoukhine, S. (Creator), Mathieu, F. (Creator), Bauer, E. (Creator), Lydike, A. (Creator), Rice, A. (Creator), Stawinoga, N. (Creator), Weber, M. (Creator), Shaaban, D. (Creator), Bisbas, G. (Creator), Vasiladiotis, C. (Creator), kingiler (Creator), Grosser, T. (Creator), kayode-gif (Creator), Dumoulin, J. (Creator), Brown, N. (Creator), Degioanni, T. (Creator), KGrykiel (Creator), David, K. (Creator), Tagore, P. (Creator), Ulmann, C. (Creator), Delm, J. V. (Creator), Pompougnac, H. (Creator), Urquhart, E. (Creator), Ficarelli, F. (Creator), Dutilleul, A. (Creator), Cerioli, A. (Creator), Mitenkov, G. (Creator) & lfrenot (Creator), Zenodo, 4 Mar 2025

  DOI: 10.5281/zenodo.14968245, https://github.com/xdslproject/xdsl

  Dataset