( en | de | ru )

 

Disambiguation of "Krishnamurthi, Shriram"

Author of the publication

copydeleteadd this publication to your clipboard
Adapting Student IDEs for Blind Programmers.

, , and . Koli Calling, page 23:1-23:5. ACM, (2020)

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.

No persons found for author name Krishnamurthi, Shriram
add a person with the name Krishnamurthi, Shriram
 

Other publications of authors with the same name

ADsafety: Type-Based Verification of JavaScript Sandboxing., , , and . CoRR, (2015)Compiling Stateful Network Properties for Runtime Verification., , , , and . CoRR, (2016)Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs., and . ICSE, page 277-287. ACM, (2002)Web Verification: Perspective and Challenges.. WWV, DSIC-II/03/05, page 3-8. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)The power of "why" and "why not": enriching scenario exploration with provenance., , , and . ESEC/SIGSOFT FSE, page 106-116. ACM, (2017)Alchemy: transmuting base alloy specifications into implementations., , , and . SIGSOFT FSE, page 158-169. ACM, (2008)Verifying cross-cutting features as open systems., , and . SIGSOFT FSE, page 89-98. ACM, (2002)Oops, I did it again: mitigating repeated access control errors on facebook., , and . CHI, page 2295-2304. ACM, (2011)Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)., , , and . ICFP, page 138-147. ACM, (1999)SIGPLAN Notices 34(9), September 1999.The Human in Formal Methods., and . FM, volume 11800 of Lecture Notes in Computer Science, page 3-10. Springer, (2019)