[PRL] New England Symposium on Formal Hardware Verification

[Pete Manolios]

Final announcement:

Miriam Leeser  (ECE), Tim Leonard (Intel), and I are organizing the New
England Symposium on Formal Hardware Verification
http://www.ece.neu.edu/groups/rcl/nefvs.html. **

We have speakers from MIT, Intel, WPI, Waterloo, Reservoir Labs, and
Cadence. In addition, several faculty and students from Northeastern are
also presenting. The program is below and you are all welcome to attend part
or all of the symposium.
Room 440, Egan Research CenterProgram

   - 9:00-9:30   Welcome, informal greetings, and chat with friends (both
   new and old)
   - 9:30-10:00   Arvind, MIT - Why formal verification remains on the
   fringes of commercial development
   - 10:00-10:20   Tim Leonard, Intel - The problem of interface specs
   - 10:20-10:40   Kathi Fisler, WPI - Formally capturing the structure
   of bus specifications
   - 10:40-11:00   Break
   - 11:00-11:20   Pete Manolios, Northeastern - Reasoning about
   system-level properties of register-transfer-level hardware designs
   - 11:20-11:40   Karl Lieberherr, Northeastern - Preprocessing for
   MAX-SAT based on P-optimality
   - 11:40- 1:00   Lunch
   - 1:00- 1:20   James Ezick, Reservoir Labs - Constraint-based
   verification with R-Verify
   - 1:20- 1:40   Hyondeuk Kim, Cadence - Application of formal methods
   in constrained-random simulation
   - 1:40- 2:00   Armaghan Naik, Intel - Statistical pattern recognition
   methods for formal verification
   - 2:00- 2:20   Mary Ellen Fuess, Northeastern - PHAST: Pipelined
   hardware-accelerated state checker
   - 2:20- 2:40   Break
   - 2:40- 3:00   Gene Cooperman, Northeastern - Using disk-based
   computation to mediate the state explosion problem
   - 3:00- 3:20   Richard Trefler, Waterloo - Compositional reasoning for
   communications protocols
   - 3:20- 3:40   Mehdi Tahoori, Northeastern - Verification of a fault
   recovery architecture
   - 3:40- 4:00   Carl Eastlund, Northeastern - Modular ACL2
   - 4:00-5:00   Socialize, chat, wrap up and discuss future plans
   - A group of folks will be going to dinner with anyone interested at
   the end of the day.

-- 
Pete Manolios
-------------- next part --------------
HTML attachment scrubbed and removed