Orange County ACM

Welcome to the Orange County Chapter of the Association for Computing Machinery

We welcome all interested members, ideas and contributions. We are a non-profit organization whose members include professionals involved in software research and development, from algorithms and computing theory to big data applications, from medical devices and communications to natonal defense, from computer graphics and scientific visualization to computer games and entertainment. Literally any and all applications to which computer technology has been applied or is yet to be invented are encompassed by your fellow professionals in the ACM.
Proof or Consequences
Wednesday, September 13, 2017
06:30 PM
The Cove at UCI Applied Innovation
5141 California Ave., Ste 200, Irvine, CA (map)
Located at California and Bison; enter from California. There is free parking available, but give a little time to park.
Gerard Holzmann, Ph.D.
Founder, Nimble Research
Please register at Meetup
for the fifth of the Orange County ACM Chapter's 2017 bi-monthly evening program series.
Agenda

6:30 PM Doors Open & Networking
7:00 PM Announcements and Presentation
8:30 PM Meeting Adjourned

Event Details

All software of any practical significance is likely to have residual defects. How can we reduce those number to a minimum when we're developing really critical code?
I'll first summarize what steps we took in JPL's flight software team to prevent as many defects as possible from finding their way into the roughly 3 million lines of mission critical code that was developed for the Mars Science Lab Curiosity Rover that has been exploring the surface of Mars for almost five years now.
I'll then talk briefly also about an experimental new methodology that can allow us to analyze multi-threaded C source code more thoroughly for compliance with logical correctness properties that are expressed in linear temporal logic.

Speaker Bio

Dr. Holzmann is the founder and a researcher at Nimble Research and a Visiting Associate in Computing & Mathematical Sciences at the California Institute of Technology. He recently retired from NASA's Jet Propulsion Laboratory, where he was the founder and leader of JPL's Laboratory for Reliable Software. Prior to joining JPL, he was a researcher at Bell Labs.
He has designed and built software for image editing (Pico 1983), logic model checking (Spin 1998), static code analysis (Uno 2002, Cobra 2016), and for peer code review (Scrub 2009). He was a member of the flight software team for NASA's Mars Science Laboratory Mission 2008-2012,
He is a Fellow of the ACM and member of the US National Academy of Engineering. He is the recipient of the ACM System Software Award (2001), the ACM SIGSOFT Outstanding Research Award (2002), the Edison Patent Award (2003), co-recipient of the ACM Kannellakis Award (2006), recipient of an Honorary Doctorate from Twente University (2006), the NASA Exceptional Engineering Achievement Medal (2012) and the IEEE Harlan D. Mills Award (2015).
He earned his B.Sc., M.Sc. and Ph.D degrees at Delft University of Technology, The Netherlands.

Co-sponsors

This event is co-sponsored by the IEEE Orange County Computer Society.

Upcoming Programs

Date Event Presenter Meetup Note
13-Sep-2017 Proof or Consequences Gerard Holzmann, Ph.D. Meetup

Past Programs

Date Event Presenter Meetup Documents
12-Jul-2017 Explaining Black-Box Machine Learning Predictions Sameer Singh, Ph.D. Meetup Slide
YouTube
10-May-2017 Saving Power in the Data Center Marios Papaefthymiou Meetup Saving Power
ICS Overview
08-Mar-2017 Cyber Attacks and Defenses: Trends, Challenges, and Outlook Michael Franz Meetup
11-Jan-2017 Connection, Collection, Concentration - Evolving to the Intelligent Experience Peter Coffee Meetup Slides
09-Nov-2016 The Diversity of the Cyber Threat Landscape Brian Wallace Meetup .
14-Sep-2016 An Intellectual Property Primer For Software Developers John King, JD Meetup .
13-Jul-2016 The Past, Present and Future of Virtual and Augmented Reality Jacquelyn Morie Meetup .
11-May-2016 The Desktop 3D Printing Revolution and The Software Behind It Erick Wolf Meetup .
09-Mar-2016 Distributed Applications at Scale with the Elastic Container Service (ECS) Curd Zechmeister Meetup .
13-Jan-2016 Computing at the Edge of the Internet of Things Mark Bachman Meetup .
11-Nov-2015 Big Data: Hope or Hype? Padhraic Smyth Meetup .
09-Sep-2015 Breaking the Data Science Bottleneck Oren Goldschmidt Meetup .

Upcoming Meetings of the ACM OC Chapter Executive Committee

Wednesday: July 26, 2017 | August 23, 2017
12:00 PM to 01:30 PM
The Cove at UCI Applied Innovation
Clifornia Avenue, Ste 200, Irvine, CA (map)

