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