ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA

0 results

People (8 results)
Mathias Payer

Mathias Payer

… …

Martin Kellogg

Martin Kellogg

… …

Oege de Moor

Oege de Moor

… …

Events (44 results)

Solver-Aided Programming for All

ISSTA Keynotes When: Mon 16 Jul 2018 09:30 - 10:30 People: Emina Torlak

… …

Class hierarchy flattening: obfuscating (almost) all type information in Java programs

SALAD When: Thu 19 Jul 2018 14:00 - 14:30 People: Bjorn De Sutter

… …

Application-Specific Principals Must Align With Platform Boundaries

WoSSCA When: Wed 18 Jul 2018 12:00 - 12:30 People: Chris Palmer

… , they are trivially vulnerable to Spectre and other side channels. We need to motivate all

Symbolic Execution and Probabilistic Reasoning

Summer School When: Mon 16 Jul 2018 14:30 - 17:00 People: Corina Pasareanu

… Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by collecting and solving symbolic path conditions over program paths. The technique has been recently extended …

Attending Information (1 results)

Conduct

. This requires an environment that enables all to participate without fear of harassment … thereof).

All communication should be appropriate for a technical audience …

Tracks (10 results)

ISSTA Technical Papers

… , see below. All papers must be prepared in [ACM Conference Format](https …://www.acm.org/publications/policies/simultaneous-submissions). All submissions …/publications/policies/author_representations).

All submissions must be in English …

Summer School

… the week. Each lecture is free to all registered participants. The lectures run … that describes how much you would need to be able to come. We encourage all the students …

INTUITESTBEDS

… .

The workshop will have a joint program committee peer-reviewing all the submissions … Publication and Simultaneous Submissions.

All papers must be prepared in ACM Conference …

Homepage (1 results)

ECOOP 2018 Homepage

… in all topics related to programming languages, software development, object …