Thu 19 Nov 2020 17:00 - 17:20 at SPLASH-I - R-6 Chair(s): Filip Niksic, Adam Welc
Fri 20 Nov 2020 05:00 - 05:20 at SPLASH-I - R-6 Chair(s): Eelco Visser, Dominik Winterer
Fri 20 Nov 2020 05:00 - 05:20 at SPLASH-I - R-6 Chair(s): Eelco Visser, Dominik Winterer
Many programming problems call for turning geometrical
thoughts into code: tables, hierarchical structures, nests of objects, trees,
forests, graphs, and so on. Linear text does not do justice to such
thoughts. But, it has been the dominant programming medium for the
past and will remain so for the foreseeable future.
This paper proposes a novel mechanism for conveniently extending
textual programming languages with problem-specific visual
syntax. It argues the necessity of this language feature,
demonstrates the feasibility with a robust prototype, and
sketches a design plan for adapting the idea to other
languages.
Thu 19 Nov Times are displayed in time zone: Central Time (US & Canada) change
Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change
17:00 - 17:20 Talk | Adding Interactive Visual Syntax to Textual Code OOPSLA Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University Link to publication DOI Media Attached | ||
17:20 - 17:40 Talk | Deductive Optimization of Relational Data Storage OOPSLA John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology Link to publication DOI Media Attached | ||
17:40 - 18:00 Talk | Inter-theory Dependency Analysis for SMT String Solvers OOPSLA Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore Link to publication DOI Media Attached | ||
18:00 - 18:20 Talk | Macros for Domain-Specific Languages OOPSLA Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University Link to publication DOI Media Attached |
Fri 20 Nov Times are displayed in time zone: Central Time (US & Canada) change
Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change