peterd.org peterd.org

peterd.org

Peter C. Dillinger

Peter C. Dillinger. Software Engineering Manager, Coverity Static Analysis, Synopsys, Inc. PhD in Computer Science, Northeastern University, 2010. Data structures in verification. Adaptive Approximate State Storage. Northeastern University, 2010. Peter C. Dillinger and Panagiotis Manolios. Fast, All-Purpose State Storage. SPIN Workshop on Model Checking Software. Peter C. Dillinger and Panagiotis Manolios. Bloom Filters in Probabilistic Verification. Formal Methods in Computer-Aided Design. Refereed but ...

http://www.peterd.org/

WEBSITE DETAILS
SEO
PAGES
SIMILAR SITES

TRAFFIC RANK FOR PETERD.ORG

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

December

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

CUSTOMER REVIEWS

Average Rating: 3.8 out of 5 with 11 reviews
5 star
5
4 star
3
3 star
1
2 star
0
1 star
2

Hey there! Start your review of peterd.org

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

Desktop Preview Tablet Preview Mobile Preview

LOAD TIME

0.1 seconds

FAVICON PREVIEW

  • peterd.org

    16x16

  • peterd.org

    32x32

  • peterd.org

    64x64

  • peterd.org

    128x128

  • peterd.org

    160x160

  • peterd.org

    192x192

  • peterd.org

    256x256

CONTACTS AT PETERD.ORG

peterd.org

Peter Dillinger

202 P●●●●●ke Pl

Thom●●●●ille , GA, 31792-6749

US

1.22●●●●1212
pe●●●●@gatech.edu

View this contact

peterd.org

Peter Dillinger

202 P●●●●●ke Pl

Thom●●●●ille , GA, 31792-6749

US

1.22●●●●1212
pe●●●●@gatech.edu

View this contact

peterd.org

Peter Dillinger

202 P●●●●●ke Pl

Thom●●●●ille , GA, 31792-6749

US

1.22●●●●1212
pe●●●●@gatech.edu

View this contact

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED
n/a
UPDATED
2012 September 24
EXPIRATION
EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

Network Solutions®

NAME SERVERS

1
a.ns.joker.com
2
b.ns.joker.com
3
c.ns.joker.com

REGISTRAR

CSL Computer Service Langenbach GmbH d/b/a joker.com a German GmbH (R25-LROR)

CSL Computer Service Langenbach GmbH d/b/a joker.com a German GmbH (R25-LROR)

WHOIS : whois.publicinterestregistry.net

REFERRED :

CONTENT

SCORE

6.2

PAGE TITLE
Peter C. Dillinger | peterd.org Reviews
<META>
DESCRIPTION
Peter C. Dillinger. Software Engineering Manager, Coverity Static Analysis, Synopsys, Inc. PhD in Computer Science, Northeastern University, 2010. Data structures in verification. Adaptive Approximate State Storage. Northeastern University, 2010. Peter C. Dillinger and Panagiotis Manolios. Fast, All-Purpose State Storage. SPIN Workshop on Model Checking Software. Peter C. Dillinger and Panagiotis Manolios. Bloom Filters in Probabilistic Verification. Formal Methods in Computer-Aided Design. Refereed but ...
<META>
KEYWORDS
1 seattle
2 academic work
3 dissertation
4 publications
5 fast and
6 tools
7 3spin triple spin
8 3murphi triple murphi
9 acl2 theorem prover
10 papers
CONTENT
Page content here
KEYWORDS ON
PAGE
seattle,academic work,dissertation,publications,fast and,tools,3spin triple spin,3murphi triple murphi,acl2 theorem prover,papers,the tool,resume/cv,as pdf,summer gigs,teaching
SERVER
Apache/2.4.25 (Debian)
CONTENT-TYPE
iso-8859-1
GOOGLE PREVIEW

Peter C. Dillinger | peterd.org Reviews

https://peterd.org

