Research Output per year
Personal profile
External positions
Researcher, Imperial College London
1 Mar 2017 → 28 Feb 2019Fingerprint 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.
- 4 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
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 journal › Article › Academic › peer-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 proceeding › Conference article in proceeding › Academic › peer-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 proceeding › Conference article in proceeding › Academic › peer-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 journal › Article › Academic › peer-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-138Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
File
Prizes
Rubicon Grant in Beta Cluster
Sung-Shik Jongmans (Recipient), 10 Jan 2017
Prize: Fellowship awarded competitively › Academic
Activities
SEN Symposium
Sung-Shik Jongmans (Participant / Attendee)2 Feb 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Programming Languages in The Netherlands
Sung-Shik Jongmans (Participant / Attendee)22 Nov 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
FaceTAV
Sung-Shik Jongmans (Participant / Attendee)28 Nov 2018 → 29 Nov 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Microservices: Science and Engineering
Sung-Shik Jongmans (Member of programme committee)25 Jun 2018
Activity: Participating in or organising an event types › Participating in OR organising an event › Academic
Distributed Programming using Role-Parametric Session Types in Go
Sung-Shik Jongmans (Speaker)18 Dec 2018
Activity: Talk or presentation types › Invited talk › Academic