Javascript at ten years, pp.129-129, 2005. ,
An analysis of the dynamic behavior of javascript programs, pp.1-12, 2010. ,
Upper Saddle River, Google Web Toolkit Applications, 2007. ,
, Semantics-driven interoperability between scala.js and javascript, pp.85-94, 2016.
Emscripten: An llvm-to-javascript compiler, pp.301-312, 2011. ,
Addressing javascript jit engines performance quirks: A crowdsourced adaptive compiler, pp.218-237, 2014. ,
Tracing for web 3.0: Trace compilation for the next generation web applications, pp.71-80, 2009. ,
The impact of optional type information on JIT compilation of dynamically typed languages, SIGPLAN Not, vol.47, issue.2, pp.13-24, 2011. ,
Fast and precise hybrid type inference for javascript, SIGPLAN Not, vol.47, issue.6, pp.239-250, 2012. ,
The hiphop virtual machine, pp.777-790, 2014. ,
,
Trace-based just-in-time type specialization for dynamic languages, pp.465-478, 2009. ,
Dynamic elimination of overflow tests in a trace compiler, pp.2-21, 2011. ,
Justin-time value specialization, pp.1-11, 2013. ,
Optimizing dynamically-typed objectoriented languages with polymorphic inline caches, pp.21-38, 1991. ,
Dynamic function specialization, pp.1-8, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01597880
Type analysis for javascript, pp.238-255, 2009. ,
A domainspecific language for building self-optimizing ast interpreters, pp.123-132, 2014. ,
, Partial Evaluation and Automatic Program Generation, 1993.
Restrictification of function arguments, pp.163-173, 2016. ,
,
Automatic annotation for data parallelism and offloading, ACM Trans. Archit. Code Optim, vol.14, issue.2, p.25, 2017. ,
Automatic annotation of tasks in structured code, vol.31, 2018. ,
A framework for optimizing java using attributes, pp.8-24, 2000. ,
Certification of programs for secure information flow, Commun. ACM, vol.20, pp.504-513, 1977. ,
Modern Compiler Implementation in Java, p.2 ,
, Edition, 2002.
, Compilers: Principles, Techniques, and Tools, 2006.
, TOPLAS, vol.18, issue.3, pp.300-324, 1996.
Branch prediction for free, pp.300-313, 1993. ,
Static branch frequency and program profile analysis, pp.1-11, 1994. ,
Precise interprocedural dataflow analysis with applications to constant propagation, Theor. Comput. Sci, vol.167, issue.1-2, pp.131-170, 1996. ,
An operational semantics for JavaScript, pp.307-325, 2008. ,
KJS: A complete formal semantics of javascript, pp.346-356, 2015. ,
Efficient implementation of the smalltalk-80 system, pp.297-302, 1984. ,
Efficiently computing static single assignment form and the control dependence graph, TOPLAS, vol.13, issue.4, pp.451-490, 1991. ,
Students t-distribution, Commun. ACM, vol.395, issue.10, pp.617-619, 1970. ,
Annotationdirected run-time specialization in c, pp.163-178, 1997. ,
Java annotation-aware just-in-time (ajit) complilation system, pp.142-151, 1999. ,
Using annotations to reduce dynamic optimization time, pp.156-167, 2001. ,
Coupling on-line and off-line profile information to improve program performance, pp.69-78, 2003. ,
Partial evaluation of high-level imperative programming languages with applications in hard real-time systems, pp.269-280, 1992. ,
Hybrid partial evaluation, pp.375-390, 2011. ,
, One VM to rule them all, pp.187-204, 2013.
Practical partial evaluation for highperformance dynamic language runtimes, SIGPLAN Not, vol.52, issue.6, pp.662-676, 2017. ,