SSA Translation is an Abstract Interpretation
M. Lemerre, POPL 2023
https://binsec.github.io/assets/publications/papers/2023-popl-full-with-appendices.pdf
M. Lemerre, POPL 2023
https://binsec.github.io/assets/publications/papers/2023-popl-full-with-appendices.pdf
👍2🤔1🎉1
Cool fresh videos from ONWARD and HATRA conferences:
https://youtube.com/playlist?list=PLyrlk8Xaylp5Ak7xXMJ8JG5Iddwrv1QyA
https://youtube.com/playlist?list=PLyrlk8Xaylp5dv_C73GKv_rM1LVkMD0TD
https://youtube.com/playlist?list=PLyrlk8Xaylp5Ak7xXMJ8JG5Iddwrv1QyA
https://youtube.com/playlist?list=PLyrlk8Xaylp5dv_C73GKv_rM1LVkMD0TD
👏1
A Theory of Formal Choreographic Languages
Franco Barbanera, Ivan Lanese, Emilio Tuosto
https://arxiv.org/abs/2210.08223
Franco Barbanera, Ivan Lanese, Emilio Tuosto
https://arxiv.org/abs/2210.08223
👎1
We've teamed up with Kyle Kingsbury, author of Jepsen, to build this series of distributed systems challenges so you can try your hand and see how your skills stack up.
https://fly.io/dist-sys/
https://fly.io/dist-sys/
Fly
Fly.io Distributed Systems Challenge
Documentation and guides from the team at Fly.io.
👍7🤔1
Continuation-Passing to Direct Style: Typed and Tight
https://se.cs.uni-tuebingen.de/publications/mueller23continuation/
https://se.cs.uni-tuebingen.de/publications/mueller23continuation/
🤯1
The Usability of Advanced Type Systems: Rust as a Case Study
Written Report for PhD Research Exam
https://arxiv.org/abs/2301.02308
Written Report for PhD Research Exam
https://arxiv.org/abs/2301.02308
👍1
Free Variables and Free Effects: an elementary introduction to algebraic effects and handlers
https://okmij.org/ftp/Computation/variables-effects.html
https://okmij.org/ftp/Computation/variables-effects.html
okmij.org
Free Variables and Free Effects
An elementary introduction to algebraic effects and handlers, and two different ways of dealing with free variables
👍2🤔1
Effects and Effect Handlers for Programmable Inference, 2023
M. Nguyen, R. Perera, M. Wang, S. Ramsay
https://arxiv.org/abs/2303.01328
M. Nguyen, R. Perera, M. Wang, S. Ramsay
https://arxiv.org/abs/2303.01328
👍2🤔1
CSE 22-15 Grupp 22-21.pdf
1.3 MB
A Language for Board Games
Development of an Embedded Domain-Specific Language
for Describing Board Games
https://gupea.ub.gu.se/bitstream/handle/2077/75394/CSE%2022-15%20Grupp%2022-21.pdf
Development of an Embedded Domain-Specific Language
for Describing Board Games
https://gupea.ub.gu.se/bitstream/handle/2077/75394/CSE%2022-15%20Grupp%2022-21.pdf
🤔7
United Monoids: Finding Simplicial Sets and Labelled Algebraic Graphs in Trees, 2022
A. Mokhov
https://arxiv.org/abs/2202.09230
A. Mokhov
https://arxiv.org/abs/2202.09230
🤯2🎉1
HasChor: Functional Choreographic Programming for All (Functional Pearl), 2023
G. Shen, S. Kashiwa, L. Kuper
https://arxiv.org/abs/2303.00924
G. Shen, S. Kashiwa, L. Kuper
https://arxiv.org/abs/2303.00924
👍3👎1🤔1
Mechanised Metamathematics
An Investigation of First-Order Logic and Set Theory in Constructive Type Theory, 2022
D. Kirst
https://www.ps.uni-saarland.de/~kirst/thesis/
An Investigation of First-Order Logic and Set Theory in Constructive Type Theory, 2022
D. Kirst
https://www.ps.uni-saarland.de/~kirst/thesis/
🤔1
Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
N. Zilberstein, D. Dreyer, A. Silva
https://arxiv.org/abs/2303.03111
N. Zilberstein, D. Dreyer, A. Silva
https://arxiv.org/abs/2303.03111
👎1
Verus: Verifying Rust Programs using Linear Ghost Types
A. Lattuada et al
https://arxiv.org/abs/2303.05491
A. Lattuada et al
https://arxiv.org/abs/2303.05491
🤩1
🎉5
A Half Century of Formal Methods
D. Bjørner, K. Havelund
https://www.havelund.com/Publications/fm-50-2022.pdf
D. Bjørner, K. Havelund
https://www.havelund.com/Publications/fm-50-2022.pdf
🤔2
Updated: The Verse Calculus: a Core Calculus for Functional Logic Programming
36 pages of changed/new stuff.
Authors: The same guys plus a new guy, Guy Steele.
https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf
36 pages of changed/new stuff.
Authors: The same guys plus a new guy, Guy Steele.
https://simon.peytonjones.org/assets/pdfs/verse-March23.pdf
👍3👎1