Tue 18 Jul 2023 15:30 - 17:00 at Microsoft Atrium (Allen Center) - Posters

Programming with versions introduced versions as an element of types where same-named definitions can be distinguished by their versions. This paradigm gives users finer-grained control over their programs. Downstream users can benefit from avoiding dependency locks and upstream users can benefit from easier multi-version management of codebases. However, the implementation of this concept, BatakJava, lacks version polymorphism. BatakJava does not allow a single class definition to be instantiated with different versions in different class instances. To solve this problem, we propose the use of parameterized versions to allow version polymorphic definitions, similar to the treatment of type parameters in Java’s generics. We introduce the plan for the design of the language, its benefits, and show a preliminary idea of its compilation into Java.

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00
15:30
90m
Poster
ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
Student Research Competition
Hannah Potter University of Washington
15:30
90m
Poster
An empirical evaluation of commit-untangling tools
Student Research Competition
Thomas Schweizer University of Washington, Seattle
15:30
90m
Poster
Object Synthesis for Automated Test Generation
Student Research Competition
Aleksandr Fedchin Tufts University
15:30
90m
Poster
Out-of-place Multiverse Debugging for Constraint Devices
Student Research Competition
Tom Lauwaerts Universiteit Gent, Belgium
15:30
90m
Poster
Determinism with Intersection and Union Types
Student Research Competition
Baber Rehman University of Hong Kong
15:30
90m
Poster
An Exploration of Static Variability Bug Detection Through Desugaring
Student Research Competition
P: Austin Mordahl University of Texas at Dallas
15:30
90m
Poster
Characterizing WebAssembly Performance in the Era of Serverless Computing
Student Research Competition
Jamshed Ashurov UC San Diego
15:30
90m
Poster
LibAE: An Area Exploration Technology for Detecting Third-party Libraries in Binaries
Student Research Competition
15:30
90m
Poster
Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information
Student Research Competition
P: Zhongzhen Wen Nanjing University
15:30
90m
Poster
An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools
Student Research Competition
Dakota Soles The University of Texas at Dallas
15:30
90m
Poster
DeltaNN: Differential Testing to Evaluate Robustness of Image Recognition Models
Student Research Competition
P: Nikolaos Louloudakis University of Edinburgh
15:30
90m
Poster
Specification-Driven Synthesis of Summaries for Symbolic Execution
Student Research Competition
P: Frederico Ramos Instituto Superior Técnico
15:30
90m
Poster
LATCH: Enabling Large-scale Tests on Constraint Systems
Student Research Competition
P: Tom Lauwaerts Universiteit Gent, Belgium
15:30
90m
Poster
Context-adaptive Automated Testing for Deep Learning Model
Student Research Competition
15:30
90m
Poster
An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dataflow Language
Student Research Competition
P: Yegor Bugayenko Huawei
15:30
90m
Poster
Polymorphism for Programming With Versions
Student Research Competition
Luthfan Anshar Lubis Tokyo Institute of Technology
15:30
90m
Poster
Towards Reliable Memory Management for Python Native Extensions
Student Research Competition
P: Joannah Nanjekye University of New Brunswick