ProWeb 2022
Dates to be announced
co-located with ‹Programming› 2022
VenueFEUP | Universidade do Porto
Room nameOpenSpace
Floor-1
Room numberI -105
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 21 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
08:30
30m
Registration
Registration
‹Programming›

Tue 22 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
08:30
30m
Registration
Registration
‹Programming›

Wed 23 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
08:30
30m
Registration
Registration
‹Programming›

10:30 - 12:00
10:30
30m
Demonstration
Programming Geo-Distributed Systems using ECROs (demo)
‹Programming› Posters and Demonstrations
Kevin De Porre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
11:00
30m
Demonstration
WOOD: An out-of-things Debugger for IoT applications (demo)
‹Programming› Posters and Demonstrations
Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
11:30
30m
Demonstration
Flec: practical CRDTs on IoT hardware (demo)
‹Programming› Posters and Demonstrations
Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium
13:30 - 15:00
13:30
90m
Poster
Genetic Engine: Grammar-Guided Genetic Programming without the grammar (poster)
‹Programming› Posters and Demonstrations
Leon Ingelse LASIGE, Faculdade de Ciências da Universidade de Lisboa, Guilherme Espada LASIGE, Faculdade de Ciências, Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa, Pedro Barbosa LASIGE, Alcides Fonseca LASIGE, Faculty of Sciences, University of Lisbon
13:30
90m
Poster
Less Is More: Merging AST Nodes To Optimize Interpreters (poster)
‹Programming› Posters and Demonstrations
Octave Larose University of Kent, Sophie Kaleba University of Kent, Stefan Marr University of Kent
13:30
90m
Poster
Enhancing DrRacket with Dodona for Learning Scheme (poster)
‹Programming› Posters and Demonstrations
13:30
90m
Poster
WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (poster)
‹Programming› Posters and Demonstrations
Robbert Gurdeep Singh Universiteit Gent, Belgium, Tom Lauwaerts Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium
15:30 - 17:00
15:30
45m
Other
Open Space Wed V
‹Programming› Open Space

16:15
45m
Other
Open Space Wed VI
‹Programming› Open Space

Thu 24 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
08:30
30m
Registration
Registration
‹Programming›

10:30 - 12:00
Programming languages | OpenSpace IV‹Programming› Posters and Demonstrations at OpenSpace
10:30
30m
Demonstration
Genetic Engine: Genetic Programming for the Common Programmer (demo)
‹Programming› Posters and Demonstrations
Guilherme Espada LASIGE, Faculdade de Ciências, Universidade de Lisboa, Leon Ingelse LASIGE, Faculdade de Ciências da Universidade de Lisboa, Alcides Fonseca LASIGE, Faculty of Sciences, University of Lisbon
11:00
30m
Demonstration
Dive into LiquidJava ⁠— Extending Java with Liquid Types (demo)
‹Programming› Posters and Demonstrations
Catarina Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa, Christopher Steven Timperley Carnegie Mellon University, Alcides Fonseca LASIGE, Faculty of Sciences, University of Lisbon
11:30
30m
Demonstration
WARDuino IoT: Virtual Machine Technology for Programming IoT Applications on Embedded Systems (demo)
‹Programming› Posters and Demonstrations
Tom Lauwaerts Universiteit Gent, Belgium, Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium
13:30 - 15:00
13:30
45m
Other
Open Space Thu III
‹Programming› Open Space

14:15
45m
Other
Open Space Thu IV
‹Programming› Open Space

Fri 25 Mar

Displayed time zone: Lisbon change

08:30 - 09:00
08:30
30m
Registration
Registration
‹Programming›

09:00 - 10:00
Programming systems and methodologiesMOPS at OpenSpace

We will open the day with a discussion about the problem of the evaluation of programming systems. What are programming systems and why are they harder to evaluate and study than programming languages?

09:00
30m
Talk
The problem of programming systems research methodologies
MOPS
Tomas Petricek University of Kent, Joel Jakubovic University of Kent
09:30
30m
Panel
What are programming systems & how do you study them?
MOPS
Tomas Petricek University of Kent
10:30 - 12:00
Technical dimensions of programming systemsMOPS at OpenSpace

We will present our work on developing the “technical dimensions” framework, which aims to provide useful strucutre for evaluation of programming systems. After an introduction to the framework, we’ll work together to see how it applies to interesting current programming systems (ideally developed by tutorial participants!)

10:30
45m
Talk
Introduction to the technical dimensions framework
MOPS
Joel Jakubovic University of Kent
11:15
45m
Panel
Analysing programming systems using technical dimensions
MOPS
Jonathan Edwards , Joel Jakubovic University of Kent
13:30 - 15:00
Future of programming systems researchMOPS at OpenSpace

What does the future of research on programming systems look like? Is there more to be added to the technical dimensions framework? Are there alternative approaches to the problem that motivated this tutorial? What would be the best next steps for the “programming systems” research community and our research?

13:30
45m
Talk
Future of technical dimensions & what is missing
MOPS
Joel Jakubovic University of Kent, Jonathan Edwards
14:15
45m
Panel
Next steps for programming systems research
MOPS
Tomas Petricek University of Kent, Joel Jakubovic University of Kent

Mon 21 Mar

Displayed time zone: Lisbon change

Room8:00153045
OpenSpace

Tue 22 Mar

Displayed time zone: Lisbon change

Room8:00153045
OpenSpace