I agree that this site is using cookies. You can find further informations here.
X
Sunshine, Joshua
147  results:
Search for persons X
?
1

Edgeworth: Efficient and Scalable Authoring of Visual Think..:

, In: Proceedings of the Eleventh ACM Conference on Learning @ Scale,
Ni, Wode ; Estep, Sam ; Harriman, Hwei-Shin.. - p. 98-109 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

What's (Not) Working in Programmer User Studies?:

Davis, Matthew C. ; Aghayi, Emad ; Latoza, Thomas D....
ACM Transactions on Software Engineering and Methodology.  32 (2023)  5 - p. 1-32 , 2023
Link: https://doi.org/10.1145/..
 
?
3

Generating Domain-Specific Programs for Diagram Authoring w..:

, In: Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity,
Jain, Rijul ; Ni, Wode ; Sunshine, Joshua - p. 70-71 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

NaNofuzz: A Usable Tool for Automatic Test Generation:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Davis, Matthew C. ; Choi, Sangheon ; Estep, Sam.. - p. 1114-1126 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

PL and HCI: better together:

Chasins, Sarah E. ; Glassman, Elena L. ; Sunshine, Joshua
Communications of the ACM.  64 (2021)  8 - p. 98-106 , 2021
Link: https://doi.org/10.1145/..
 
?
6

PLIERS: A Process that Integrates User-Centered Methods int..:

Coblenz, Michael ; Kambhatla, Gauri ; Koronkevich, Paulette...
ACM Transactions on Computer-Human Interaction.  28 (2021)  4 - p. 1-53 , 2021
Link: https://doi.org/10.1145/..
 
?
7

reCode : A Lightweight Find-and-Replace Interaction in the ..:

, In: The 34th Annual ACM Symposium on User Interface Software and Technology,
Ni, Wode ; Sunshine, Joshua ; Le, Vu.. - p. 258-269 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Containing Malicious Package Updates in npm with a Lightwei..:

, In: Proceedings of the 43rd International Conference on Software Engineering,
Ferreira, Gabriel ; Jia, Limin ; Sunshine, Joshua. - p. 1334-1346 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

PL and HCI : better together:

Chasins, Sarah E. ; Glassman, Elena L. ; Sunshine, Joshua
Communications of the ACM.  64 (2021)  8 - p. 98-106 , 2021
Link: https://dl.acm.org/doi/1..
 
?
10

PLIERS : A Process that Integrates User-Centered Methods..:

Coblenz, Michael ; Kambhatla, Gauri ; Koronkevich, Paulette...
ACM Transactions on Computer-Human Interaction (TOCHI).  28 (2021)  4 - p. 1-53 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

Can advanced type systems be usable? An empirical study of ..:

Coblenz, Michael ; Aldrich, Jonathan ; Myers, Brad A..
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-28 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Obsidian : Typestate and Assets for Safer Blockchain Pro..:

Coblenz, Michael ; Oei, Reed ; Etzel, Tyler...
ACM Transactions on Programming Languages and Systems (TOPLAS).  42 (2020)  3 - p. 1-82 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

Obsidian: Typestate and Assets for Safer Blockchain Program..:

Coblenz, Michael ; Oei, Reed ; Etzel, Tyler...
ACM Transactions on Programming Languages and Systems.  42 (2020)  3 - p. 1-82 , 2020
Link: https://doi.org/10.1145/..
 
?
14

Penrose: from mathematical notation to beautiful diagrams:

Ye, Katherine ; Ni, Wode ; Krieger, Max...
ACM Transactions on Graphics.  39 (2020)  4 - p. , 2020
Link: https://doi.org/10.1145/..
 
?
15

Gradual verification of recursive heap data structures:

Wise, Jenna ; Bader, Johannes ; Wong, Cameron...
Proceedings of the ACM on Programming Languages.  4 (2020)  OOPSLA - p. 1-28 , 2020
Link: https://dl.acm.org/doi/1..
 
1-15