1 citations · 1 across the 5 of their papers we have counts for
5 papers
Choreographic Programming: a Semantic Approach
Matteo Acclavio, Giulia Manara, Fabrizio Montesi +1
The Endpoint Projection (EPP) theorem is a cornerstone of choreographic programming. It states that every choreography can be projected to a network of processes that correctly imp…
Mech: Mechanised Choreographic Programming
Xueying Qin, Marco Peressotti, Fabrizio Montesi
Choreographic programming (CP) is a programming paradigm for the correct-by-construction development of concurrent and distributed systems: programmers write the intended overall b…
Primrose: Selecting Container Data Types by Their Properties
Xueying Qin, Liam O'Connor, Michel Steuwer
Context: Container data types are ubiquitous in computer programming, enabling developers to efficiently store and process collections of data with an easy-to-use programming inter…
Effect of Render Resolution on Gameplay Experience, Performance, and Simulator Sickness in Virtual Reality Games
Jialin Wang, Rongkai Shi, Zehui Xiao +2
Higher resolution is one of the main directions and drivers in the development of virtual reality (VR) head-mounted displays (HMDs). However, given its associated higher cost, it i…
Row-Polymorphic Types for Strategic Rewriting
Rongxiao Fu, Xueying Qin, Ornela Dardha +1
We present a type system for strategy languages that express program transformations as compositions of rewrite rules. Our row-polymorphic type system assists compiler engineers to…