跳到页脚
作者 Lazaro Clapp的帖子

拉撒洛克拉普

拉撒洛克拉普
1个雷竞技到底好不好用博客文章 2研雷竞技是骗人的究论文
Lazaro Clapp是Uber编程系统团队的高级工程师。他目前的重点是通过使用基于快速类型的基于系统的工具来防止广泛类别的错误来提高应用程序可靠性,这在每一个本地编译中运行的快速类型的工具,同时最大限度地减少开发人员注释负担。他的研究雷竞技是骗人的兴趣更广泛地包括静态和动态分析,第三方代码行为的建模,以及移动应用程序的自动测试生成和UI探索。他掌握了一个博士学位。斯坦福大学计算机科学。

工程博客文章雷竞技到底好不好用

介绍Piranha:一个自动删除陈旧代码的开源工具

介绍Piranha:一个自动删除陈旧代码的开源工具

在Uber,我们使用功能标志来自定义我们的移动应用程序执行,为不同的用户组提供不同的功能。这些标志允许我们本地化用户在我们运营的不同地区的用户体验,更重要的是,......

雷竞技是骗人的调查报告

nullaway:Java的实用类型的NULL安全性

S. Banerjee,L. Clapp.,M. Sridharan.
nullpointerexceptions(npes)是现代Java程序中崩溃的关键来源。以前的工作表明,通过代码注释和可插拔类型检查,如何在编译时可以防止此类错误。然而,由于显着的构建时间开销和/或高注释负担,这种系统难以在大型软件项目上部署。本文介绍了Nullaway,一种用于克服这些问题的Java的新类型的NULL安全检查器。[...][PDF]
ACM联合欧洲软件工程会议和专题讨论软件工程基础(FSE),2019年

基于安全的流式编程,具有细化类型

B. Stein,L. Clapp.,M. Sridharan,B.-Y.E.张
一种基于类型的方法,可以静态证明基于流软件中的UI访问的线程安全性。我们将系统作为基于注释的Java TypeChecker,适用于由流行的Reactivex构建的Android程序。我们评估8个开源应用程序,并报告我们将TypeChecker应用于来自优步的两个大量应用程序的经验。[...][PDF]
IEEE / ACM自动化软件工程国际会议(ASE),2018年

流行文章