ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Events (22 results)

A design overview of JavaScriptCore's DFG IR

ICOOOLPS 2022 When: Tue 7 Jun 2022 14:00 - 15:00 People: Saam Barati

… Almost all operations in JavaScript can be effectful and dynamic. For example, the plus operator may simply add two numbers, or it might invoke function calls at runtime. To run JavaScript programs efficiently, JavaScriptCore heavily …

GobPie: An IDE Integration for Goblint Using MagpieBridge

PRIDE 2022 When: Tue 7 Jun 2022 09:55 - 10:30 People: Karoliine Holter, Sarah Tilscher

… implementing transfer functions for the new analysis. All analyses can communicate …

A design overview of JavaScriptCore's DFG IR

Truffle 2022 When: Tue 7 Jun 2022 14:00 - 15:00 People: Saam Barati

… Almost all operations in JavaScript can be effectful and dynamic. For example, the plus operator may simply add two numbers, or it might invoke function calls at runtime. To run JavaScript programs efficiently, JavaScriptCore heavily …

Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs

VORTEX 2022 When: Mon 6 Jun 2022 16:10 - 16:30 People: Amirfarhad Nilizadeh, Gary T. Leavens

… semantic bugs at all if they are not in the program’s intended input domain …

Designing an intuitive language-agnostic integration of foreign objects in Ruby

Truffle 2022 When: Tue 7 Jun 2022 11:30 - 12:00 People: Benoit Daloze

… GraalVM enables all Truffle languages to interoperate with each other and call each other, through a set of traits exposed in Truffle’s InteropLibrary ..._element(foreign_array, index). As something more advanced we want all Ruby Array …

A Meta-Model for Distributed Role-Based Systems based on the Actor Model of Computation

COP 2022 When: Tue 7 Jun 2022 12:00 - 12:30 People: Tim Kluge, Daniel Matusek, Ilja Shmelkin, Thomas Springer

… are grouped into transactions to ensure a consistent system state at all times …

Embedding Truffle Languages

Truffle 2022 When: Tue 7 Jun 2022 12:00 - 12:30 People: Kevin Menard

… as well, which makes defining it and discovering all of its capabilities difficult …

Truffle Interpreter Performance without the Holy Graal

Truffle 2022 When: Tue 7 Jun 2022 16:30 - 17:00 People: Stefan Marr, Octave Larose, Sophie Kaleba, Chris Seaton

… partial evaluator. All these techniques attempt to mitigate the performance cost …

Global Type Inference for Featherweight Generic Java

Research Papers When: Fri 10 Jun 2022 12:10 - 12:30Thu 7 Jul 2022 15:30 - 16:00 People: Andreas Stadelmeier, Martin Plümicke, Peter Thiemann

… class headers and field specifications, our inference algorithm infers all

On the computation of interprocedural weak control closure

Hub Talks When: Fri 10 Jun 2022 13:50 - 14:10 People: Abu Naser Masud

… closure (WCC) subsumes all known nontermination insensitive control dependence … improve the precision by 15.21% on all our experimental benchmarks …

Hedy: Creating a gradual programming language

Research Papers When: Thu 7 Jul 2022 18:30 - 19:00 People: Felienne Hermans

… Hedy is a gradual programming language to make learning programming easier, using different language levels. In level 1, there is hardly any syntax at all … means that learners do not have to learn all syntax rules at once. Hedy is aimed …

Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis

Hub Talks When: Wed 8 Jun 2022 11:30 - 11:50 People: Marco Campion, Mila Dalla Preda, Roberto Giacobazzi

… of false alarms and, as all alarming systems, a program analysis tool is credible when … alarms, but also we need methods to control them. As for all approximation …

Functional Programming with Datalog

Research Papers When: Thu 9 Jun 2022 14:10 - 14:30 People: André Pacak, Sebastian Erdweg

… of simple Horn clauses, yet Datalog solvers efficiently compute all derivable tuples …, we transparently translate all code to standard Datalog relations. However, we …

JavaScript Sealed Classes

Research Papers When: Wed 8 Jun 2022 16:20 - 16:40 People: Manuel Serrano

… of the language so that they can be combined with all other JS structures …

Elementary Type Inference

Research Papers When: Thu 30 Jun 2022 17:15 - 17:45 People: Jinxu Zhao, Bruno C. d. S. Oliveira

all other (impredicative) instantiations are always possible with explicit type … mild restrictions on implicit instantiation. All the results are mechanically …

Union Types with Disjoint Switches

Research Papers When: Thu 23 Jun 2022 18:30 - 19:00Thu 9 Jun 2022 14:30 - 14:50 People: Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

… disjoint switches, it is possible to ensure exhaustiveness (i.e. all possible cases …, and that they enable a simple approach to nullable (or optional) types. All

Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications

Research Papers When: Thu 16 Jun 2022 17:15 - 17:45 People: François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, Micah Williams

… fuzzer. All the 0-days have been disclosed and most are now public, including …

A Self-Dual Distillation of Session Types (Pearl)

Research Papers When: Thu 9 Jun 2022 15:30 - 15:50Thu 16 Jun 2022 17:45 - 18:15 People: Jules Jacobs

… that this encoding is type-preserving. The linear type system of ƛ ensures that all

Static Analysis for AWS Best Practices in Python Code

Research Papers When: Wed 8 Jun 2022 12:10 - 12:30Thu 7 Jul 2022 17:15 - 17:45 People: Rajdeep Mukherjee, Omer Tripp, Ben Liblit, Michael Wilson

… % of the recommendations made by five out of eight Python rules, and almost 83% of all

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Research Papers When: Thu 23 Jun 2022 15:30 - 16:00 People: Dongjie He, Jingbo Lu, Jingling Xue

… Existing (whole-program) context-sensitive pointer analysis frameworks for Java, which were open-sourced over one decade ago, were designed and implemented to support only method-level context-sensitivity (where all the variables/objects …

Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs

Research Papers When: Thu 16 Jun 2022 16:00 - 16:30 People: Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, Behnaz Hassanshahi

… graph construction would likely be lower for web applications. All of our code …

Banquet at Clärchen's Ballhaus

Catering When: Wed 8 Jun 2022 18:00 - 22:00

… approx. 15 mins. All the drivers know this location… It’s been around longer than …