Peter C. Dillinger. Software Engineering Manager, Coverity Static Analysis, Synopsys, Inc. PhD in Computer Science, Northeastern University, 2010. Data structures in verification. Adaptive Approximate State Storage. Northeastern University, 2010. Peter C. Dillinger and Panagiotis Manolios. Fast, All-Purpose State Storage. SPIN Workshop on Model Checking Software. Peter C. Dillinger and Panagiotis Manolios. Bloom Filters in Probabilistic Verification. Formal Methods in Computer-Aided Design. Refereed but ...

SUBDOMAINS

3spin.peterd.org 3spin.peterd.org

Home of 3Spin by Peter C. Dillinger

3Spin (pronounced "Triple Spin") is a modified version of the Spin model checker. With advances in the efficiency, configurability, and usability of probabilistic state storage. You can access the web page for the old 3Spin v3.3 here. New Version Coming Soon. I am in the process of completely rewriting 3Spin (and 3Murphi) to use a new state storage scheme introduced in a 2009 SPIN workshop paper:. Peter C. Dillinger and Panagiotis Manolios. Fast, All-Purpose State Storage. In addition to -DCLEARY. Enable...

INTERNAL PAGES

peterd.org peterd.org
1

Peter C. Dillinger

http://www.peterd.org/resume.html

PETER C DILLINGER, Ph.D. Http:/ www.peterd.org. 2110 N 89th St. The person other software engineers come to when they think they're stuck. August 2009 to present, acquired by Synopsys. Software developer, tech lead, and manager for static and dynamic program analysis projects. New code checkers ( two patents pending. Most development in C , some in Java, plus a bit in C#, Perl, Python, etc. Senior Engineer, 2010. Principle Engineer, 2013. Manager, 2015. Doctor of Philosophy in Computer Science. Thesis re...

UPGRADE TO PREMIUM TO VIEW 0 MORE

TOTAL PAGES IN THIS WEBSITE

1

LINKS TO THIS WEBSITE

rjoshi.org rjoshi.org

Rajeev Joshi's Curriculum Vitae

http://www.rjoshi.org/bio/cv.html

These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser. Senior Engineer, NASA Jet Propulsion Laboratory. Pasadena, CA, 2003 - present. Member of Technical Staff, Compaq/HP Systems Research Center (SRC). Palo Alto, CA, 1999 - 2003. Senior Technical Associate, Math Sciences Research Group (1126), Sep 1991 - Aug 1992,. Murray Hill, NJ. Summer Intern, DEC Systems Research Center (SRC). For exceptiona...

lars-lab.jpl.nasa.gov lars-lab.jpl.nasa.gov

JPL Laboratory for Reliable Software (LaRS)

http://lars-lab.jpl.nasa.gov/members.html

These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser. California Institute of Technology. View the NASA Portal. Laboratory for Reliable Software (LaRS). At the Jet Propulsion Laboratory. The current LaRS members are:. Gerard J. Holzmann. PhD Delft Univ. 1979. PhD Univ. Texas at Austin 1999. PhD Univ. Copenhagen 1994. PhD CMU '05, April '05 - June '09. PhD MIT, 1990, retired Aug. '14. 2015: Will...

UPGRADE TO PREMIUM TO VIEW 2 MORE

TOTAL LINKS TO THIS WEBSITE

4

OTHER SITES

peterczarnecki.com peterczarnecki.com

Peter Czarnecki

This content requires the Adobe Flash Player 10 or higher. Get Flash Player now. Click here to view the HTML version of this website.

peterczompa.wordpress.com peterczompa.wordpress.com

Un blog nicidecum de amuzament | Just another WordPress.com weblog

