Search events for 'all'
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 …
Practical Static Analysis and Bug Finding
Discussions with Experts When: Thu 15 Jul 2021 20:20 - 21:00 People: Murali Krishna Ramanathan, Michael Pradel
… ? * Is there any hope that these tools will ever find a significant percentage of all …
Behavioural Separation with Parallel Usages
FTfJP When: Tue 13 Jul 2021 17:50 - 18:20 People: Iaroslav Golovanov, Hans Hüttel, Mathias Steen Jakobsen, Mikkel Klinke Kettunen
… systems for Mungo have all had a linearity constraint on objects. We present …
The Strange and Wondrous Life of Functions in Ř
ICOOOLPS When: Tue 13 Jul 2021 16:00 - 16:20 People: Jan Ječmen, Olivier Flückiger, Sebastián Krynski, Jan Vitek
… constructs – all of those are function calls.
To call a function, one first needs … are accessible through reflection.
In our work on Ř we need to deal with all of these. We strip away all of the fat that surrounds function calls and only …
Non-Intrusive Migration from Lazy to Eager Evaluation
ICOOOLPS When: Tue 13 Jul 2021 16:20 - 16:40 People: Aviral Goel, Jan Vitek
… ; all other expressions are evaluated eagerly. Most built-in functions are strict …
ECOOP Test of Time Award
ECOOP Keynotes When: Sat 17 Jul 2021 08:00 - 08:40Fri 16 Jul 2021 18:20 - 19:00 People: Gregor Kiczales
… The AspectJ project was tasked with achieving real-world impact for aspect-oriented programming. That expectation drove our decision making in all facets of the project – goal setting, team building, language design, implementation …
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers When: Fri 16 Jul 2021 03:00 - 03:20Fri 16 Jul 2021 10:00 - 10:20 People: Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue
… by reasoning about all the possible value flows in the program conservatively … only some but not all the value flows in the program heuristically. In this paper … its entry to its exit along all the possible value flows established by its …
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
ECOOP Technical Papers When: Wed 14 Jul 2021 18:30 - 18:50Thu 15 Jul 2021 02:00 - 02:20 People: Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
… and explicate their values at all call-sites. We introduce Implicit Refinement …
On the Monitorability of Session Types, in Theory and Practice
ECOOP Technical Papers When: Thu 15 Jul 2021 19:40 - 20:00Sat 17 Jul 2021 09:30 - 09:50 People: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
… flag ill-typed processes) and completeness (i.e., whether all ill-typed …
A Dependently Typed Calculus with Polymorphic Subtyping
ECOOP Technical Papers When: Wed 14 Jul 2021 20:20 - 20:40Thu 15 Jul 2021 10:10 - 10:30 People: Mingqi Xue, Bruno C. d. S. Oliveira
… and transitivity of unified subtyping.
λ∀I and all corresponding proofs …
Type-Directed Operational Semantics for Gradual Typing
ECOOP Technical Papers When: Thu 15 Jul 2021 01:40 - 02:00Thu 15 Jul 2021 09:10 - 09:30 People: Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
… with a gradual guarantee. All the results have been mechanically formalized …
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
ECOOP Technical Papers When: Wed 14 Jul 2021 20:00 - 20:20Thu 15 Jul 2021 10:50 - 11:10 People: Jan Bessai, George Heineman, Boris Düdder
… Software evolution is an essential challenge for all software engineers, typically addressed solely using code versioning systems and language-specific code analysis tools. Most versioning systems view the evolution of a system …
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
ECOOP Technical Papers When: Wed 14 Jul 2021 18:50 - 19:10Fri 16 Jul 2021 10:40 - 11:00 People: Hendrik van Antwerpen, Eelco Visser
… type checker needs to ensure that units have defined all relevant names before …
Dealing with Variability in API Misuse Specification
ECOOP Technical Papers When: Sat 17 Jul 2021 02:10 - 02:30Fri 16 Jul 2021 19:40 - 20:00 People: Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
… that MetaCrySL can model all forms of variability we identified and drastically …
Differential Privacy for Coverage Analysis of Software Traces
ECOOP Technical Papers When: Sat 17 Jul 2021 01:10 - 01:30Fri 16 Jul 2021 19:20 - 19:40 People: Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, Atanas Rountev
… all users, the analysis server computes, for each trace, an estimate of how …