2 citations · 4 across the 2 of their papers we have counts for
3 papers
cs.PL2022
Static Analysis for AWS Best Practices in Python Code
Rajdeep Mukherjee, Omer Tripp, Ben Liblit +1
Amazon Web Services (AWS) is a comprehensive and broadly adopted cloud provider, offering over 200 fully featured services, including compute, database, storage, networking and con…
cs.PL2018★ 2 cited
Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version)
Kshitij Bansal, Eric Koskinen, Omer Tripp
Reasoning about commutativity between data-structure operations is an important problem with applications including parallelizing compilers, optimistic parallelization and, more re…
cs.LO2016★ 2 cited
A Solver for a Theory of Strings and Bit-vectors
Sanu Subramanian, Murphy Berzish, Yunhui Zheng +2
We present a solver for a many-sorted first-order quantifier-free theory of string equations, string length represented as bit-vectors, and bit-vector arithmetic aimed a…