Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Static Typing for Ruby on Rails., , and . ASE, page 590-594. IEEE Computer Society, (2009)Improving software quality with static analysis., , and . PASTE, page 83-84. ACM, (2007)A Comparison of Bug Finding Tools for Java., , and . ISSRE, page 245-256. IEEE Computer Society, (2004)The ruby intermediate language., , , and . DLS, page 89-98. ACM, (2009)Specifying and Verifying the Correctness of Dynamic Software Updates., , , , and . VSTTE, volume 7152 of Lecture Notes in Computer Science, page 278-293. Springer, (2012)iGen: dynamic interaction inference for configurable software., , , , and . SIGSOFT FSE, page 655-665. ACM, (2016)Partial Online Cycle Elimination in Inclusion Constraint Graphs., , , and . PLDI, page 85-96. ACM, (1998)Making the Cut: A Bandit-based Approach to Tiered Interviewing., , , and . NeurIPS, page 4641-4651. (2019)A Theory of Type Qualifiers, , and . ACM SIGPLAN Conference on Programming Language and Design, Atlanta, GA, (May 1999)Checking and inferring local non-aliasing., , , and . PLDI, page 129-140. ACM, (2003)