ROBERT LOUIS SIMMONS
Nursing in Pittsburgh, PA
License number
Pennsylvania PN250015L
Category
Nursing
Type
Practical Nurse
Address
Address
Pittsburgh, PA 15237
Personal information
See more information about ROBERT LOUIS SIMMONS at radaris.comName
Address
Phone
49 W Imperial Dr, Aspers, PA 17304
449 Washington St, East Greenville, PA 18041
PO Box 708, Knox, PA 16232
664 Popetown Rd, Knox, PA 16232
Professional information
See more information about ROBERT LOUIS SIMMONS at trustoria.com
Assistant Teaching Professor At Carnegie Mellon University
Assistant Teaching Professor At Carnegie Mellon University
Position:
Assistant Teaching Professor at Carnegie Mellon University
Location:
Greater Pittsburgh Area
Industry:
Research
Work:
Carnegie Mellon University
since Jun 2013
-
Assistant Teaching Professor
Carnegie Mellon University
Aug 2006 - Oct 2012
-
PhD Student
Microsoft Corporation
- Bangalore, India Jun 2011 - Jul 2011
-
Research Intern
Microsoft Corporation
- Bangalore, India Jun 2007 - Aug 2007
-
Research Intern
Neighborhood Technology Resource Center
2005 - 2006
-
Project 55 Intern
Education:
Carnegie Mellon University 2006 - 2012
Ph.D. in Computer Science, Carnegie Mellon University Princeton University 2001 - 2005
BSE, Computer Science
Ph.D. in Computer Science, Carnegie Mellon University Princeton University 2001 - 2005
BSE, Computer Science
Honor & Awards:
2007 National Science Foundation Graduate Research Fellowship recipient
Alan J. Perlis Graduate Student Teaching Award, 2008
Siebel Scholar, Class of 2012 – awarded annually for academic excellence and demonstrated leadership to 85 top students from the world’s leading graduate schools
Cfo At Greenbriar Treatment Center
Cfo At Greenbriar Treatment Center
Position:
CFO at Greenbriar Treatment Center
Location:
Greater Pittsburgh Area
Industry:
Hospital & Health Care
Work:
Greenbriar Treatment Center
-
CFO
Generation And Evaluation Of Test Cases For Software Validation And Proofs
Generation And Evaluation Of Test Cases For Software Validation And Proofs
US Patent:
2009028, Nov 12, 2009
Filed:
May 6, 2008
Appl. No.:
12/115633
Inventors:
Aditya V. Nori - Bangalore, IN
Sriram K. Rajamani - Bangalore, IN
Robert J. Simmons - Pittsburgh PA, US
Nels Beckman - Pittsburgh PA, US
Sriram K. Rajamani - Bangalore, IN
Robert J. Simmons - Pittsburgh PA, US
Nels Beckman - Pittsburgh PA, US
Assignee:
MICROSOFT CORPORATION - Redmond WA
International Classification:
G06F 11/36
US Classification:
714 38, 714E11211
Abstract:
A “property checker” uses light-weight symbolic execution to prove that software programs satisfy safety properties by simultaneously performing program testing and program abstraction. A simple example of safety properties includes conditions that must be satisfied for proper program execution, such as whether an application properly interfaces with API methods or functions. Program tests are an “under-approximation” of program behavior, and abstractions are an “over-approximation” of the program. This simultaneous testing either finds a test-case that reaches an error state, or finds an abstraction showing that no path in the state space of the program can reach any error state. If a test-case reaches an error state, the property checker has discovered a violation of the safety property. Conversely, if no path in the state space can reach any error state, the property checker has proved that the program satisfies the desired safety property.