Joshua Sunshine
Joshua Sunshine
Systems Scientist, Carnegie Mellon University
Email confirmado em cs.cmu.edu - Página inicial
TítuloCitado porAno
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
4352009
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 21 (21), 5587-5598, 2002
1222002
Typestate-oriented programming
J Aldrich, J Sunshine, D Saini, Z Sparks
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
1082009
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
712011
Æ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), 2, 2014
242014
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
202016
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
172017
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
172017
Searching the state space: A qualitative study of API protocol usability
J Sushine, JD Herbsleb, J Aldrich
Proceedings of the 2015 IEEE 23rd International Conference on Program …, 2015
132015
Inter-app communication in android: Developer challenges
W Ahmad, C Kästner, J Sunshine, J Aldrich
2016 IEEE/ACM 13th Working Conference on Mining Software Repositories (MSR …, 2016
112016
Structuring documentation to support state search: A laboratory experiment about protocol programming
J Sunshine, JD Herbsleb, J Aldrich
European Conference on Object-Oriented Programming, 157-181, 2014
102014
A theory of typestate-oriented programming
D Saini, J Sunshine, J Aldrich
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 9, 2010
102010
Evaluating the flexibility of the Java sandbox
Z Coker, M Maass, T Ding, C Le Goues, J Sunshine
Proceedings of the 31st Annual Computer Security Applications Conference, 1-10, 2015
92015
Permission-based programming languages (nier track)
J Aldrich, R Garcia, M Hahnenberg, M Mohr, K Naden, D Saini, S Stork, ...
Proceedings of the 33rd International Conference on Software Engineering …, 2011
82011
A systematic analysis of the science of sandboxing
M Maass, A Sales, B Chung, J Sunshine
PeerJ Computer Science 2, e43, 2016
62016
A User Study to Inform the Design of the Obsidian Blockchain DSL
C Barnaby, M Coblenz, T Etzel, E Kanal, J Sunshine, B Myers, J Aldrich
PLATEAU’17 Workshop on Evaluation and Usability of Programming Languages and …, 2017
52017
Protocol Programmability
J Sunshine
Carnegie Mellon University, 2013
52013
Changing state in the Plaid language
J Sunshine, S Stork, K Naden, J Aldrich
Proceedings of the ACM international conference companion on Object oriented …, 2011
52011
Software development practices, barriers in the field and the relationship to software quality
B Yost, M Coblenz, B Myers, J Sunshine, J Aldrich, S Weber, M Patron, ...
Proceedings of the 10th ACM/IEEE International Symposium on Empirical …, 2016
42016
The Plaid language: Typed core specification
J Aldrich, NE Beckman, R Bocchino, K Naden, D Saini, S Stork, ...
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE, 2012
42012
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20