28th Nordic Workshop on Programming Theory (NWPT'16)

        31 October - 2 November 2016, Rold StorKro (North Jutland), Denmark

List of Accepted Abstracts

Sebastian Wolff. Thread Summaries for Lock-Free Data Structures
Einar Broch Johnsen, Martin Steffen and Johanna Beate Stumpf. A Calculus of Virtually Timed Ambients
Rasmus Thomas Tjalk-Boeggild and Christian W. Probst. An operational semantics for Javascript DOM
Shiji Bijo, Einar Broch Johnsen, Ka I Pun and Silvia Lizeth Tapia Tarifa. An Operational Framework for Multilevel Cache Coherent Multicore Architectures
Fernando Macias, Adrian Rutle and Volker Stolz. Multilevel Behavioural Metamodelling
Duncan Cameron, Gudmund Grov and Leon McGregor. What is your actual annotation overhead?
Crystal Chang Din, Einar Broch Johnsen, Olaf Owe and Ingrid Chieh Yu. A Sound Reasoning System Using Uninterpreted Predicates
Georgiana Caltais, Stefan Leue and Mohammadreza Mousavi. On (de-)composing causality
Mathias Vorreiter Pedersen and Aslan Askarov. From trash to treasure: timing-sensitive garbage collection
Kalmer Apinis, Varmo Vene and Vesal Vojdani. Demand-Driven Interprocedural Analysis for Map-Based Abstract Domains
Danil Annenkov and Martin Elsman. Towards Certified Compilation of Financial Contracts
Toktam Ramezanifarkhani and Olaf Owe. A Secrecy-Preserving Language for Programming of Object-Oriented and Distributed Systems
Eric Bodden, Michael Eichberg, Ka I Pun, Martin Steffen, Volker Stolz and Anna-Katharina Wickert. Don’t let data Go astray
Fernando Macias, Torben Scheffel, Malte Schmitz, Rui Wang, Martin Leucker, Adrian Rutle and Volker Stolz. Integration of Runtime Verification into Metamodeling
Marco Vassena and Alejandro Russo. On Formalizing Information-Flow Control Libraries
Elias Castegren and Tobias Wrigstad. Types for CAS: Relaxed Linearity with Ownership Transfer
Adrian Rutle, Fernando Macias, Francisco Duran, Roberto Rodriguez-Echeverria and Uwe Wolter. Describing Behaviour Models through Reusable, Multilevel, Coupled Model Transformations
Uli Fahrenberg. Pomset Languages of Higher-Dimensional Automata
Maja Kirkeby. Approximating Probabilities in Static Analysis
Seyed Hossein Haeri and Peter Van Roy. An Operational Semantics for Multicasting Systems with Monotonic Values
Marino Miculan and Marco Peressotti. Reductions for transition systems at work: the bisimulation hierarchy of state-to-function transition systems
John P. Gallagher, Mai Ajspur and Bishoksan Kafle. Finite tree automata determinisation and its application in program analysis and verification
Mahsa Varshosaz and Mohammadreza Mousavi. Delta-Oriented FSM-Based Testing
Raúl Pardo. Enforcement and Specification of Evolving Privacy Policies for Social Networks
Håkon Normann. Non-interleaving opperational semantics for late and early Pi-calculus
Giovanni Bacci, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare. Minimizing Markov Chains Beyond Bisimilarity
Bingtian Xue, Stefan Schmid and Kim Larsen. wNetKAT: Programming and Verifying Weighted Software-Defined Networks
Sebastian Kunze and Mohammadreza Mousavi. Testing Software Product Lines using Differential Symbolic Execution

Important dates:


We acknowledge the kind support of