Följ
Joshua Sunshine
Joshua Sunshine
Assistant Professor, Carnegie Mellon University
Verifierad e-postadress på cs.cmu.edu - Startsida
Titel
Citeras av
Citeras av
År
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
6412009
Typestate-oriented programming
J Aldrich, J Sunshine, D Saini, Z Sparks
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
1692009
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
1642002
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
992011
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
642020
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
612020
The magazine archive includes every article published in Communications of the ACM for over the past 50 years.
KL Kroeker
Communications of the ACM 54 (6), 11-13, 2011
55*2011
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
542016
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
492021
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
492019
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
432017
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
382021
Æ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
372014
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
362017
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
342019
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
342015
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
322016
Can large language models write good property-based tests?
V Vikram, C Lemieux, J Sunshine, R Padhye
arXiv preprint arXiv:2307.04346, 2023
312023
Interdisciplinary programming language design
M Coblenz, J Aldrich, BA Myers, J Sunshine
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas …, 2018
302018
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
292020
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20