Smart Programming Day 2016

Smart Programming Day is part of SICS Software Week 2016.

Videos of talks below

The theme of the day is smart programming: what are methods and tools to make programming easier and more efficient as well as methods for optimizing programs with the use of smart techniques. One particular focus area will be the use of constraint programming: how to model problems and how to model them well and how to use constraint programming as a smart programming tool.

The Smart Programming Day is organized together with KTH Royal Institute of Technology. Program Chair is Christian Schulte, KTH and SICS Swedish ICT. Registration is open and free of charge.

presentations and videos, Smart Programming Day 2016

Welcome and introduction
Christian Schulte, KTH Royal Institute of Technology & SICS Swedish ICT

Software Testing Applications with Constraint Optimization
Arnaud Gotlieb, Certus, Norway

Heterogeneous Programming and Modeling of Cyber-Physical Systems
David Broman, KTH Royal Institute of Technology

How to solve problems without knowing how...
Peter Stuckey, Melbourne University, Australia

Concolic Testing of High-Level Languages
Konstantinos Sagonas, Uppsala University

Generating Code with Unison
Christian Schulte, SICS Swedish ICT and KTH Royal Instiute of Technology and Roberto Castañeda Lozano, SICS Swedish ICT

Supporting CP modellers develop better models
Maria Garcia de la Banda, Monash University, Australia

Reasoning With Regulations
Vijay Saraswat, IBM Research, USA

Code transformations to improve energy efficiency
Konstantinos Koukos, KTH Royal Institute of Technoloy

Tuesday, November 29, 2016,
09:00 to 16:30
Add to Calendar
Kista Science Tower
Färögatan 3