DOI:Data science promises new insights, helping transform information into knowledge that can drive science and industry. BY FRANCINE BERMAN, ROB RUTENBAR, BRENT HAILPERN,

Source URL: destrin.smalldata.io

• Computing
• Information
• Knowledge
• Academic publishing
• Open access
• Information science
• Open science
• Big data
• Transaction processing
• Data science
• Data sharing
• Computer science

The Future of Computing Research: Industry-Academic Collaborations Version 2 Nady Boules, Khari Douglas, Stuart Feldman, Limor Fix (Organizer), Gregory Hager (Organizer), Brent Hailpern (Organizer), Martial Hebert,

Source URL: cra.org

Contact: Virginia Goldacm

Source URL: spinroot.com

• Paris Kanellakis Award
• Academia
• Computing
• Moshe Y. Vardi
• ACM SIGACT
• Paris Kanellakis
• Pierre Wolper
• Edmund M. Clarke
• Brent Hailpern
• Computer science
• Year of birth missing
• Association for Computing Machinery

Microsoft PowerPoint - 16_IBM Research

Source URL: www.iarpa.gov

• Software engineering
• Principles of Programming Languages
• European Conference on Object-Oriented Programming
• X10
• IBM Research
• Programming language
• OOPSLA
• Brent Hailpern
• Computer science
• Computing
• Association for Computing Machinery

ANNUAL REPORT of the ACM History Committee For the Period: July 1, [removed]June 30, 2014 Submitted by Thomas Misa, Co-Chair 1. BASIC INFORMATION

Source URL: www.acm.org

• Brent Hailpern
• Email
• Computing
• Peri Tarr
• Year of birth missing

IBM Canada K-12 Education Winter 2009 Building Teacher Capacity –

Source URL: www.ibm.com

• Server hardware
• Dow Jones Industrial Average
• IBM
• Educational software
• Operating system
• IBM cloud computing
• Brent Hailpern
• Computing
• Data management
• Technology

acm The Association for Computing Machinery Advancing computing as a science & profession

Source URL: www.acm.org

• SPLASH conference
• OOPSLA
• Onward!
• SIGPLAN
• Software engineering
• Symposium on Principles and Practice of Parallel Programming
• Brent Hailpern
• Association for Computing Machinery
• Computer science
• Computing

Prof. Bernhard Steffen TU Dortmund BIO

Source URL: ls5-www.cs.tu-dortmund.de

• Computer science
• Model checking
• Software development process
• Large-scale Complex IT Systems
• ACM Transactions on Programming Languages and Systems
• Model-based testing
• Software engineering
• Institute for System Programming
• Brent Hailpern
• Science
• Formal methods
• Software development