Un blog nicidecum de amuzament. Just another WordPress.com weblog. Cazul primarului inculpat Cherecheș văzut de unii (ignoranți) numai din Baia Mare, respectiv văzut de alții chiar din sala de judecată a Tribunalului Cluj. Decembrie 22, 2017. Următorul termen a fost stabilit pentru 18 ianuarie 2018. În al doilea rând, postez aici acel editorial pentru că deocamdată este unicul editorial pe care l-am publicat despre așa-numitul proces penal Cherecheș (singurul editorial, atenție! Nu pentru modul (jalnic!

peterd.ca peterd.ca

Peter Dolecki | Fraser Valley Real Estate Representative

Please leave this field empty to prove your message is not automated. For Sale in Fraser Valley. For Sale in Greater Vancouver. Fraser Valley Real Estate Representative. Fraser Valley Real Estate Representative. I am an excellent negotiator who ensures that every detail is not only accounted for, but perfectly executed. Never being one to "let it slide," I take care of my clients as though they are family. View 41 20771 Duncan Way. 41 20771 Duncan Way , Langley. 2 Storey w/Bsmt., End Unit. 5,000 sq ft.

peterd.com peterd.com

Index of /

peterd.com.au peterd.com.au

drof hot iron

Currently taking orders for custom classic timber boats 15 to 22 ft. Contact me to discuss your requirements. I also produce hand fabricated pieces using hot hammered steel, carving of timber/stone and aluminium casting. Most work is usually custom made to order. Mail: PO Box 317 Wandong 3758.

peterd.org peterd.org

Peter C. Dillinger

Peter C. Dillinger. Software Engineering Manager, Coverity Static Analysis, Synopsys, Inc. PhD in Computer Science, Northeastern University, 2010. Data structures in verification. Adaptive Approximate State Storage. Northeastern University, 2010. Peter C. Dillinger and Panagiotis Manolios. Fast, All-Purpose State Storage. SPIN Workshop on Model Checking Software. Peter C. Dillinger and Panagiotis Manolios. Bloom Filters in Probabilistic Verification. Formal Methods in Computer-Aided Design. Refereed but ...

peterd.requestitem.com peterd.requestitem.com

Peter D's - Donation Request Form

All donation requests will be reviewed within two weeks. The organization requesting the donation will be contacted by email, regardless of whether or not the request is approved. All fields are required unless indicated otherwise. What would you like us to donate? Select your event type. Peer to Peer Fundraising Event (Walkathon, Ride, Run, etc). Attach your organizations letterhead or proof of 501(c)(3) status as a single PDF or Word document. Tell Us About Your Organization. Radio, Television and Media.

peterd092.deviantart.com peterd092.deviantart.com

peterd092 (still pistolpete at heart) - DeviantArt

Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) " class="mi". Window.devicePixelRatio*screen.width 'x' window.devicePixelRatio*screen.height) :(screen.width 'x' screen.height) ". Join DeviantArt for FREE. Forgot Password or Username? Still pistolpete at heart. Still pistolpete at heart. Deviant for 7 Years. This deviant's full pageview. Still pistolpete at heart. Last Visit: 74 weeks ago. Still pistolpete at heart. Why," you ask? I just ha...

peterd102.wordpress.com peterd102.wordpress.com

Peter Dickinson's Thoughts | The thoughts of a Young Geek

Peter Dickinson’s Thoughts. The thoughts of a Young Geek. April 15, 2009 in 1. Its so dull and tedious, by the time ive finished writing one im overcome by a sense of pointlessness to my remark, and also a fear that my mood will change and ill realise that my comment was very Troll-like and ill be unbeliveably embarrassed. I like the way Youtube allows you to have you comment played back to you, it can make you realise what an utter arse you could be. April 7, 2009 in Gaming. Ive been bored thats all.

peterd213.wordpress.com peterd213.wordpress.com

Peterd213's Blog | Just another WordPress.com site

Just another WordPress.com site. December 17, 2011. Welcome to WordPress.com. After you read this, you should delete and write your own post, with a new title above. Or hit Add New. On the left (of the admin dashboard. To start a fresh post. Are some suggestions for your first post. You can find new ideas for what to blog about by reading the Daily Post. To your browser. It creates a new blog post for you about any interesting page you read on the web. Make some changes to this page. Back to the top.

peterdaalmans.nl peterdaalmans.nl

Home of Peter Daalmans

Welcome @ my site! G'day stranger, welcome @ this little space on the Internet about me and my passions. One of my biggest passion is Australia. I have been lucky to be able to have been there five times already. Four of these trips were holidays, the last one (aug-nov 2006) was a "working holiday". Very nice! My next trip Down Under is scheduled for May 2010, together with Samantha. The next period I will update my weblog. Again (it's in Dutch). Or the New Zealand. Part of the site.