SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
MEMOCODE'15 PROGRAM

Days: Monday, September 21st Tuesday, September 22nd Wednesday, September 23rd

Monday, September 21st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:00-10:30Coffee Break
10:30-12:00 Session 4: Distributed Systems and Concurrency
10:30
Local and Global Fairness in Concurrent Systems ( abstract )
11:00
SCEst: Sequentially Constructive Esterel ( abstract )
11:30
Design and Verification of Multi-Rate Distributed Systems ( abstract )
12:00-12:30 Session 5: Short Papers
12:00
Optimized Distributed Implementations of Timed Component-based Systems ( abstract )
12:10
Towards Refinement Types for Time-Dependent Data-Flow Networks ( abstract )
12:20
C-To-Verilog Translation Validation ( abstract )
12:30-14:00Lunch Break
14:00-15:00 Session 6: Design Contest

Peter Milder. MEMOCODE 2015 Design Contest: Continuous Skyline Computation

First Place: Kenichi Koizumi, Mary Inaba, Kei Hiraki, University of Tokyo. Efficient Implementation of Continuous Skyline Computation on a Multi-Core Processor

Second Place: Armin Ahmadzadeh, Ehsan Montahaie, Milad Ghafouri, Reza Mirzaei, Saied Rahmani, Farzad Sharif Bakhtiar, Mohsen Gavahi, Rashid Zamanshoar, Hanie Ghasemi, Kianoush Jafari, Saeid Gorgin, Inst. for Research in Fundamental Sciences (IPM), Iran. Efficient Continuous Skyline Computation on Multi-Core Processors Based on Manhattan Distance

15:00-15:30Coffee Break
Tuesday, September 22nd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:00-10:30Coffee Break
10:30-12:00 Session 10: System and Software Modeling and Verification
10:30
Modeling and verifying context-aware non-monotonic reasoning agents ( abstract )
11:00
Metric Interval Temporal Logic Specification Elicitation and Debugging ( abstract )
11:30
Formal validation and verification of a medical software critical component ( abstract )
12:00-12:30 Session 11: Short Papers
12:00
Hierarchical Multi-Formalism Proofs of Cyber Physical Systems ( abstract )
12:10
Modeling Resource Sharing using FSM-SADF ( abstract )
12:20
Logic analysis and optimization with quick identification of invariants through one time frame analysis ( abstract )
12:30-14:00Lunch Break
14:00-15:30 Session 12: Hardware Design and Test
14:00
Layering RTL, SAFL, Handel-C and Bluespec Constructs on Chisel HCL ( abstract )
14:30
Compositional design of asynchronous circuits from behavioural concepts ( abstract )
15:00
A Generic Synthesisable Test Bench ( abstract )
15:00-15:30Coffee Break
16:00-17:30 Session 13: System and Software Testing, Repair, and Deployment
16:00
Passive testing of production systems based on model inference ( abstract )
16:30
Model and Program Repair via SAT Solving ( abstract )
17:00
On the Deployment Problem of Embedded Systems ( abstract )
18:00-21:30 Session : Conference Dinner: Lambert's Downtown Barbecue

Bus departs for conference dinner at 18:00

Conference Banquet begins at 18:30, Lambert's Downtown Barbecue, 401 West 2nd St, Austin, TX 78701

Bus returns at 21:30

Wednesday, September 23rd

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:00-10:30Coffee Break
10:30-12:30 Session 17A: Hardware and Architecture Design and Analysis
10:30
Reducing power with activity trigger analysis ( abstract )
11:00
Implementing Latency-Insensitive Dataflow Blocks ( abstract )
11:30
Symbolic Loop Parallelization for Balancing I/O and Memory Accesses on Processor Arrays ( abstract )
12:00
Process algebra semantics and reachability analysis for micro-architectural models of communication fabrics ( abstract )
12:00-14:00Lunch Break
14:00-15:00 Session 18A: Runtime Verification
14:00
Automatic and Configurable Instrumentation of C Programs with Temporal Assertion Checkers ( abstract )
14:30
From Signal Temporal Logic to FPGA Monitors ( abstract )
15:00-15:30Coffee Break
15:30-17:00 Session 20A: Hybrid Systems Verification
15:30
From Non-Zenoness Verification to Termination ( abstract )
16:00
Verification Condition Generation for Hybrid Systems ( abstract )
16:30
Towards Verification of Hybrid Systems in a Foundational Proof Assistant ( abstract )