Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online

0 results

People (3 results)
Cliff Click

Cliff Click


… mainframe that keeps GC pauses on 500Gb heaps to under 10ms, and worked on all aspects …

Achiya Elyasaf

Achiya Elyasaf

Ben-Gurion University of the Negev

… Achiya Elyasaf is a Lecturer at the Software and Information Systems Engineering Department, Ben-Gurion University (BGU), Israel. He received his academic degrees from BGU, all in computer science, and was a postdoc fellow in David Harel’s …

Viktor Kunčak

Viktor Kunčak

EPFL, Switzerland

… by thousands of students from all over the world. …

Events (35 results)

Ubiquitous Omniscient Debugging

REBASE When: Sun 11 Jul 2021 11:00 - 13:00 People: Robert O'Callahan

… it all work for real developers of real applications. In fact, this has actually … closer to all developers having access to omniscient debugging at all times. …

Molding Knowledge

REBASE When: Sun 11 Jul 2021 13:00 - 15:00 People: Tudor Gîrba

… of transforming the act of constructing and relating to knowledge in all its …

[Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages

COP When: Mon 12 Jul 2021 16:30 - 17:00 People: Achiya Elyasaf, Arnon Sturm

… Context-aware systems keep on emerging in all of our daily activities. To cope with this new situation, programming languages were extended to support the notion of context. Although context-oriented programming languages exist for over 15 …

Accelerating the Computation of Dead and Concurrent Places using Reductions

SPIN When: Mon 12 Jul 2021 14:20 - 14:40 People: Nicolas Amat, Silvano DAL ZILIO, Didier Le Botlan

… We propose a new method for accelerating the computation of a concurrency relation, that is all pairs of places in a Petri net that can be marked together. Our approach relies on a state space abstraction, that involves a mix between …

Attending Information (4 results)

Equity, Diversity and Inclusion

… environment for all.

We expect all participants in ACM activities to abide by this policy in all venues, including ancillary events and unofficial social …/policy-against-discrimination-and-harassment.

All participants will have to agree …

Information for Attendees

… convenient for the speaker) so that all attendees are able to attend most talks … in a single time band without duplication.

The main entry point for all events is this website, which will include all the necessary links to participate …

ECOOP Awards

… …

Tracks (16 results)

Workshop on AI and Software Testing/Analysis

… keynote session and a half-day presentation of accepted papers. Note that all

International Workshop on Verification and mOnitoring at Runtime EXecution

VORTEX brings together researchers working on all aspects of Runtime Monitoring (RM) with emphasis on integration … researchers contributing on all aspects of RM covering and possibly …

International Workshop on Smart Contract Analysis [Cancelled]

… .

This workshop is broadly focused, and considers all approaches to analyzing …

General (12 results)

SPIN 2021 Homepage

… fe62fe99-86e8-45a8-8a1e-1921a43dd939 SPIN 2021 Welcome to the website of the SPIN 2021 conference. We are working hard to fill the website with all related information. Please check back soon! 065a50ae-def5-4271-9fe4-caa2d5c5c323 …

AISTA 2021 Homepage

… AISTA 2021 Welcome to the website of the AISTA 2021 conference. We are working hard to fill the website with all related information. Please check back soon! …

WOSCA 2021 Homepage

… WOSCA 2021 Welcome to the website of the WOSCA 2021 conference. We are working hard to fill the website with all related information. Please check back soon! …

Schedule Overview

… …