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

Extracting taint specifications for JavaScript libraries

C. Staicu, M. Torp, M. Schafer, A. Møller, and M. Pradel. ICSE '20 : Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, page 198-209. New York, Association for Computing Machinery, (2020)
DOI: 10.1145/3377811.3380390

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.

Max Schäfer University of Stuttgart

Max B. Schäfer

Prof. Dr. Henry Schäfer University of Stuttgart

Melanie Schäfer University of Stuttgart

Dr. Micha Schäfer University of Stuttgart

Optimal operation and conceptual design of a novel facade-integrated adsorption cooling systemS. Weber, O. Böckmann, A. Greiner, S. Park, M. Schäfer, and M. Ostermann. EuroSun2022 Proceedings, Freiburg, International Solar Energy Society, (2022)

Optimal operation and conceptual design of a novel facade-integrated adsorption cooling systemS. Weber, O. Böckmann, A. Greiner, S. Park, M. Schäfer, and M. Ostermann. EuroSun2022 Proceedings, Freiburg, International Solar Energy Society, (2022)Low Order Hybrid Model for Control Design of an Adsorption Facade System for Solar CoolingJ. Heidingsfeld, O. Böckmann, M. Schäfer, M. Böhm, and O. Sawodny. 2022 IEEE Conference on Control Technology and Applications (CCTA), page 425-432. IEEE, (2022)Modeling and simulation of a facade-integrated adsorption system for solar cooling of lightweight buildingsO. Böckmann, and M. Schäfer. Präsentation, (2022)

Other publications of authors with the same name

Stepping Stones over the Refactoring Rubicon.M. Schäfer, M. Verbaere, T. Ekman, and O. de Moor. ECOOP, volume 5653 of Lecture Notes in Computer Science, page 369-393. Springer, (2009)Information flow analysis for a dynamically typed language with staged metaprogramming.M. Lester, L. Ong, and M. Schäfer. Journal of Computer Security, 24 (5): 541-582 (2016)Tool-supported refactoring for JavaScript.A. Feldthaus, T. Millstein, A. Møller, M. Schäfer, and F. Tip. OOPSLA, page 119-138. ACM, (2011)Extracting taint specifications for JavaScript librariesC. Staicu, M. Torp, M. Schafer, A. Møller, and M. Pradel. ICSE '20 : Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, page 198-209. New York, Association for Computing Machinery, (2020)Refactoring MATLAB.S. Radpour, L. Hendren, and M. Schäfer. CC, volume 7791 of Lecture Notes in Computer Science, page 224-243. Springer, (2013)The Future of Refactoring (Dagstuhl Seminar 14211).D. Dig, W. Griswold, E. Murphy-Hill, and M. Schäfer. Dagstuhl Reports, 4 (5): 40-67 (2014)Challenge proposal: verification of refactorings.M. Schäfer, T. Ekman, and O. de Moor. PLPV, page 67-72. ACM, (2009)Refactoring Java programs for flexible locking.M. Schäfer, M. Sridharan, J. Dolby, and F. Tip. ICSE, page 71-80. ACM, (2011)Information Flow Analysis for a Dynamically Typed Language with Staged Metaprogramming.M. Lester, L. Ong, and M. Schäfer. CSF, page 209-223. IEEE Computer Society, (2013)Type inference for datalog with complex type hierarchies.M. Schäfer, and O. de Moor. POPL, page 145-156. ACM, (2010)