Agenda
1) Review and approve prior meeting minutes
2) Treasurer's report
3) Review learnings from the prior program meeting
4) Operational planning for the next program meeting
5) Identify and discuss potential future program speakers
6) Other business
Note
These Executive Committee Meetings are open to all.
We meet in the Pirates Cove Conference Room.

Past Meetings

Date Meeting Meetup Documents
09-Aug-2017 New Volunteers .
26-Jul-2017 Executive Committee Agenda & Minutes
28-Jun-2017 Executive Committee Agenda & Minutes
24-May-2017 Executive Committee Meetup Agenda & Notes
26-Apr-2017 Organizing Committee Meetup Agenda & Notes
22-Mar-2017 Organizing Committee Meetup Agenda & Notes
22-Mar-2017 Organizing Committee Meetup Agenda & Notes
22-Feb-2017 Organizing Committee Meetup Agenda & Notes
25-Jan-2017 Organizing Committee Meetup Agenda & Notes
14-Dec-2016 Organizing Committee Meetup Agenda & Notes
26-Oct-2016 Organizing Committee Meetup Agenda & Notes
28-Sep-2016 Organizing Committee Meetup Agenda & Notes
24-Aug-2016 Organizing Committee Meetup Agenda & Notes
27-Jul-2016 Organizing Committee Meetup Agenda & Notes
22-Jun-2016 Organizing Committee Meetup Agenda & Notes
25-May-2016 Organizing Committee Meetup Agenda & Notes
27-Apr-2016 Organizing Committee Meetup Agenda & Notes
23-Mar-2016 Organizing Committee Meetup Agenda & Notes
09-Mar-2016 Annual Business . Agenda & Notes
24-Feb-2016 Organizing Committee Meetup Agenda & Notes
27-Jan-2016 Organizing Committee Meetup Agenda & Notes
25-Nov-2015 Organizing Committee Meetup Agenda & Notes
28-Oct-2015 Organizing Committee Meetup Agenda & Notes
23-Sep-2015 Organizing Committee Meetup Agenda & Notes
26-Aug-2015 Organizing Committee Meetup .
22-Jul-2015 Organizing Committee Meetup .
17-Jul-2015 Programs Committee Meetup Bylaws

Membership

Welcome to the Orange County Chapter of the Association for Computing Machinery. We welcome all interested members, ideas and contributions. We are a non-profit organization whose members include professionals involved in software research and development, from algorithms and computing theory to big data applications, from medical devices and communications to natonal defense, from computer graphics and scientific visualization to computer games and entertainment. Literally any and all applications to which computer technology has been applied or is yet to be invented are encompassed by your fellow professionals in the ACM.
Our mailing list ensures that you are notified of our talks, meetings, demos, workshops, etc. ACM-OC membership offers great professional and educational benefits. You may contact us through our Contact form.

Sponsorship

Welcome to the Orange County Chapter of the Association for Computing Machinery. We welcome all interested members, ideas and contributions. We are a non-profit organization whose members include professionals involved in software research and development, from algorithms and computing theory to big data applications, from medical devices and communications to natonal defense, from computer graphics and scientific visualization to computer games and entertainment. Literally any and all applications to which computer technology has been applied or is yet to be invented are encompassed by your fellow professionals in the ACM.
We need, and will appropriately reward, your participation and support. Monetary contributions may be tax deductible. You may contact us regarding this through our Contact form, Chair (Daniel Whelan, PhD), or Vice Chair (Michael Fahy, PhD).

Officers

Office Officer Contact
Chair Daniel Whelan, Ph.D. daniel (dot) s (dot) whelan (at) gmail (dot) com
Vice Chair Michael Fahy, Ph.D.
Treasurer Steve Steinberg, Ph.D.
Secretary Ali Zharaei, Ph.D.
Programs – Lead Generation Shirley Tseng
Communications Allen Takatsuka
University Liaison Nilo Niccolai, Ph.D. nnicolai (at) fullcoll (dot) edu
Webmaster Lalit Patel, Ph.D. llsr (at) att (dot) net
Past Chair Don V. Black, Ph.D.
Program Speaker Coordinators Shehreen Dheda
Anjana Pai
Raman Rajan
Program Facilities Coordinator Mike Marin
Program Video Coordinators Jiancheng Lyu
Trae Palmer
Social Media Coordinator Trae Palmer
Fundraising Coordinators David Forse
Matija Abicic
Membership Coordinators Madeline Bauer
Trae Palmer
Social Event / Networking Coordinator Trae Palmer

Awards

Award Awardee Detail
OC ACM Award in 2017 for Excellence in Computer Science at Chapman University Josh Graves Josh Graves

Contact us

FirstName *
MidInitial
LastName *
Title
Company

Address
City,St,Zip
Phone
Mobile
Email *

Topic
Message *

* Required



Association for Computing Machinery, Orange County Chapter, California, USA