Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Sharma T, Zhou Z, Miller A and Wang Y. A mixed-methods study of security practices of smart contract developers. Proceedings of the 32nd USENIX Conference on Security Symposium. (2545-2562).

    /doi/10.5555/3620237.3620380

  • Coblenz M, Kambhatla G, Koronkevich P, Wise J, Barnaby C, Sunshine J, Aldrich J and Myers B. (2021). PLIERS. ACM Transactions on Computer-Human Interaction. 28:4. (1-53). Online publication date: 31-Aug-2021.

    https://doi.org/10.1145/3452379

  • Coblenz M, Aldrich J, Myers B and Sunshine J. (2020). Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Proceedings of the ACM on Programming Languages. 4:OOPSLA. (1-28). Online publication date: 13-Nov-2020.

    https://doi.org/10.1145/3428200

  • Coblenz M, Oei R, Etzel T, Koronkevich P, Baker M, Bloem Y, Myers B, Sunshine J and Aldrich J. (2020). Obsidian. ACM Transactions on Programming Languages and Systems. 42:3. (1-82). Online publication date: 30-Sep-2020.

    https://doi.org/10.1145/3417516