Sam Pollard

Welcome to my webpage! I am a third year computer science Ph.D. student at the University of Oregon advised by Boyana Norris. My primary interests are high performance computing (HPC) and formal methods. I am currently supported by the formal methods group at Sandia National Labs researching and developing verification techniques for low level programs, namely analysis of binaries and assembly languages.

I am located in Deschutes 337 and am a member of the High Performance Computing Laboratory (HPCL). You can find an overview of my (sparse) schedule below and my google calender in the link to the left.

Fall 2018 Schedule

HPCL Group Research Meetingf 10-11
Individual Research Meetingm 2-3
Programming Language Seminarm 3:30-5

Other Links: ResearchGate, LinkedIn, ORCID, Twitter (@samdpollard), Gitlab (@sampollard)

Of these, LinkedIn is the most frequently updated