Days: Monday, September 21st Tuesday, September 22nd Wednesday, September 23rd
View this program: with abstractssession overviewtalk overviewside by side with other conferences
| 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 | 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 ) |
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
View this program: with abstractssession overviewtalk overviewside by side with other conferences
| 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 | 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 ) |
| 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 ) |
| 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 ) |
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
View this program: with abstractssession overviewtalk overviewside by side with other conferences
| 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 ) |
| 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: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 ) |