Unsubscribe: https://lists.cs.columbia.edu/cucslists/listinfo/memocode Unsubscribe: <mailto:[email protected]>
Call for Participation 10th ACM/IEEE Conference on Formal Methods and Models for Co-Design (MEMOCODE 2012) Arlington, Virginia, USA (Few minutes from Washington DC by Metro, walking distance from NSF, DARPA, ONR, and AFOSR) July 16-17, 2012 For Registration: <http://www.cpe.vt.edu/reg/acmieee/index.html> http://www.cpe.vt.edu/reg/acmieee/index.html For Hotels, Venue and Other information: <http://memocode.irisa.fr/2012/MEMOCODE%202012.html> http://memocode.irisa.fr/2012/MEMOCODE%202012.html ----------------------------------------------------------------------- Program: Day 1 (July 16) 9:00 Welcome 9:30 Session 1: Performance Analysis Daniel Holcomb, Alexander Gotmanov, Michael Kishinevsky and Sanjit Seshia. Compositional Performance Verification of NoC Designs Gideon Smeding and Gregor Gössler. A Correlation Preserving Performance Analysis for Stream Processing Systems 10:30 Coffee Break 11:00 Invited Talk Yosinori Watanabe (Cadence Design Systems). Clearing the Clutter: Unified Modeling and Verification Methodology for System Level Hardware Design 12:30 Lunch 14:00 Session 2: Test Coverage and Fault Localization Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang and Chien-Nan Jimmy Liu. Improving Design Verifiability by Early RTL Coverability Analysis Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang and Xiangning Ma. FAST: Formal Specification Driven Test Harness Generation Heinz Riener and Goerschwin Fey. Model-Based Diagnosis versus Error Explanation 15:30 Coffee Break 15:45 Invited Talk Kathryn Kranen, (Jasper Design Automation). The Future of Verification: A Spiral of Technological and Business Innovation 17:00 Coffee Break 17:15 Invited Tutorial Fabio Somenzi. Incremental Inductive Verification: IC3 and its Friends 18:30 End of Day 1 19:00 Dinner Day 2 (July 17) 9:00 Session 3: High-Level Validation I Yu Bai, Jens Brandt and Klaus Schneider. Preservation of LTL Properties in Desynchronized Systems Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi and Masahiro Fujita. Polynomial Datapath Synthesis and Optimization Based on Vanishing Polynomial over Z2m and Algebraic Techniques Manuel Gesell and Klaus Schneider. Interactive Verification of Synchronous Systems 10:30 Coffee Break 11:00 Invited Talk Kenneth McMillan (Microsoft). Symbolic Tools for Program Proving 12:30 Lunch 14:00 Design Contest 15:00 Coffee Break 15:30 Session 4: High-Level Validation II Kartik Nagar and Y.N. Srikant. Interdependent Cache Analyses for better Precision and Safety Asif Khan, Muralidaran Vijayaraghavan and Arvind. A General Technique for Deterministic Model-Cycle-Level Debugging Elizabeth Leonard, Myla Archer, Constance Heitmeyer and Ralph Jeffords. Direct Generation of Invariants for Reactive Models 17:00 End of Conference _______________________________________________ Memocode mailing list [email protected] ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
