ITU

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/

1 - 10 out of 157Page size: 10
  1. 2021
  2. 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-217

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  3. 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

  4. 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

  5. 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

  6. 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–198

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

Previous 1 2 3 4 5 6 7 8 ...16 Next