위키 구독하기

Share wiki

Sam Blackshear

소셜 프로필:

Sam Blackshear

Sam Blackshear is the Co-founder and Chief Technical Officer (CTO) at , the company behind the . He is also credited as the creator of the Move programming language. [1]

Education

Sam Blackshear has a Bachelor's in Computer Science, Philosophy from Williams College and a Doctor of Philosophy (PhD) in Programming Language from the University of Colorado Boulder.[2]

Career

As of January 2024, Sam Blackshear has held the position of Co-founder and Chief Technology Officer (CTO) at since November 2021.

Before joining , Sam served as a Principal Engineer at Meta from October 2015 to November 2021. During his time at Meta, he participated in the creation of the Move language and was actively involved in projects related to the Libra/Diem platform. Additionally, he focused on static analysis for security, performance, and bug identification as part of the Infer team.

Preceding his role at Meta, Sam worked as a Research Assistant at the University of Colorado from August 2010 to May 2015. He also gained industry experience as a Research Intern at Facebook in London, England from May 2014 to August 2014. Furthermore, Sam undertook research internships at Microsoft, spending 3 months each in Redmond, WA, in June 2012 and in Bangalore, India, in June 2011.[2][1]

Publications

Sam Blackshear has made notable contributions to various publications. In 2023, he co-authored works on security and modern programming. His involvement in 2022 included "The Move Borrow Checker." The year 2021 saw publications on security, and in 2020, he presented on language abstraction for money safety.
In 2018, Sam played a key role in "RacerD: compositional static race detection." His 2015 contributions encompassed control-flow abstraction and Android framework modeling. In 2014, he focused on Android app consistency and verification modulo versions. In 2013, his work involved modular semantic frameworks. In 2011, Sam contributed to a study on the precision of Andersen's analysis, and in 2010, he co-authored a paper on randomizing key distribution for enhanced security.[7]

See something wrong?

편집자

Profile picture of Anonymous uservzbrv

편집 날짜

February 4, 2024

Loading...

참고 문헌.

[1]

Crunchbase Profile

Nov 22, 2023

[2]

LinkedIn

Nov 22, 2023

[3]

Mysten Labs official website

Nov 22, 2023

[4]
[5]

Sui Network

Nov 22, 2023

[6]

Mysten Labs Series B Round

Nov 22, 2023

[7]

dblp Sam Blackshear publications

Jan 7, 2024