ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020

0 results

People (17 results)
Isil Dillig

Isil Dillig

… …

Juri Di Rocco

Juri Di Rocco

… …

Jordi Cabot

Jordi Cabot

… …

Events (22 results)

Asterisk: Secure Programming Language for Smart Contracts (Student Talk)

Scala People: Mohammadreza Ashouri

… by Asterisk are cross-platform in the sense that a compiled contract runs on all

Prusti – Deductive Verification for Rust

FTfJP People: Alexander J. Summers

… ; in particular, specifications and all interactions with our implemented tool …

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Research Papers People: Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner

… async/await APIs, all underpinned by a simple Core Event Semantics that is sufficiently expressive to describe the event models underlying all these APIs. Our … official test-suites, passing all the applicable tests. Using the Core Events …

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Artifacts People: Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner

… async/await APIs, all underpinned by a simple Core Event Semantics that is sufficiently expressive to describe the event models underlying all these APIs. Our … official test-suites, passing all the applicable tests. Using the Core Events …

Attending Information (1 results)

Conduct

… an environment that enables all to participate without fear of harassment. ECOOP …, no matter their background or beliefs. All communication should be appropriate …

Tracks (13 results)

SySEPL 2020

… submissions, and a panel discussion, where all participants are invited to share … include references. All paper and notes submissions will be reviewed by 3 … the workshop. We will encourage all participants to submit at least a 2-pages …

Success of Object-Oriented Programming

… is over, it’s objects all the way down.

“WELCOME TO ECOOP'97 ... of ECOOP. We cordially invite all researchers,
practitioners, educators, and students ... intelligence make us
all obsolete?  SOOP'20 brings together a set of intrepid ...

JSTools 2020

… programmers, such as debuggers and smart IDEs.

All these projects need … and smart IDEs. All these projects need to overcome similar challenges:

  • What … of the program in subtle and complex ways.

  • Almost all JavaScript programs rely …

General (12 results)

COP Homepage

… COP-20 Welcome to the website of the COP-20 conference. We are working hard to fill the website with all related information. Please check back soon! be9f34ac-bdac-4fbc-9971-0e1356df9054 …

ICOOOLPS 2020 Homepage

… ICOOOLPS 2020 Welcome to the website of the ICOOOLPS 2020 conference. We are working hard to fill the website with all related information. Please check back soon! 80c06954-7faa-40db-94ed-b72a9019050b …

IWACO 2020 Homepage

… IWACO 2020 Welcome to the website of the IWACO 2020 conference. We are working hard to fill the website with all related information. Please check back soon! e9a9d893-d54c-4542-9b9d-55804148591a …