E-LIB Suche - Ergebnisse für: Pinckney, Donald

1

Flexible and Optimal Dependency Management via Max-SMT:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun... - p. 1418-1429 , 2023

2

MultiPL-E: A Scalable and Polyglot Approach to Benchmarking..:

Cassano, Federico ; Gouwar, John ; Nguyen, Daniel...
IEEE Transactions on Software Engineering. 49 (2023) 7 - p. 3675-3691 , 2023

Link: https://doi.org/10.1109/..

3

npm-follower: A Complete Dataset Tracking the NPM Ecosystem:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun. - p. 2132-2136 , 2023

Link: https://dl.acm.org/doi/1..

4

A Large Scale Analysis of Semantic Versioning in NPM:

, In: 2023 IEEE/ACM 20th International Conference on Mining Software Repositories (MSR),

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun. - p. 485-497 , 2023

Link: https://doi.org/10.1109/..

5

Wasm/k: delimited continuations for WebAssembly:

, In: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages,

Pinckney, Donald ; Guha, Arjun ; Brun, Yuriy - p. 16-28 , 2020

Link: https://dl.acm.org/doi/1..

6

Formal foundations of serverless computing:

Jangda, Abhinav ; Pinckney, Donald ; Brun, Yuriy.
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-26 , 2019

Link: https://doi.org/10.1145/..

7

Formal foundations of serverless computing:

Jangda, Abhinav ; Pinckney, Donald ; Brun, Yuriy.
Proceedings of the ACM on Programming Languages. 3 (2019) OOPSLA - p. 1-26 , 2019

Link: https://dl.acm.org/doi/1..

8

A Large Scale Analysis of Semantic Versioning in NPM:

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun.
http://arxiv.org/abs/2304.00394. , 2023

Link: http://arxiv.org/abs/230..

9

Artifact for Flexible and Optimal Dependency Management via..:

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun...
doi:10.5281/zenodo.7554406. , 2023

Link: https://zenodo.org/recor..

10

npm-follower: A Complete Dataset Tracking the NPM Ecosystem:

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun.
http://arxiv.org/abs/2308.12545. , 2023

Link: http://arxiv.org/abs/230..

11

Artifact For A Large Scale Analysis of Semantic Versioning ..:

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun.
doi:10.5281/zenodo.7549686. , 2023

Link: https://zenodo.org/recor..

12

MultiPL-E: A Scalable and Extensible Approach to Benchmarki..:

Cassano, Federico ; Gouwar, John ; Nguyen, Daniel...
http://arxiv.org/abs/2208.08227. , 2022

Link: http://arxiv.org/abs/220..

13

Flexible and Optimal Dependency Management via Max-SMT:

Pinckney, Donald ; Cassano, Federico ; Guha, Arjun...
http://arxiv.org/abs/2203.13737. , 2022

Link: http://arxiv.org/abs/220..

14

Wasm/k: Delimited Continuations for WebAssembly:

Pinckney, Donald ; Guha, Arjun ; Brun, Yuriy
http://arxiv.org/abs/2010.01723. , 2020

Link: http://arxiv.org/abs/201..

15

Formal Foundations of Serverless Computing:

Jangda, Abhinav ; Pinckney, Donald ; Brun, Yuriy.
http://arxiv.org/abs/1902.05870. , 2019

Link: http://arxiv.org/abs/190..