E-LIB Suche - Ergebnisse für: Clapp, Lazaro

1

A Lightweight Polyglot Code Transformation Language:

Ketkar, Ameya ; Ramos, Daniel ; Clapp, Lazaro..
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1288-1312 , 2024

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

2

Practical Inference of Nullability Types:

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

Karimipour, Nima ; Pham, Justin ; Clapp, Lazaro. - p. 1395-1406 , 2023

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

3

Last Diff Analyzer: Multi-language Automated Approver for B..:

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

Wang, Yuxin ; Welc, Adam ; Clapp, Lazaro. - p. 1693-1704 , 2023

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

4

Piranha : reducing feature flag debt at uber:

, In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice,

Ramanathan, Murali Krishna ; Clapp, Lazaro ; Barik, Rajkishore. - p. 221-230 , 2020

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

5

NullAway: practical type-based null safety for Java:

, In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Banerjee, Subarno ; Clapp, Lazaro ; Sridharan, Manu - p. 740-750 , 2019

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

6

Safe stream-based programming with refinement types:

, In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering,

Stein, Benno ; Clapp, Lazaro ; Sridharan, Manu. - p. 565-576 , 2018

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

7

Safe Stream-Based Programming with Refinement Types:

, In: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE),

Stein, Benno ; Clapp, Lazaro ; Sridharan, Manu. - p. 565-576 , 2018

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

8

Minimizing GUI event traces:

, In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Clapp, Lazaro ; Bastani, Osbert ; Anand, Saswat. - p. 422-434 , 2016

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

9

Modelgen: mining explicit information flow specifications f..:

, In: Proceedings of the 2015 International Symposium on Software Testing and Analysis,

Clapp, Lazaro ; Anand, Saswat ; Aiken, Alex - p. 129-140 , 2015

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

10

Practical Inference of Nullability Types:

Karimipour, Nima ; Pham, Justin ; Clapp, Lazaro.
doi:10.5281/zenodo.8271235. , 2023

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

11

NullAway: Practical Type-Based Null Safety for Java:

Banerjee, Subarno ; Clapp, Lazaro ; Sridharan, Manu
http://arxiv.org/abs/1907.02127. , 2019

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

12

Eventually Sound Points-To Analysis with Specifications:

Bastani, Osbert ; Sharma, Rahul ; Clapp, Lazaro..
Is Part Of LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). , 2019

Link: https://doi.org/10.4230/..

13

Safe Stream-Based Programming with Refinement Types:

Stein, Benno ; Clapp, Lazaro ; Sridharan, Manu.
http://arxiv.org/abs/1808.02998. , 2018

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

14

Eventually Sound Points-To Analysis with Missing Code:

Bastani, Osbert ; Clapp, Lazaro ; Anand, Saswat..
http://arxiv.org/abs/1711.03436. , 2017

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

15

mir597/infer: test release:

Jules Villard ; Josh Berdine ; Sam Blackshear...
https://github.com/mir597/infer/tree/v1.0.0.ddinfer. , 2022

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