Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

User Comfort with Android Background Resource Accesses in Different Contexts.

D. Votipka, S. Rabin, K. Micinski, T. Gilray, M. Mazurek, and J. Foster. SOUPS @ USENIX Security Symposium, page 235-250. USENIX Association, (2018)

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.

Univ. -Prof. Dr. James Foster University of Stuttgart

S. Schumann

S. Seemann

S. Wartzack

Boettinger S

Other publications of authors with the same name

Flow-insensitive type qualifiers.J. Foster, R. Johnson, J. Kodumal, and A. Aiken. ACM Trans. Program. Lang. Syst., 28 (6): 1035-1087 (2006)Evaluating Dynamic Software Update Safety Using Systematic Testing.C. Hayden, E. Smith, E. Hardisty, M. Hicks, and J. Foster. IEEE Trans. Software Eng., 38 (6): 1340-1354 (2012)Static Typing for Ruby on Rails.J. hoon (David) An, A. Chaudhuri, and J. Foster. ASE, page 590-594. IEEE Computer Society, (2009)Kitsune: Efficient, General-Purpose Dynamic Software Updating for C.C. Hayden, K. Saur, E. Smith, M. Hicks, and J. Foster. ACM Trans. Program. Lang. Syst., 36 (4): 13:1-13:38 (2014)LOCKSMITH: Practical static race detection for C.P. Pratikakis, J. Foster, and M. Hicks. ACM Trans. Program. Lang. Syst., 33 (1): 3:1-3:55 (2011)Evaluating Design Tradeoffs in Numeric Static Analysis for Java.S. Wei, P. Mardziel, A. Ruef, J. Foster, and M. Hicks. ESOP, volume 10801 of Lecture Notes in Computer Science, page 653-682. Springer, (2018)VS3: SMT Solvers for Program Verification.S. Srivastava, S. Gulwani, and J. Foster. CAV, volume 5643 of Lecture Notes in Computer Science, page 702-708. Springer, (2009)Specifying and Verifying the Correctness of Dynamic Software Updates.C. Hayden, S. Magill, M. Hicks, N. Foster, and J. Foster. VSTTE, volume 7152 of Lecture Notes in Computer Science, page 278-293. Springer, (2012)iGen: dynamic interaction inference for configurable software.T. Nguyen, U. Koc, J. Cheng, J. Foster, and A. Porter. SIGSOFT FSE, page 655-665. ACM, (2016)Checking and inferring local non-aliasing.A. Aiken, J. Foster, J. Kodumal, and T. Terauchi. PLDI, page 129-140. ACM, (2003)