Atlas 3855 GATX Airslide covered hopper CNW 69667 RTR
Atlas 3855 GATX Airslide covered hopper CNW 69667 RTR
Paypal   US $7.00 		ATLAS N SCALE PS 2 COVERED HOPPER MILWAUKEE ROAD 98914
ATLAS N SCALE PS 2 COVERED HOPPER MILWAUKEE ROAD 98914
Paypal   US $10.95 		N Arco Polymers 55 ACF 4 Bay Covered Hopper NIJC MDP 83471
N Arco Polymers 55 ACF 4 Bay Covered Hopper NIJC MDP 83471
Paypal   US $9.89
Bachmann N Scale Koppers Plastics Center Flow Covered Hopper Car
Bachmann N Scale Koppers Plastics Center Flow Covered Hopper Car
Paypal   US $4.99 		N Scale Con Cor Covered Hopper Santa Fe ATSF 305888
N Scale Con Cor Covered Hopper Santa Fe ATSF 305888
Paypal   US $7.99 		N Scale Con Cor Covered Hopper Santa Fe ATSF 301314
N Scale Con Cor Covered Hopper Santa Fe ATSF 301314
Paypal   US $7.99
N Scale Con Cor Limited Run Airslide Covered Hopper UP Wabash MP LOAX 11001
N Scale Con Cor Limited Run Airslide Covered Hopper UP Wabash MP LOAX 11001
Paypal   US $7.99 		Athearn 23806 PS 2 2893 Covered Hopper Atlantic Sugar N MIB
Athearn 23806 PS 2 2893 Covered Hopper Atlantic Sugar N MIB
Paypal   US $19.98 		N Scale 11351 Athearn Covered Hopper Santa Fe ATSF 300231
N Scale 11351 Athearn Covered Hopper Santa Fe ATSF 300231
Paypal   US $7.99
Athearn 23807 PS 2 2893 Covered Hopper Atlantic Sugar 404 N MIB
Athearn 23807 PS 2 2893 Covered Hopper Atlantic Sugar 404 N MIB
Paypal   US $19.98 		N Scale 186 0101 Kato 2 Pack 70T Covered Hoppers Santa Fe ATSF s 181607 181574
N Scale 186 0101 Kato 2 Pack 70T Covered Hoppers Santa Fe ATSF s 181607 181574
Paypal   US $8.99 		ADM UELX 60205 47 PS 2 Covered Hopper J n J Trains 9415 1 N MY105]
ADM UELX 60205 47 PS 2 Covered Hopper J n J Trains 9415 1 N MY105]
   US $8.95
DRGW 10915 3 Bay Covered Hopper Precision Masters 1403 N MY 103]
DRGW 10915 3 Bay Covered Hopper Precision Masters 1403 N MY 103]
   US $8.95 		ATSF 313457 3 Bay Covered Hopper Precision Masters 1402 N MY 102]
ATSF 313457 3 Bay Covered Hopper Precision Masters 1402 N MY 102]
   US $8.95 		ADM UELX 30219 47 PS 2 Covered Hopper J n J Trains 9416 1 N MY1010]
ADM UELX 30219 47 PS 2 Covered Hopper J n J Trains 9416 1 N MY1010]
   US $8.95
FRISCO 82320 47 3 Bay PS 2 Covered Hopper J n J Trains 9601 2 N MY108]
FRISCO 82320 47 3 Bay PS 2 Covered Hopper J n J Trains 9601 2 N MY108]
   US $8.95 		ATSF 312943 3 Bay Covered Hopper Precision Masters 1402 N MY 101]
ATSF 312943 3 Bay Covered Hopper Precision Masters 1402 N MY 101]
   US $8.95 		DTD N SCALE MTL 94210 SNFX 4610 3 BAY COVERED HOPPER SHELL MICRO TRAINS
