WG4: Tools and Applications


Thomas Hildebrandt (chair)

Nikolaos Sismanis (vice-chair)

Cesare Accomazzo, Marco Aldinucci, Davide Ancona, Gary Brown, Viviana Bono, Luís Caires, Marco Carbone, Gian Luca Cattani, Grazvydas Felinskas, Vaidas Giedrimas, Tihana Galinac Grbac, Simon Gay, Marco Giunti, Thomas Hildebrandt, Furio Honsell, Georgia Kapitsaki, Cosimo Laneve, Marina Lenisa, Cveta Martinovska, Viviana Mascardi, Rafael Mayo Garcia, Fabrizio Montesi, Jorge Perez, António Ravara, Jakob Rehof, Steve Ross-Talbot, Ivan Scagnetto, João Seco, Tijs Slaats, Vasco Vasconcelos, Björn Victor, Hugo Vieira, Nobuko Yoshida

Email List

The email list for WG4 is betty-tools@dcs.gla.ac.uk. Messages are only accepted from subscribers, so you have to make sure that you are sending from your subscribed address.

The administrative web site for the email list allows the WG chair to update the list of subscribers, and allows individual subscribers to change their options.


Name Short description Link Contacts Applications Status
Jolie general purpose service-oriented programming language http://www.jolie-lang.org/, https://sourceforge.net/p/jolie/code/ Fabrizio Monetesi Dynamic, pervasive distributed applications active
SAGA https://sites.google.com/site/cdegouw/ Frank de Boer, Peter Wong active
Savara http://www.savara.org Gary Brown active
Scribble http://www.scribble.org, https://github.com/scribble Gary Brown, Raymond Hu active
Scribble/monitor Runtime monitor for OOI CyberInfrastructure https://github.com/ooici/pyon Rumyana Neykova, Raymond Hu active
Scribble/Session C Session based parallel programming framework https://github.com/nickng/sessc, Info page Nicholas Ng active
sepi concurrent programming language based on the monadic pi-calculus and linearly refined session types http://gloss.di.fc.ul.pt/sepi/ Vasco Vasconcelos active
mool a mini OO language with support for concurrency and class usage protocols as types http://gloss.di.fc.ul.pt/mool/ Vasco Vasconcelos active
Apims http://thelas.dk/index.php/Apims Thomas Hildebrandt, Tijs Slaats Workflow, healthcare dormant
bica http://gloss.di.fc.ul.pt/bica Antonio Ravara dormant
s2ml A compiler from session specification to secure implementation - - dormant
SJ Session Java (w/ event-driven programming support) https://code.google.com/p/sessionj/, Project page Raymond Hu dormant
GridController http://www.ciemat.es/portal.do?IDR=343&TR=C Ricardo Colomo, Rafael Mayo Garcia Grid active, related
GWpilot http://www.ciemat.es/portal.do?IDR=343&TR=C Ricardo Colomo, Rafael Mayo Garcia Grid active, related
Montera http://www.ciemat.es/portal.do?IDR=343&TR=C Ricardo Colomo, Rafael Mayo Garcia Grid active, related
Fstar Dependently typed language that can encode session type-checking http://research.microsoft.com/en-us/projects/fstar/ - - active, related
UBF (Universal Binary Format designed by Joe Armstrong): Runtime monitor generation from session types https://github.com/ubf/ubf - background
heap-hop http://www.lsv.ens-cachan.fr/Software/heap-hop/ - background
plaid http://www.cs.cmu.edu/~aldrich/plaid/ - background
sing# http://en.wikipedia.org/wiki/Sing_Sharp - background
SLMC http://www-ctp.di.fct.unl.pt/SLMC/ Luis Caires, Hugo Vieira background
UBF https://github.com/ubf/ubf - background
F7 Dependently typed language that can encode session type-checking http://research.microsoft.com/en-us/projects/F7/ - - stable

Case Studies

Name Project Company Link Contact
Automotive domain SENSORIA http://www.sensoria-ist.eu/indexe783.html?option=com_content
Electronic Exchange of Social Security Information Visma Consulting A/S Thomas Hildebrandt, Tim Hallwyl
Financial domain SENSORIA S&N http://www.sensoria-ist.eu/indexe783.html?option=com_content
Healthcare Services TrustCare Exformatics A/S Thomas Hildebrandt, Tijs Slaats
Replication System, Fredhopper Platform HATS SDL Fredhopper http://www.hats-project.eu/node/150 Peter Wong


