| 09:00 | Frank Tip. Refactoring using Type Constraints (SAS invited talk) |
| 10:00 | Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo and Chung-Hsin Chen.
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages |
| Coffee break | |
| 11:00 | Tristan Le Gall and Bertrand Jeannet. Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification |
| Sharon Shoham and Orna Grumberg. Compositional Verification and 3-Valued Abstractions Join Forces |
|
| 12:00 | James Brotherston. Formalised Inductive Reasoning in the Logic of Bunched Implications |
| 12:30 | Lunch |
| 14:00 | David Monniaux. Optimal abstraction on real-valued programs |
| Axel Simon and Andy King. Taming the Wrapping of Integer Arithmetic |
|
| 15:00 | Sylvie Putot and Eric Goubault. Under-approximations of computations in real numbers based on generalized affine arithmetic |
| Coffee break | |
| 16:00 | Krishna Nandivada, Fernando Pereira and Jens Palsberg. A Framework for End-to-End Verification and Evaluation of Register Allocators |
| Tao Wei, Jian Mao, Wei Zou and Yu Chen. A New Algorithm for Identifying Loops in Decompilation |
|
| 17:00 | Jerome Leroux and Grégoire Sutre. Accelerated Data-flow Analysis |
Thursday 23 August
| 09:00 | Michael Codish. Proving Termination with (Boolean) Satisfaction (LOPSTR invited talk) |
| 10:00 | Akash Lal, Nicholas Kidd, Thomas Reps and Tayssir Touili. Abstract Error Projection |
| Coffee break | |
| 11:00 | Alexander Malkis, Andreas Podelski and Andrey Rybalchenko. Precise Thread-Modular Verification |
| Cristiano Calcagno, Matthew Parkinson and Viktor Vafeiadis. Modular Safety Checking for Fine-Grained Concurrency |
|
| 12:00 | Joerg Bauer and Reinhard Wilhelm. Static Analysis of Dynamic Communication Systems by Partner Abstraction |
| 12:30 | Lunch |
| 14:00 | Ben Hardekopf and Calvin Lin. Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis |
| Amir Kamil and Katherine Yelick. Hierarchical Pointer Analysis for Distributed Programs |
|
| 15:00 | Matthieu Martel. Semantics Transformation of Arithmetic Expressions |
| 15:30 | Excursion & conference dinner |
Friday 24 August
| 09:00 | Alan Mycroft. Hardware-Oriented Program Properties (SAS invited talk) |
| 10:00 | Francesco Banterle and Roberto Giacobazzi. A Fast Implementation of Octagon Abstract Domain on Graphics Hardware |
| Coffee break | |
| 11:00 | Pierre Ganty, Patrick Cousot and Jean-Francois Raskin.
Fixpoint-Guided Abstraction Refinements |
| Denis Gopan and Thomas Reps. Guided Static Analysis |
|
| 12:00 | Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta. Program Analysis using Symbolic Ranges |
| 12:30 | Lunch |
| 14:00 | Bor-Yuh Evan Chang, Xavier Rival and George Necula. Shape Analysis with Structural Invariant Checkers |
| Cristiano Calcagno, Dino Distefano, Peter O'Hearn and Hongseok Yang.
Footprint Analysis: A Shape Analysis that Discovers Preconditions |
|
| 15:00 | Stephen Magill, Josh Berdine, Edmund Clarke and Byron Cook.
Arithmetic Strengthening for Separation Logic Based Shape Analyses |
| Coffee break | |
| 16:00 | David Delmas and Jean Souyris. Astrée: from research to industry |
| Fausto Spoto and Etienne Payet. Magic-Sets Tranformation for the Analysis of Java Bytecode |
| 8:15 - 9:00 | Arrival of participants and registration |
| 9:00 - 10:00 | Delia Kesner. Parametric resources for lambda-calculi. Invited talk. | |
| 10:00 - 10:30 | Gurvan Le Guernic and Julien Perret. FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS. |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 11:30 | Juan Antonio Guerrero and Ginés Moreno. Fuzzy Folding/Unfolding and Related Transformation Rules. | |
| 11:30 - 12:00 | Malte Appeltauer and Günter Kniesel. Towards Generic Pointcut-Driven Program Transformation Rules. | |
| 12:00 - 12:30 | Emilie Balland, Pierre-Etienne Moreau and Antoine Reilles. Optimising Strategies in a Rule Based Framework. |
| 12:30 - 14:00 | Lunch |
| 14:00 - 14:30 | Invited Talk: to be announced. | |
| 14:30 - 15:00 | Ozan Kahramanogullari. Maude as a Platform for Designing and Implementing Deep Inference Systems. | |
| 15:00 - 15:30 | Oana Andrei and Hélène Kirchner. Towards a Rewriting Calculus for Multigraphs with Ports. |
| 15:30 - 16:00 | Coffee Break |
| 16:00 - 16:30 | Demis Ballis, Andrea Baruzzo and Marco Comini. A Rule-based Method to Match Software Patterns against UML Models. | |
| 16:30 - 17:00 | José Bacelar Almeida, Jorge Sousa Pinto and Miguel Vilaça. A Tool for Programming with Interaction Nets. | |
| 17:00 - 17:30 | Discussion. |
| John Gero and Greg Smith Context and Design Agents |
| Vaninha Vieira, Patrícia Tedesco, Ana Carolina Salgado and Patrick
Brézillon Investigating the Specifics of Contextual Elements Management: The CEManTIKA Approach |
| Richmond Thomason Three Interactions between Context and Epistemic Locutions |
| Chiara Ghidini, Luciano Serafini and Sergio Tessaris On relating heterogeneous elements from different ontologies |
| Claudia Bianchi and Nicla Vassallo Meaning, Contexts and Justification |
| Mathieu Roche and Violaine Prince AcroDef: A Quality Measure for Discriminating Expansions of Ambiguous Acronyms |
| Yakov Gal, Barbara Grosz and Stuart Shieber The influence of Task Contexts on the Decision-making of Humans and Computers |
| Oleg Kiselyov and Chung-chieh Shan Delimited continuations in operating systems |
| Patrick Brezillon Context modeling: Task model and model of practices |
| Nik Nailah Binti Abdullah and Shinichi Honiden Context in use for analyzing conversation structures on the Web tied to the notion of situatedness |
| Robert Lokaiczyk, Andreas Faatz, Arne Beckhaus and Manuel
Goertz Enhancing Just-in-Time E-Learning through Machine Learning on Desktop Context Sensors |
| Juliette Brezillon and Patrick Brezillon Context modeling: Context as a dressing of a focus |
| Dan Zeman Context Sensitivity: Indexicalism, Contextualism, Relativism |
| Norbert Baumgartner, Werner Retschitzegger, Wieland Schwinger, Gabriele
Kotsis and Christoph Schwietering Of Situations and Their Neighbors - Evolution and Similarity in Ontology-Based Approaches to Situation Awareness |
| Kayo Sakamoto and Masanori Nakagawa Risk Context Effects in Inductive Reasoning: An Experimental and Computational Modeling Study |
| Penka Hristova, Georgi Petkov and Boicho Kokinov Objective vs Subjective Scales: The Challenge that the Scale Type Poses to the JUDGEMAP Model of Context Sensitive Judgment |
| Andreas Zimmermann and Andreas Lorenz An Operational Definition of Context |
| Michael Vonrueden and Wolfgang Prinz Distributed Document Contexts in Cooperation Systems |
| Cristiana Bolchini, Elisa Quintarelli, Rosalba Rossato and Letizia
Tanca Using context for the extraction of relational views |
| Marcel Cremene and Michel Riveill Service-context unified knowledge representation for autonomic adaptation |
| Stefan Mandl and Bernd Ludwig Coping with Unconsidered Context of Formalized Knowledge |
| Tarek Ben Mena, Narjès Bellamine-Ben Saoud, Mohamed Ben Ahmed and Bernard
Pavard Towards a methodology for context sensitive systems development |
| Brecht Desmet, Jorge Vallejos, Pascal Costanza, Wolfgang De Meuter and Theo
D'Hondt Context-Oriented Domain Analysis |
| Tomasz Zarycki Fields as Dimensions of Context: An application of Bourdieu's sociological theory to modelling of context of social action |
| Romaric Redon, Andreas Larsson, Richard Leblond and Barthelemy
Longueville VIVACE Context Based Search Platform |
| Cosimo Palmisano, Alexander Tuzhilin and Michele Gorgoglione User Profiling with Hierarchical Context: an e-retailer case study |
| Shun Hattori, Taro Tezuka, Hiroaki Ohshima, Satoshi Oyama, Junpei Kawamoto,
Keishi Tajima and Katsumi Tanaka ReCQ: Real-world Context-aware Querying |
| Carsten Keßler Similarity Measurement in Context |
| PJ Beers and Pieter W G Bots Conceptual Analysis of Interdisciplinary Scientific Work |
| Karl Devooght A Semantics for Changing Frames of Mind |
| Marielba Zacarias, Sofia Pinto and Tribolet José Integrating Engineering, Cognitive and Social Approaches for a Comprehensive Modeling of Organizational Agents and their Contexts |
| Anders Kofod-Petersen and Jörg Cassens Explanations and Context in Ambient Intelligent Systems |
| Richard Dapoigny and Patrick Barlatier Goal Reasoning with Context Record Types |
| Ahu Sieg, Bamshad Mobasher and Robin Burke Representing Context in Web Search with Ontological User Profiles |
| Rodrigo Agerri, John Barnden, Mark Lee and Alan Wallington Default Inferences in Metaphor Interpretation |
| Seon-Ho Park and Tai-Myoung Chung Context-Aware Security Management System for Pervasive Computing Environment |
| Ergun Bicici Local Context Selection for Aligning Sentences in Parallel Corpora |
| Srini Narayanan OCCAM: Ontology-based Computational Contextual Analysis and Modeling |
| John Tomlinson and Daniel Richardson Do You Believe What Eye Believe? |
| Dhouha Ayed, Yolande Berbers and Didier Delanote MDD approach for the Development of Context-Aware Applications |
| Thana Sukvaree and Asanee Kawtrakul Thai Text Coherence Structuring with Coordinating and Subordinating Relations for Text Summarization |
| Boicho Kokinov, Georgi Petkov and Nadezhda Petrova Context-Sensitivity of Human Memory: Episode Connectivity and its Influence on Memory Reconstruction |
Short Papers (in alphabetic order of the titles):
| Morning Sessions joint with
VERIFY'07 |
|
| 09:00 - 10:00 |
Invited
Talk Cesare Tinelli Trends and Challenges in Satisfiability Modulo Theories |
| 10:00 - 10:30 |
Philipp Rümmer A Sequent Calculus for Integer Arithmetic with Counterexample Generation (VERIFY Talk) |
| 10:30 - 11:00 |
Break |
| 11:00 - 11:30 |
Alan Bundy Where's My Stuff? An Ontology Repair Plan (DISPROVING Talk) |
| 11:30 - 12:00 | Pascal Fontaine Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class (VERIFY Talk) |
| 12:00 - 12:30 | Arjeh M. Cohen, Jan Willem Knopper, and Scott H.
Murray Automatic Proof of Graph Nonisomorphism (DISPROVING Talk) |
| 12:30 - 14:00 | Lunch |
| 14:00 - 15:00 |
Invited
Talk Koen Claessen A Paradigm Shift in ATP: Towards Model-based Reasoning Systems |
| 15:00 - 15:30 | Jan Otop Solution to some right alternative ring problems |
| 15:30 - 16:00 | Break |
| 16:00 - 16:30 | Didier Galmiche, Dominique Larchey-Wendling and
Yakoub Salhi Provability and Countermodels in Gödel-Dummett Logics |
| 16:30 - 17:30 | Hans de Nivelle Redundancy for Geometric Resolution |
| 8:50 - 9:00 | Welcome. | |
| 9:00 - 9:30 | Sebastian Fischer, Josep Silva, Salvador Tamarit and German Vidal. Towards a Safe Partial Evaluation of Lazy Functional Logic Programs. | |
| 9:30 - 10:00 | Bernd Brassel, Sebastian Fischer and Frank Huch. Declaring Numbers. | |
| 10:00 - 10:30 | Emilio Jesús Gallego Arias, Julio Mariño and Jose Maria Rey. A Generic Semantics for Constraint Functional Logic Programming. |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 11:30 | Murdoch Gabbay and Michael Gabbay. a-logic with an arrow. | |
| 11:30 - 12:00 | Javier Álvez and Paqui Lucio. A Decision Procedure for Non-failure in CLP. | |
| 12:00 - 12:30 | Wolfram Kahl. Lazy Call-By-Value in the Pattern Matching Calculus - Towards Equational Reasoning for Functional-Logic Programming. |
| 12:30 - 14:00 | Lunch |
| 14:00 - 14:30 | Wolfgang Lux. Declarative Debugging Meets the World. | |
| 14:30 - 15:00 | Rafael Caballero-Roldan, Yolanda García-Ruiz and Fernando Sáenz-Pérez. A New Proposal for Debugging Datalog Programs. | |
| 15:00 - 15:30 | Ron van Kesteren, Olha Shkaravska and Marko van Eekelen. Inferring static non-monotonically sized types through testing. |
| 15:30 - 16:00 | Coffee Break |
| 16:00 - 16:30 | Tetsuo Ida, Mircea Marin and Hidekazu Takahashi. Computational Origami Construction as Constraint Solving and Rewriting. | |
| 16:30 - 17:00 | Michele Baggi and Demis Ballis. PHIL: A Lazy Implementation of a Language for Approximate Filtering of XML Documents. | |
| 17:00 - 17:30 | Alexei Lescaylle and Alicia Villanueva. Using tccp for the Specification and Verification of Communication Protocols. |