Stem javascript$ (all stems)

110 papers:

SANER-2015-SilvaRVBA #javascript #question

Does JavaScript software embrace classes? (LS, MR, MTV, AB, NA), pp. 73–82.

SCAM-2015-NicolayNRM #detection #javascript

Detecting function purity in JavaScript (JN, CN, CDR, WDM), pp. 101–110.

PLDI-2015-ParkSR #javascript #named #semantics

KJS: a complete formal semantics of JavaScript (DP, AS, GR), pp. 346–356.

SAS-2015-ChoiCNS #javascript #layout #named #type system

SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.

ECOOP-2015-Alimadadi0P #hybrid #impact analysis #javascript

Hybrid DOM-Sensitive Change Impact Analysis for JavaScript (SA, AM, KP), pp. 321–345.

ECOOP-2015-KeilGSGT #javascript

Transparent Object Proxies in JavaScript (MK, SNG, AS, MG, PT), pp. 149–173.

ECOOP-2015-ParkR #javascript #precise #scalability #static analysis

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.

ECOOP-2015-PradelS #empirical #javascript

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript (MP, KS), pp. 519–541.

ECOOP-2015-St-AmourG #javascript #optimisation

Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.

ECOOP-2015-WeiR #adaptation #analysis #javascript

Adaptive Context-sensitive Analysis for JavaScript (SW, BGR), pp. 712–734.

OOPSLA-2015-MadsenTL #javascript #static analysis

Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.

SAC-2015-TsengHT #distributed #framework #javascript #migration #mobile #web

Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.

ESEC-FSE-2015-GongPS #javascript #named

JITProf: pinpointing JIT-unfriendly JavaScript code (LG, MP, KS), pp. 357–368.

ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named

MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.

ESEC-FSE-2015-MutluTL #detection #javascript #matter

Detecting JavaScript races that matter (EM, ST, BL), pp. 381–392.

ICSE-v1-2015-OcarizaP0 #consistency #detection #javascript #mvc #nondeterminism

Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.

ICSE-v1-2015-PanW0G #analysis #javascript

Gray Computing: An Analysis of Computing with Background JavaScript Tasks (YP, JW, YS, JG), pp. 167–177.

ICSE-v1-2015-PradelSS #analysis #consistency #javascript #named #nondeterminism

TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.

CGO-2015-DeweyKH #interpreter #javascript #parallel

A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.

PPoPP-2015-PiaoKOLKKL #adaptation #cpu #framework #gpu #javascript #named

JAWS: a JavaScript framework for adaptive CPU-GPU work sharing (XP, CK, YO, HL, JK, HK, JWL), pp. 251–252.

CAV-2015-GardnerSWW #javascript #specification

A Trusted Mechanised Specification of JavaScript: One Year On (PG, GS, CW, TW), pp. 3–10.

ICST-2015-Mirshokraie0P #automation #generative #javascript #named #testing

JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.

ISSTA-2015-GongPSS #javascript #named

DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.

ISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript #modelling

Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.

ASE-2014-BajajPM #code completion #javascript #named

Dompletion: DOM-aware JavaScript code completion (KB, KP, AM), pp. 43–54.

VLDB-2014-FuOPZ #component #declarative #javascript #named #using

FORWARD: Data-Centric UIs using Declarative Templates that Efficiently Wrap Third-Party JavaScript Components (YF, KWO, YP, EZ), pp. 1649–1652.

PLDI-2014-AhnCSGT #javascript #performance #type system

Improving JavaScript performance by deconstructing the type system (WA, JC, TS, MJG, JT), p. 51.

ILC-2014-WakitaHS #framework #implementation #javascript #metaprogramming

Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.

ECOOP-2014-LavoieDF #javascript #monitoring #performance #runtime #using #virtual machine

Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering (EL, BD, MF), pp. 541–566.

ECOOP-2014-WeiR #analysis #behaviour #javascript #points-to

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.

OOPSLA-2014-FeldthausM #correctness #interface #javascript #library #typescript

Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.

PADL-2014-BrackerG #domain-specific language #generative #javascript #monad #named

Sunroof: A Monadic DSL for Generating JavaScript (JB, AG), pp. 65–80.

POPL-2014-SwamyFRBCSB #embedded #javascript #type system

Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.

SAC-2014-HedinBBS #api #data flow #javascript #named

JSFlow: tracking information flow in JavaScript and its APIs (DH, AB, LB, AS), pp. 1663–1671.

FSE-2014-KashyapDKWGSWH #framework #javascript #named #static analysis

JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.

FSE-2014-LiAG #automation #javascript #named #testing #web

SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.

ICSE-2014-AlimadadiSMP #comprehension #interactive #javascript

Understanding JavaScript event-based interactions (SA, SS, AM, KP), pp. 367–377.

ICSE-2014-NguyenNNN #interprocedural #javascript #mining #web

Mining interprocedural, data-oriented usage patterns in JavaScript web applications (HVN, HAN, ATN, TNN), pp. 791–802.