Authors Name Description Year
S. de Gouw, F.S. de Boer, E.B. Johnsen, P.Y.H. Wong Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study 28th ACM Symposium on Applied Computing, Track on Object Oriented Programming Languages and Systems Mar 2013
A.J. Rubio-Montero, E. Huedo, F. Castejon, R. Mayo-García GWpilot: Enabling multi-level scheduling in distributed infrastructures with GridWay and pilot jobs JCR journal Future Generations Computer Systems
M. Rodriguez-Pascual, A. Bustos, F. Castejon, I. Martin Llorente, R. Mayo-Garcia Simulations of NBI fast ions distribution in stellarators based on coupled Monte Carlo fueling and orbit codes JCR journal Plasma Physics and Controlled Fusion
M. Rodriguez-Pascual, I. Martin Llorente, R. Mayo-Garcia Montera: A framework for the efficient execution of Monte Carlo codes on grid infrastructures JCR journal Computing and Informatics
A.J . Rubio-Montero, F. Castejon, A. Bustos, J.L. Velasco, M. Rodríguez-Pascual, E. Huedo and R. Mayo-García On the effects of the ordering in the computations of collisional transport in fusion plasmas: a novel pilot job approach applied to improve the execution of fusion codes on distributed infrastructures JCR journal Concurrency and Computation: Practice & Experience
M. Rodriguez-Pascual, A.J. Rubio-Montero, R. Mayo-Garcia An unattended, fault-tolerant approach for the execution of distributed applications, EGI Community Forum 2013 2013
L. Nielsen, N. Yoshida, K. Honda Multiparty Symmetric Sum Types Express 2010 2010
L. Nielsen Regular Expressions and Multiparty Session Types with Applications to Workflow Based Verification of User Interfaces PhD dissertation, Copenhagen University Aug 2011
A. S. Henriksen, L. Nielsen, T. Hildebrandt, N. Yoshida, F. Henglein Trustworthy Pervasive Healthcare Services via Multi-party Session Types FHIES 2012
T. Hildebrandt, R. R. Mukkamala, T. Slaats Designing a Cross-organizational Case Management System using Dynamic Condition Response Graphs EDOC 2011 2011
T. Hildebrandt, R. R. Mukkamala, T. Slaats, F. Zanitti Contracts for Cross-organizational Workflows as Timed Dynamic Condition Response Graphs
L. Caires, H. Torres Vieira SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications TACAS 2012
M. Bartoletti, L. Caires, I. Lanese, F. Mazzanti, D. Sangiorgi, H. T. Vieira, R. Zunino Tools and Verifications Rigorous Software Engineering for Service-Oriented Systems 2011
K. Honda, A. Mukhamedov, G. Brown, T. Chen, N. Yoshida Scribbling Interactions with a Formal Foundation ICDCIT 2011 2011
K. Honda, R. Hu, R. Neykova, T. Chen, R. Demangeon, P. Deniélou Structuring Communication with Session Types COB 2012 2012
N. Ng, N. Yoshida, O.Pernet, R. Hu, Y. Kryftis Safe Parallel Programming with Session Java COORDINATION 2011 2011
N. Ng, N. Yoshida, K. Honda Multiparty Session C: Safe Parallel Programming with Message Optimisation TOOLS Europe 2012 2012
N. Ng, N. Yoshida, X. Y. Niu, K. H. Tsoi, W. Luk: Session Types Towards safe and fast reconfigurable programming SIGARCH Computer Architecture News Vol. 40 Issue 5 2012
N. Ng, N. Yoshida, W. Luk Scalable session programming for heterogeneous high-performance systems BEAT2 2013
R. Hu, R. Neykova, N. Yoshida, R. Demangeon Practical interruptible conversations: Distributed Dynamic Verification with Session Types and Python RV'13 2013
R. Neykova Session Types Go Dynamic or How to Verify Your Python Conversations PLACES'13 2013
R. Neykova, N. Yoshida, R. Hu SPY: Local Verification of Global Protocols RV'13 2013
K. Honda, E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, N. Yoshida Verification of MPI Programs Using Session Types EuroMPI'12 2012
E. R. B. Marques, F. Martins, V. T. Vasconcelos, Nicholas Ng, N. D. Martins Towards deductive verification of MPI programs against session types PLACES'13 2013
E. R. B. Marques, F. Martins, V. T. Vasconcelos, N. Ng, N. D. Martins, C. Santos and N. Yoshida Specification and Verification of Protocols for MPI Programs BEAT2 2013
wg4-tools.txt · Last modified: 2013/10/15 23:43 by thomas
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki