Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Immutability
file
Coblenz_User_Centered_Design_-_Thesis_Aldrich.pdf
Submitted by Jamie Presken on Mon, 01/30/2023 - 8:19pm
blockchain
Empirical studies of programmers
Immutability
smart contract languages
usability of programming languages
user-centered programming language design
biblio
User-Centered Design of Principled Programming Languages
Submitted by Jamie Presken on Mon, 01/30/2023 - 8:19pm
user-centered programming language design
usability of programming languages
smart contract languages
Immutability
blockchain
Empirical studies of programmers
file
Coblenz_User_Centered_Design_-_Thesis_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:45pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
Obsidian Language for Blockchain
biblio
User-Centered Design of Principled Programming Languages
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:41pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
CMU
Obsidian Language for Blockchain
2020: October
biblio
Trust Beyond Computation Alone: Human Aspects of Trust in Blockchain Technologies
Submitted by grigby1 on Tue, 12/01/2020 - 1:59pm
Human Aspects
Trusted Computing
trust
transaction transparency
software engineers
software engineering
pubcrawl
institutional aspects
Immutability
human trust
Human behavior
bitcoin
Guidelines
Distributed databases
Cryptography
cryptographic verifiability
cryptocurrency
computational trust
blockchain-based systems
blockchain technologies
blockchain
file
Coblenz_Transitive_Class_JA.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:58am
August'17
CMU
Empirical studies of programmers
Immutability
Programming language usability
Race Vulnerability Study and Hybrid Race Detection
biblio
Glacier: Transitive Class Immutability for Java
Submitted by Jamie Presken on Tue, 07/11/2017 - 11:58am
August'17
CMU
Empirical studies of programmers
Immutability
Programming language usability
Race Vulnerability Study and Hybrid Race Detection
CMU
Race Vulnerability Study and Hybrid Race Detection
August'17
file
Coblenz_Exploring_Language_JA.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:06am
CMU
Empirical studies of programmers
Immutability
July'16
Mutability
Programmer productivity
Programming language design
Programming language usability
biblio
Exploring Language Support for Immutability
Submitted by Jamie Presken on Tue, 12/06/2016 - 10:06am
CMU
Empirical studies of programmers
Immutability
July'16
Mutability
Programmer productivity
Programming language design
Programming language usability
CMU
July'16
