Search events for 'all'
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 …
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 …
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 …
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 …
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 …
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 …
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 …