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

0 results

People (18 results)
Viktor Kunčak

Viktor Kunčak

… …

Michael B. James

Michael B. James

University of California at San Diego

… to help other engineers and make programming easier for all. …

Christian Humer

Christian Humer

Oracle Labs

… Christian Humer is a researcher at Oracle Labs in Zurich, working on the GraalVM project. He develops the Truffle framework which aims to make all programming languages fast, composable and embeddable. His research interests include …

Events (23 results)

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

Scala When: Wed 18 Nov 2020 11:40 - 12:00 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 When: Tue 17 Nov 2020 01:20 - 01:40Mon 16 Nov 2020 13:20 - 13:40 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 (6 results)

Students

… . In return, student volunteers receive free registration and access to all

Code of conduct

… for registration and all conference activities. Special circumstances may …/policy-against-discrimination-and-harassment). We expect all the participants … or opportunity for participation at the conference and all associated events …

Sponsoring

… , and Applications: Software for Humanity. SPLASH embraces all aspects of software … minorities and to people from all origins, everyone is encouraged to join and benefit …; supporting mirroring to make SPLASH 2020 inclusive of all persons regardless …

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 (11 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 …