0 results

People (2 results)
Dimi Racordon

Dimi Racordon

… …

Abhik Roychoudhury

Abhik Roychoudhury

… …

Events (5 results)

Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts

Research Papers People: Felix Stutz

… Multiparty session types (MSTs) provide efficient means to specify and verify asynchronous message-passing systems. For a global type, which specifies all … there are local specifications for all roles such that their composition …

Flow Analysis for Detecting Non-Determinism in Blockchain

Research Papers People: Luca Olivieri, Vincenzo Arceri, Luca Negrini, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

… , provide many sources of non-determinism. However, not all non-deterministic … results show that GoLiSA is able to detect all vulnerabilities related to non …

SINATRA: Stateful Instantaneous Updates for Commercial Browsers through Multi-Version eXecution

Research Papers People: Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina

… in loss of user state. Even though modern browsers reopen all pages (tabs) after an update to minimize inconvenience, this approach still loses all local user … to each target page, that can be automated. First, SINATRA captures all the non …

Wiring circuits is easy as {0, 1, ω}, or is it. . .

Research Papers People: Jan de Muijnck-Hughes, Wim Vanderbauwhede

… typing of bound terms, we can provide design-time checks that all wires and ports have been used, and ensure that all wiring decisions are explicitly made …

Attending Information (2 results)

Covid-19

… ask and expect that all attendees and volunteers will follow any and all … hereby forever release, waive and discharge any and all liability, claims … knowingly and freely assume all such risks related to illness and infectious …

Conduct

… # ECOOP/ISSTA Code of Conduct

AITO’s mission is to provide a safe environment for all conference attendees. AITO rejects harassment for any reason or in any form, including but not limited to email, voice mail, chat rooms, Internet use …

Tracks (3 results)

Student Research Competition

… and during ECOOP/ISSTA 2023. All rounds are held in parallel for two categories … or graduate). We recommend including all this information in the standard author contact …

Artifact Evaluation

… /). In a nutshell, committee members want artifacts that:

  • Contain all … guides where all instructions are tested
  • Include some documentation on the code … functionality. That is, they have all the qualities of the Artifacts Evaluated …

Research Papers

ECOOP is a conference about programming originally focused on object-orientation, but now including all practical and theoretical investigations of programming languages, systems and environments. ECOOP solicits innovative solutions …

General (1 results)

ECOOP 2023 Homepage

… their ideas and experiences in all topics related to programming languages …. ECOOP welcomes contributions in all aspect of practice and theory of programming … can now submitted together with their paper and thus all authors will benefit …