20162019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

External positions

Researcher, Imperial College London

1 Mar 201728 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.

  • 5 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 7 Article
  • 4 Conference article in proceeding
  • 1 Chapter

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures

Castro, D., Hu, R., Jongmans, S-S., Ng, N. & Yoshida, N., Jan 2019, In : Proceedings of the ACM on Programming Languages. 3, POPL, p. 1-30 30 p., 29.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
  • SOA and the Button Problem

    Jongmans, S-S., Lamers, A. & van Eekelen, M. C. J. D., 23 Sep 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Cham: Springer, p. 689-706 18 p. (Lecture Notes in Computer Science, Vol. 11800).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Toward new unit-testing techniques for shared-memory concurrent programs

    Jongmans, S-S., 2019, 2019 24th International Conference on Engineering of Complex Computer Systems : ICECCS 2019, Guangzhou, China, November 10-13, 2019. Pang, J. & Sun, J. (eds.). IEEE Canada, p. 164-169 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

  • Centralized coordination vs. partially-distributed coordination with Reo and constraint automata

    Jongmans, S-STQ. & Arbab, 1 Aug 2018, In : Science of Computer Programming. 160, p. 48-77 30 p.

    Research output: Contribution to journalArticleAcademicpeer-review

  • Formalizing Propagation of Priorities in Reo, Using Eight Colors

    Jongmans, S-S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Springer, p. 122-138

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    File
    16 Downloads (Pure)

    Prizes

    NWO Veni

    Sung-Shik Jongmans (Recipient), 2018

    Prize: Fellowship awarded competitivelyAcademic

    Rubicon Grant in Beta Cluster

    Sung-Shik Jongmans (Recipient), 10 Jan 2017

    Prize: Fellowship awarded competitivelyAcademic

    Activities

    • 7 Participating in OR organising an event
    • 3 Invited talk

    SEN Symposium

    Sung-Shik Jongmans (Participant / Attendee)
    2 Feb 2018

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    Programming Languages in The Netherlands

    Sung-Shik Jongmans (Participant / Attendee)
    22 Nov 2018

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    FaceTAV

    Sung-Shik Jongmans (Participant / Attendee)
    28 Nov 201829 Nov 2018

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    Microservices: Science and Engineering

    Sung-Shik Jongmans (Member of programme committee)
    25 Jun 2018

    Activity: Participating in or organising an event typesParticipating in OR organising an eventAcademic

    Distributed Programming using Role-Parametric Session Types in Go

    Sung-Shik Jongmans (Speaker)
    18 Dec 2018

    Activity: Talk or presentation typesInvited talkAcademic