ICSE-2014-OcarizaPM #fault #javascript #named

Vejovis: suggesting fixes for JavaScript faults (FSOJ, KP, AM), pp. 837–847.

CC-2014-AulerBHMT #adaptation #compilation #crowdsourcing #javascript #jit #performance

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler (RA, EB, PdH, MM, NT), pp. 218–237.

CGO-2014-KashyapH #security

Security Signature Inference for JavaScript-based Browser Addons (VK, BH), p. 219.

LCTES-2014-KimBL #concurrent #garbage collection #javascript #lightweight

Lightweight and block-level concurrent sweeping for javascript garbage collection (HK, SB, JL), pp. 155–164.

OSDI-2014-StefanYMRHKM #javascript

Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.

ISSTA-2014-Mirshokraie #assessment #effectiveness #generative #testing #web

Effective test generation and adequacy assessment for JavaScript-based web applications (SM), pp. 453–456.

ISSTA-2014-TrippFP #analysis #hybrid #javascript #partial evaluation #security #web

Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.

ASE-2013-MirshokraieMP #generative #javascript #named #testing

PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.

ITiCSE-2013-KaravirtaS #algorithm #javascript #library #named #visualisation

JSAV: the JavaScript algorithm visualization library (VK, CAS), pp. 159–164.

ESOP-2013-MillerCT #distributed #javascript

Distributed Electronic Rights in JavaScript (MSM, TVC, BT), pp. 1–20.

FASE-2013-NordioCF #javascript #named #verification

Javanni: A Verifier for JavaScript (MN, CC, CAF), pp. 231–234.

SCAM-2013-FardM #detection #javascript #named #smell

JSNOSE: Detecting JavaScript Code Smells (AMF, AM), pp. 116–125.

SCAM-2013-NicolayNRM #javascript #type inference #using

Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.

OOPSLA-2013-FeldthausM #automation #javascript #refactoring

Semi-automatic rename refactoring for JavaScript (AF, AM), pp. 323–338.

OOPSLA-2013-HerhutHSS #javascript #parallel

River trail: a path to parallelism in JavaScript (SH, RLH, TS, JS), pp. 729–744.

OOPSLA-2013-RichardsHNJV #data access #flexibility #javascript

Flexible access control for javascript (GR, CH, FZN, SJ, JV), pp. 305–322.

POPL-2013-FournetSCDSL #compilation #javascript

Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.

ESEC-FSE-2013-EscoffierLR #component #framework #javascript #named

h-ubu: an industrial-strength service-oriented component framework for JavaScript applications (CE, PL, NR), pp. 699–702.

ESEC-FSE-2013-JensenMS #automation #interface #javascript #testing #web

Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.

ESEC-FSE-2013-MadsenLF #framework #javascript #library #static analysis

Practical static analysis of JavaScript applications in the presence of frameworks and libraries (MM, BL, MF), pp. 499–509.

ESEC-FSE-2013-SenKBG #dynamic analysis #framework #javascript #named

Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (KS, SK, TGB, SG), pp. 488–498.

ESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing

Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.

ESEC-FSE-2013-WangZCZZ #javascript #program analysis

Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.

ICSE-2013-FeldthausSSDT #approximate #graph #ide #javascript #performance

Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.

CGO-2013-PienaarH #javascript #memory management #named #static analysis

JSWhiz: Static analysis for JavaScript memory leaks (JAP, RH), p. 11.

PPoPP-2013-BonettaBP #javascript #named #parallel

TigerQuoll: parallel event-based JavaScript (DB, WB, CP), pp. 251–260.

ICST-2013-MirshokraieMP #javascript #mutation testing #performance #testing

Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.

ISSTA-2013-WeiR #analysis #javascript

Practical blended taint analysis for JavaScript (SW, BGR), pp. 336–346.

DocEng-2012-AcebalBRL #css #implementation #javascript #layout #named

ALMcss: a javascript implementation of the CSS template layout module (CFA, BB, MR, JMCL), pp. 23–32.

SIGMOD-2012-BoltonIRT #declarative #development #encapsulation #javascript #web

Declarative web application development: encapsulating dynamic JavaScript widgets (abstract only) (RB, DI, CR, KLT), p. 863.

WCRE-2012-NegaraS #automation #javascript #testing #web

Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.

PLDI-2012-HackettG #hybrid #javascript #performance #precise #type inference

Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.

SAS-2012-Krishnamurthi #analysis #javascript #semantics #web

Semantics and Analyses for JavaScript and the Web (SK), p. 4.

IFL-2012-DijkstraSVS #haskell #javascript

Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.

CIKM-2012-GyllstromEVM #css #javascript #web

The downside of markup: examining the harmful effects of CSS and javascript on indexing today’s web (KG, CE, APdV, MFM), pp. 1990–1994.

TOOLS-EUROPE-J-2011-HeideggerT12 #javascript #named #testing

JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.

ECOOP-2012-DhawanSG #javascript #transaction

Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.

ECOOP-2012-KossakowskiARO #domain-specific language #embedded #javascript

JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.

ECOOP-2012-SridharanDCST #analysis #correlation #javascript #points-to

Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.

OOPSLA-2012-ChughHJ #dependent type #javascript

Dependent types for JavaScript (RC, DH, RJ), pp. 587–606.

OOPSLA-2012-KangR #javascript #specification

Formal specification of a JavaScript module system (SK, SR), pp. 621–638.

OOPSLA-2012-MeawadRMV #automation #exclamation #javascript #source code

Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.

POPL-2012-GardnerMS #javascript #logic #towards

Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.

SAC-2012-JeonC #javascript #jit #reuse

Reuse of JIT compiled code in JavaScript engine (SJ, JC), pp. 1840–1842.

ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight

Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.

ICST-2012-OcarizaPM #automation #fault #javascript #named

AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript (FSOJ, KP, AM), pp. 31–40.

ECOOP-2011-RichardsHBV #javascript #scalability

The Eval That Men Do — A Large-Scale Study of the Use of Eval in JavaScript Applications (GR, CH, BB, JV), pp. 52–78.

OOPSLA-2011-FeldthausMMST #javascript #refactoring

Tool-supported refactoring for JavaScript (AF, TDM, AM, MS, FT), pp. 119–138.

OOPSLA-2011-RichardsGEV #automation #benchmark #javascript #metric

Automated construction of JavaScript benchmarks (GR, AG, BE, JV), pp. 677–694.

ESEC-FSE-2011-JensenMM #api #html #javascript #modelling #static analysis #web

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications (SHJ, MM, AM), pp. 59–69.

ICSE-2011-ArtziDJMT #automation #framework #javascript #testing #web

A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.

HPCA-2011-AndersonFCE #architecture #javascript #mobile

Checked Load: Architectural support for JavaScript type-checking on mobile processors (OA, EF, LC, SJE), pp. 419–430.

HPCA-2011-MehraraHSM #javascript #parallel #using

Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.

ISSTA-2011-GuarnieriPTDTB #javascript #web

Saving the world wide web from vulnerable JavaScript (SG, MP, OT, JD, ST, RB), pp. 177–187.

ITiCSE-2010-KaravirtaI #assessment #automation #javascript

Serverless automatic assessment of Javascript exercises (VK, PI), p. 303.

PLDI-2010-RichardsLBV #analysis #behaviour #javascript #source code

An analysis of the dynamic behavior of JavaScript programs (GR, SL, BB, JV), pp. 1–12.

ECOOP-2010-GuhaSK #javascript

The Essence of JavaScript (AG, CS, SK), pp. 126–150.

OOPSLA-2010-LernerVG #aspect-oriented #javascript #using

Supporting dynamic, third-party code customizations in JavaScript using aspects (BSL, HV, DG), pp. 361–376.

TOOLS-EUROPE-2010-HeideggerT #javascript #testing

Contract-Driven Testing of JavaScript Code (PH, PT), pp. 154–172.

SAC-2010-DewaldHF #javascript #named

ADSandbox: sandboxing JavaScript to fight malicious websites (AD, TH, FCF), pp. 1859–1864.

CC-2010-LogozzoV #abstract interpretation #agile #analysis #javascript #named #optimisation

RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.

PLDI-2009-ChughMJL #data flow #javascript #staged

Staged information flow for javascript (RC, JAM, RJ, SL), pp. 50–62.

SAS-2009-JensenMT #analysis #javascript

Type Analysis for JavaScript (SHJ, AM, PT), pp. 238–255.

SAC-2009-JangC #analysis #javascript #points-to

Points-to analysis for JavaScript (DJ, KMC), pp. 1930–1937.

PPDP-2007-Hanus #declarative #javascript #programming #web

Putting declarative programming into the web: translating curry to javascript (MH), pp. 155–166.

POPL-2007-YuCIS #javascript #security

JavaScript instrumentation for browser security (DY, AC, NI, IS), pp. 237–249.

ESOP-2005-Thiemann #javascript #source code #towards #type system

Towards a Type System for Analyzing JavaScript Programs (PT), pp. 408–422.

ICFP-2005-Eich #javascript

JavaScript at ten years (BE), p. 129.

ECOOP-2005-AndersonGD #javascript #towards #type inference

Towards Type Inference for JavaScript (CA, PG, SD), pp. 428–452.

ITiCSE-2003-Sojka03b #education #interactive #javascript #using

Interactive teaching materials in PDF using JavaScript (PS), p. 275.

HCI-CCAD-1999-KossekovaL #javascript #simulation

JavaScript programme for clinical case simulations (GK, DL), pp. 686–690.

ITiCSE-1998-WardS #javascript #multi #programming language #student

JavaScript as a first programming language for multimedia students (RW, MS), pp. 249–253.