Seguir
Joshua Sunshine
Joshua Sunshine
Assistant Professor, Carnegie Mellon University
Dirección de correo verificada de cs.cmu.edu - Página principal
Título
Citado por
Citado por
Año
Crying wolf: An empirical study of ssl warning effectiveness.
J Sunshine, S Egelman, H Almuhimedi, N Atri, LF Cranor
USENIX security symposium, 399-416, 2009
6182009
Typestate-oriented programming
J Aldrich, J Sunshine, D Saini, Z Sparks
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
1622009
Molecular architecture and mechanism of an icosahedral pyruvate dehydrogenase complex: a multifunctional catalytic machine
JLS Milne, D Shi, PB Rosenthal, JS Sunshine, GJ Domingo, X Wu, ...
The EMBO journal, 2002
1562002
First-class state change in plaid
J Sunshine, K Naden, S Stork, J Aldrich, É Tanter
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
952011
Obsidian: Typestate and assets for safer blockchain programming
M Coblenz, R Oei, T Etzel, P Koronkevich, M Baker, Y Bloem, BA Myers, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (3), 1-82, 2020
502020
Exploring language support for immutability
M Coblenz, J Sunshine, J Aldrich, B Myers, S Weber, F Shull
Proceedings of the 38th International Conference on Software Engineering …, 2016
502016
Penrose: from mathematical notation to beautiful diagrams
K Ye, W Ni, M Krieger, D Ma'ayan, J Wise, J Aldrich, J Sunshine, K Crane
ACM Transactions on Graphics (TOG) 39 (4), 144: 1-144: 16, 2020
422020
Glacier: Transitive class immutability for Java
M Coblenz, W Nelson, J Aldrich, B Myers, J Sunshine
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017
402017
Detecting suspicious package updates
K Garrett, G Ferreira, L Jia, J Sunshine, C Kästner
2019 IEEE/ACM 41st International Conference on Software Engineering: New …, 2019
392019
Containing malicious package updates in npm with a lightweight permission system
G Ferreira, L Jia, J Sunshine, C Kästner
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
342021
Toward semantic foundations for program editors
C Omar, I Voysey, M Hilton, J Sunshine, CL Goues, J Aldrich, MA Hammer
arXiv preprint arXiv:1703.08694, 2017
322017
Æminium: A permission-based concurrent-by-default programming language approach
S Stork, K Naden, J Sunshine, M Mohr, A Fonseca, P Marques, J Aldrich
ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (1), 1-42, 2014
322014
Inter-app communication in android: Developer challenges
W Ahmad, C Kästner, J Sunshine, J Aldrich
Proceedings of the 13th International Conference on Mining Software …, 2016
312016
Searching the state space: A qualitative study of API protocol usability
J Sunshine, JD Herbsleb, J Aldrich
2015 IEEE 23rd International Conference on Program Comprehension, 82-93, 2015
312015
PLIERS: a process that integrates user-centered methods into programming language design
M Coblenz, G Kambhatla, P Koronkevich, JL Wise, C Barnaby, ...
ACM Transactions on Computer-Human Interaction (TOCHI) 28 (4), 1-53, 2021
282021
Smarter smart contract development tools
M Coblenz, J Sunshine, J Aldrich, BA Myers
2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software …, 2019
262019
Interdisciplinary programming language design
M Coblenz, J Aldrich, BA Myers, J Sunshine
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas …, 2018
262018
A systematic analysis of the science of sandboxing
M Maass, A Sales, B Chung, J Sunshine
PeerJ Computer Science 2, e43, 2016
232016
Can advanced type systems be usable? an empirical study of ownership, assets, and typestate in obsidian
M Coblenz, J Aldrich, BA Myers, J Sunshine
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020
192020
How domain experts create conceptual diagrams and implications for tool design
D Ma'ayan, W Ni, K Ye, C Kulkarni, J Sunshine
Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems …, 2020
192020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20