Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (English)
Free access
- New search for: Park, Changhee
- New search for: Ryu, Sukyoung
- New search for: Park, Changhee
- New search for: Ryu, Sukyoung
- New search for: Boyland, John Tang
In:
LIPIcs, Volume 37, ECOOP 2015
: 29th European Conference on Object-Oriented Programming (ECOOP 2015)
;
37
;
735-756
;
2015
-
ISBN:
-
ISSN:
- Conference paper / Electronic Resource
-
Title:Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity
-
Contributors:
-
Published in:LIPIcs, Volume 37, ECOOP 2015 : 29th European Conference on Object-Oriented Programming (ECOOP 2015) ; 37 ; 735-756Leibniz International Proceedings in Informatics (LIPIcs) ; 37 ; 735-756
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2015-06-29
-
Size:22 pages , 725534 byte
-
Remarks:LIPIcs, Vol. 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015), pages 735-756
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Licence:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Object-Oriented Programming without Inheritance (Invited Talk)Stroustrup, Bjarne et al. | 2015
- 2
-
Programming in the Large for the Internet of Things (Invited Talk)Choi, Jong-Deok et al. | 2015
- 3
-
Software Verification "Across the Stack" (Invited Talk)Summers, Alexander J. et al. | 2015
- 4
-
Towards Practical Gradual TypingTakikawa, Asumu / Feltey, Daniel / Dean, Earl / Flatt, Matthew / Findler, Robert Bruce / Tobin-Hochstadt, Sam / Felleisen, Matthias et al. | 2015
- 5
-
TreatJS: Higher-Order Contracts for JavaScriptsKeil, Matthias / Thiemann, Peter et al. | 2015
- 6
-
Trust, but Verify: Two-Phase Typing for Dynamic LanguagesVekris, Panagiotis / Cosman, Benjamin / Jhala, Ranjit et al. | 2015
- 7
-
Concrete Types for TypeScriptRichards, Gregor / Zappa Nardelli, Francesco / Vitek, Jan et al. | 2015
- 8
-
Simple and Effective Type Check Removal through Lazy Basic Block VersioningChevalier-Boisvert, Maxime / Feeley, Marc et al. | 2015
- 9
-
Loop Tiling in the Presence of ExceptionsBhandari, Abhilash / Nandivada, V. Krishna et al. | 2015
- 10
-
Transparent Object Proxies in JavaScriptKeil, Matthias / Guria, Sankha Narayan / Schlegel, Andreas / Geffken, Manuel / Thiemann, Peter et al. | 2015
- 11
-
A Theory of Tagged ObjectsLee, Joseph / Aldrich, Jonathan / Shaw, Troy / Potanin, Alex et al. | 2015
- 12
-
Brand Objects for Nominal TypingJones, Timothy / Homer, Michael / Noble, James et al. | 2015
- 13
-
Access-rights Analysis in the Presence of SubjectsCentonze, Paolina / Pistoia, Marco / Tripp, Omer et al. | 2015
- 14
-
Variability Abstractions: Trading Precision for Speed in Family-Based AnalysesDimovski, Aleksandar S. / Brabrand, Claus / Wasowski, Andrzej et al. | 2015
- 15
-
Optimization Coaching for JavaScriptSt-Amour, Vincent / Guo, Shu-yu et al. | 2015
- 16
-
PerfBlower: Quickly Detecting Memory-Related Performance Problems via AmplificationFang, Lu / Dou, Liang / Xu, Guoqing et al. | 2015
- 17
-
Hybrid DOM-Sensitive Change Impact Analysis for JavaScriptAlimadadi, Saba / Mesbah, Ali / Pattabiraman, Karthik et al. | 2015
- 18
-
Intensional Effect PolymorphismLong, Yuheng / Liu, Yu David / Rajan, Hridesh et al. | 2015
- 19
-
Type Inference for Place-Oblivious ObjectsHaque, Riyaz / Palsberg, Jens et al. | 2015
- 20
-
Asynchronous Liquid Separation TypesKloos, Johannes / Majumdar, Rupak / Vafeiadis, Viktor et al. | 2015
- 21
-
The Eureka Programming Model for Speculative Task ParallelismImam, Shams / Sarkar, Vivek et al. | 2015
- 22
-
Cooking the Books: Formalizing JMM Implementation RecipesPetri, Gustavo / Vitek, Jan / Jagannathan, Suresh et al. | 2015
- 23
-
Defining Correctness Conditions for Concurrent Objects in Multicore ArchitecturesDongol, Brijesh / Derrick, John / Groves, Lindsay / Smith, Graeme et al. | 2015
- 24
-
The Love/Hate Relationship with the C Preprocessor: An Interview StudyMedeiros, Flávio / Kästner, Christian / Ribeiro, Márcio / Nadi, Sarah / Gheyi, Rohit et al. | 2015
- 25
-
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScriptPradel, Michael / Sen, Koushik et al. | 2015
- 26
-
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and MechanizationShinnar, Avraham / Siméon, Jérôme / Hirzel, Martin et al. | 2015
- 27
-
Global Sequence Protocol: A Robust Abstraction for Replicated Shared StateBurckhardt, Sebastian / Leijen, Daan / Protzenko, Jonathan / Fähndrich, Manuel et al. | 2015
- 28
-
Streams a la carte: Extensible Pipelines with Object AlgebrasBiboudis, Aggelos / Palladinos, Nick / Fourtounis, George / Smaragdakis, Yannis et al. | 2015
- 29
-
Lightweight Support for Magic Wands in an Automatic VerifierSchwerhoff, Malte / Summers, Alexander J. et al. | 2015
- 30
-
Modular Verification of Finite Blocking in Non-terminating ProgramsBoström, Pontus / Müller, Peter et al. | 2015
- 31
-
Modular Termination VerificationJacobs, Bart / Bosnacki, Dragan / Kuiper, Ruurd et al. | 2015
- 32
-
Framework for Static Analysis of PHP ApplicationsHauzar, David / Kofron, Jan et al. | 2015
- 33
-
Adaptive Context-sensitive Analysis for JavaScriptWei, Shiyi / Ryder, Barbara G. et al. | 2015
- 34
-
Scalable and Precise Static Analysis of JavaScript Applications via Loop-SensitivityPark, Changhee / Ryu, Sukyoung et al. | 2015