Programming Logic and Semantics
Organisational unit: Research Group
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Organisation profile
Programming, Logic and Semantics
The Programming, Logic and Semantics group is concerned with the foundation of programming languages. Where the Software Development Group focuses on specific programs and languages, this group focuses on fundamental research in computer science. With backgrounds in computer science, mathematics and philosophy the researchers have taken on one of the greatest challenges in computer science: to ensure that the software of the future is not riddled with errors. The main focus is on supplying stronger guarantees of programs working as intended from the start.
Visit the group’s own website:
https://pls.itu.dk/
- 2021
- Published
Two Guarded Recursive Powerdomains for Applicative Simulation
Møgelberg, R. E. & Vezzosi, A., Dec 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Electronic Proceedings in Theoretical Computer Science, Vol. 351. p. 200-217Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
" We Would Never Write That Down" Classifications of Unemployed and Data Challenges for AI
Petersen, A., Christensen, L. R., Harper, R. & Hildebrandt, T., 22 Apr 2021, In: Proceedings of the ACM on Human-Computer Interaction - CSCW. 5, CSCW1, p. 1 26 p., 102.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Diamonds are not forever: Liveness in reactive programming with guarded recursion
Bahr, P., Graulund, C. U. & Møgelberg, R. E., Jan 2021, ACM SIGPLAN Symposium on Principles of Programming Languages. POPL ed. Association for Computing Machinery, Vol. 5. 28 p. (Proceedings of the ACM on Programming Languages).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 2021, In: Logical Methods in Computer Science. 17, 1, p. 1 20 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Machine-Checked Semantic Session Typing
Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 178–198Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
ReGraDa: Reactive graph data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, In: Lecture notes in computer science. 12717, p. 188-205 18 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research
- Published
Security Protocols as Choreographies
Bruni, A., Carbone, M., Giustolisi, R., Mödersheim, S. A. & Schürmann, C., 2021, Security Protocols as Choreographies: Joshua Guttman's Festschrift . Springer, p. 98 111 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Sessions and Separation
Hinrichsen, J. K., 2021, IT-Universitetet i København. 156 p. (ITU-DS; No. 177).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- Published
Type Theories for Reactive Programming
Graulund, C. U., 2021, IT-Universitetet i København. 129 p. (ITU-DS; No. 175).Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- Published
Zoom and enhance: Action refinement via subprocesses in timed declarative processes
Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (eds.). Springer VS, Vol. 12875. p. 161-178 18 p. (Lecture notes in computer science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review