Research output per year
Research output per year
Personal profile
External positions
Researcher, Imperial College London
1 Mar 2017 → 28 Feb 2019
Fingerprint
Dive into the research topics where Sung-Shik Jongmans is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Balanced-by-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2&3, p. 117-144 28 p.Research output: Contribution to journal › Article › Academic › peer-review
-
Choreographic Programming of Isolated Transactions
Smeele, T. & Jongmans, S. S., 13 Apr 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 378, p. 49-60 12 p.Research output: Contribution to journal › Conference Article in journal › Academic › peer-review
Open Access -
Multiparty Session Typing in Java, Deductively
Bouma, J., de Gouw, S. & Jongmans, S. S., Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 19-27 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13994 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Technical Report)
Jongmans, S-S. & Ferreira, F., 2023, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 38 p.Research output: Book/Report › Technical report › Academic
File3 Downloads (Pure) -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. 27. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access
Prizes
-
-
Rubicon Grant in Beta Cluster
Jongmans, Sung-Shik (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
Activities
-
Distributed Programming using Role-Parametric Session Types in Go
Sung-Shik Jongmans (Speaker)
18 Dec 2018Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
Microservices: Science and Engineering
Sung-Shik Jongmans (Member of programme committee)
25 Jun 2018Activity: Attending or organising an event types › Organising an event › Academic
-
Q: Should We Specify Interactions, Explicitly? A: Yes
Sung-Shik Jongmans (Speaker)
2 Feb 2018Activity: Talk or presentation types › Conference contribution (without a publication) › Academic
-
ABCD Meeting
Sung-Shik Jongmans (Participant / Attendee)
17 Dec 2018 → 18 Dec 2018Activity: Attending or organising an event types › Attending an event › Academic
-
Programming Languages in The Netherlands
Sung-Shik Jongmans (Participant / Attendee)
22 Nov 2018Activity: Attending or organising an event types › Attending an event › Academic