DTD N SCALE MTL 94210 SNFX 4610 3 BAY COVERED HOPPER SHELL MICRO TRAINS
Paypal   US $9.99
N Scale Government of Canada Covered Center Flow Hopper Car
N Scale Government of Canada Covered Center Flow Hopper Car
Paypal   US $5.99 		N Alberta Heritage Fund 55 AFC 4 Bay Covered Hopper NIJC MDP 834890
N Alberta Heritage Fund 55 AFC 4 Bay Covered Hopper NIJC MDP 834890
Paypal   US $9.89 		N RM 25028 3000 cu ft 2 bay covered grain hopper MKT NIB MTL Red Caboose
N RM 25028 3000 cu ft 2 bay covered grain hopper MKT NIB MTL Red Caboose
Paypal   US $9.61
N IM 67031 ACF 4650 covered grain hopper WC Wisconsin Central MTL NIB
N IM 67031 ACF 4650 covered grain hopper WC Wisconsin Central MTL NIB
Paypal   US $15.50 		N 1 160 sc AHM by ROCO 4446 C Holly Sugar GACX 42764 Covered Hopper Car
N 1 160 sc AHM by ROCO 4446 C Holly Sugar GACX 42764 Covered Hopper Car
Paypal   US $17.99 		N 1 160 sc AURORA Postage Stamp Trains 4869 BM 10056 50 Covered Hopper Car
N 1 160 sc AURORA Postage Stamp Trains 4869 BM 10056 50 Covered Hopper Car
Paypal   US $17.99
N IM 67056 ACF 4650 cu ft 3 bay covered grain hopper SOO Line NIB MTL
N IM 67056 ACF 4650 cu ft 3 bay covered grain hopper SOO Line NIB MTL
Paypal   US $13.30 		Vintage Aurora Postage Stamp Trains N Scale 76 Covered Hopper ATSF 71014 1970s
Vintage Aurora Postage Stamp Trains N Scale 76 Covered Hopper ATSF 71014 1970s
Paypal   US $9.99 		InterMountain N Scale 65114 Procor Blue Cylindrical Covered Hopper 6 Pack
InterMountain N Scale 65114 Procor Blue Cylindrical Covered Hopper 6 Pack
Paypal   US $79.95
EXACTRAIL N Scale P S 4000 Covered Hopper CNW
EXACTRAIL N Scale P S 4000 Covered Hopper CNW
Paypal   US $21.99 		Athearn New In Box CSX 225536 PS2600 2 Bay Covered Hopper Ready to Run
Athearn New In Box CSX 225536 PS2600 2 Bay Covered Hopper Ready to Run
Paypal   US $20.00 		Atlas N scale PS 2 Covered Hopper Olin Chemicals
Atlas N scale PS 2 Covered Hopper Olin Chemicals
Paypal   US $9.45
   1

BLMA N Scale PS-2CD 4000 Covered Hopper HD - OCT 2009

Coverity® Co-Founder Dawson Engler Receives ACM Grace Murray Hopper Award

Coverity, Inc., the software integrity company, announced that co-founder Dawson Engler has been awarded the Grace Murray Hopper Award by the Association for Computing Machinery (ACM) for his groundbreaking research on automated program checking that identifies defects in complex computer software.

In naming Dr. Engler to this award, ACM noted that, "Dawson Engler introduces and develops powerful techniques and tools for practical program analysis that automatically detect errors in code. These methods have now been widely used to check large, complex software systems, uncovering many hidden defects. Dr. Engler's grounded, insightful, and practical approach to automated program checking has served as an inspiration to several other efforts and tools for finding problems in complex software systems."

The Grace Murray Hopper Award is given to the outstanding young computer professional of the year, selected on the basis of a single recent major technical or service contribution. This award is accompanied by a prize of $35,000, which is provided by Google. The candidate must have been 35 years of age or less at the time the qualifying contribution was made.

"On behalf of the research groups at Stanford and Coverity, it's an honor to accept the prestigious ACM Grace Murray Hopper Award,†said Dawson Engler, associate professor of computer science and electrical engineering at Stanford University and Coverity co-founder. “The field of effective error detection has exploded in the past decade, and it’s my hope we can realize a similar magnitude of improvement in the next ten years. For too long, the pervasiveness of computation has led to the same story: Software is everywhere, but all software is prone to crashing, therefore everything is prone to crashing. I believe we are on the right trajectory to deliver a credible means of ending this costly storyline, so developers can finally focus on building software instead of firefighting failures."

Dr. Engler helped lead the creation of the technology behind Coverity’s software analysis system at Stanford University with Coverity co-founders Ben Chelf, Andy Chou and Seth Hallem who continue to grow Coverity’s precision source code analysis capabilities. Dr. Engler remains on faculty at Stanford and continues as an advisor to Coverity. Today, more than 600 customers rely on Coverity to ensure the integrity of their applications.

“The Grace Murray Hopper award is very impressive, particularly given the fact that previous winners include innovators such as Steve Wozniak, Don Knuth and Richard Stallman,†said Seth Hallem, co-founder and CEO of Coverity. “Dawson remains an integral part of helping Coverity shape the technological underpinning of our software integrity strategy. On behalf of Coverity employees, customers and partners we congratulate him on his recognition.â€

About the Author

Coverity, Inc.