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

DSL Engineering & Materials Science
Network protocols Engineering & Materials Science
Parallel programming Engineering & Materials Science
Synchronization Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Communication Engineering & Materials Science
Chemical analysis Engineering & Materials Science
Experiments Engineering & Materials Science

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

Research Output 2017 2018

  • 2 Conference article in proceeding
  • 2 Article
  • 1 Chapter

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

Network protocols
Semantics
Throughput
Formal languages
Computer programming

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
1 Downloads (Pure)

Modular Programming of Synchronization and Communication among Tasks in Parallel Programs

van Veen, B. & Jongmans, S-S., 2018, 2018 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). IEEE, p. 425-435 11 p.

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

Open Access
File
DSL
Parallel programming
Synchronization
Network protocols
Communication
1 Downloads (Pure)

Shared Memory Implementations of Protocol Programming Languages: Data-Race-Free

Hergarden, M. & Jongmans, S-S., 17 Jul 2018, ICOOOLPS '18: Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. Millstein, T. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 36-40 5 p.

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

Open Access
File

Constraint automata with memory cells and their composition

Jongmans, S-STQ., Kappé, T. & Arbab, F., 2017, In : Science of computer programming. 146, p. 50-86 37 p.

Research output: Contribution to journalArticleAcademicpeer-review

Data storage equipment
Chemical analysis
Experiments

Prizes

NWO Veni

Sung-Shik Jongmans (Recipient), 2018

Prize: Fellowship awarded competitivelyAcademic

Activities 2018 2018

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

Formal Aspects of Component Software

Sung-Shik Jongmans (Member of programme committee)
10 Oct 201812 Oct 2018

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

Formal Methods in the Netherlands

Sung-Shik Jongmans (Participant / Attendee)
3 Sep 20184 Sep 2018

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

The (Dis)likes of Farhad

Sung-Shik Jongmans (Speaker)
25 Dec 2018

Activity: Talk or presentation typesInvited talkAcademic

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