BibSLEIGH — javascript tag

javascript

javascript

Tag #javascript

176 papers:

CC-2020-SerranoF #performance #towards: Dynamic property caches: a step towards faster JavaScript proxy objects (MS, RBF), pp. 108–118.
MSR-2019-CamposSMB0 #mining: Mining rule violations in JavaScript code snippets (UC, GS, JPM, RB, GP0), pp. 195–199.
MSR-2019-MitropoulosLSS #evolution: Time present and time past: analyzing the evolution of JavaScript code in the wild (DM, PL, VS, DS), pp. 126–137.
SANER-2019-ZeroualiCMRG #image #on the: On the Impact of Outdated and Vulnerable Javascript Packages in Docker Images (AZ, VC, TM, GR, JMGB), pp. 619–623.
IFM-2019-HodovanV0 #api #fuzzing: Fuzzing JavaScript Environment APIs with Interdependent Function Calls (RH, DV, ÁK0), pp. 212–226.
ECOOP-2019-SotiropoulosL #source code #static analysis: Static Analysis for Asynchronous JavaScript Programs (TS, BL), p. 30.
PLDI-2019-ChoiST #performance #reuse: Reusable inline caching for JavaScript performance (JC, TS, JT), pp. 889–901.
PLDI-2019-LoringMK #execution #regular expression #semantics #symbolic computation: Sound regular expression semantics for dynamic symbolic execution of JavaScript (BL, DM, JK), pp. 425–438.
POPL-2019-SantosMSG #composition #execution #symbolic computation: JaVerT 2.0: compositional symbolic execution for JavaScript (JFS, PM, GS, PG), p. 31.
ASE-2019-TavaresBCS: Semistructured Merge in JavaScript Systems (ATT, PB, GC, SS), pp. 1014–1025.
ICSE-2019-KavalerTVF #assurance #git #matter #quality #tool support: Tool choice matters: JavaScript quality assurance tools and usage outcomes in GitHub projects (DK, AT, BV, VF), pp. 476–487.
ICSE-2019-KristensenM #analysis #library: Reasonably-most-general clients for JavaScript library analysis (EKK, AM), pp. 83–93.
ICSE-2019-MalikPP #named #natural language: NL2Type: inferring JavaScript function types from natural language information (RSM, JP, MP), pp. 304–315.
FASE-2019-ParkJR #automation #modelling #static analysis: Automatic Modeling of Opaque Code for JavaScript Static Analysis (JP, AJ, SR), pp. 43–60.
ICST-2019-GyimesiVSMBF0 #benchmark #debugging #metric #named: BugsJS: a Benchmark of JavaScript Bugs (PG, BV, AS0, DM, ÁB, RF, AM0), pp. 90–101.
ICST-2019-VancsicsGSMBF0 #named: Poster: Supporting JavaScript Experimentation with BugsJS (BV, PG, AS0, DM, ÁB, RF, AM0), pp. 375–378.
ICPC-2018-ScarsbrookKR0 #debugging #named #scalability #visualisation: MetropolJS: visualizing and debugging large-scale javascript program structure with treemaps (JDS, RKLK, BR, DB0), pp. 389–392.
ICSME-2018-MurthyP #program analysis: Change-Aware Dynamic Program Analysis for JavaScript (DRKM, MP), pp. 127–137.
ICSME-2018-ZapataKCIMI #dependence #library #towards: Towards Smoother Library Migrations: A Look at Vulnerable Dependency Migrations at Function Level for npm JavaScript Packages (REZ, RGK, BC, TI, KM, AI), pp. 559–563.
SANER-2018-ObbinkMSL #approach #challenge: An extensible approach for taming the challenges of JavaScript dead code elimination (NGO, IM, GLS, PL), pp. 391–401.
SANER-2018-PaltoglouZGD #automation #refactoring: Automated refactoring of client-side JavaScript code to ES6 modules (AP, VEZ, EAG, NAD), pp. 402–412.
SCAM-2018-AntalHTFG #case study #comparative #graph #research: [Research Paper] Static JavaScript Call Graphs: A Comparative Study (GA, PH, ZT, RF, TG), pp. 177–186.
ECOOP-2018-Gascon-SamsonJG #independence #migration #named #platform: ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications (JGS, KJ, SG, ARA, KP), p. 33.
OOPSLA-2018-AlimadadiZMT #source code: Finding broken promises in asynchronous JavaScript programs (SA, DZ, MM, FT), p. 26.
PLDI-2018-BaxterNPKG #execution: Putting in all the stops: execution control for JavaScript (SB, RN, JGP, SK, AG), pp. 30–45.
POPL-2018-SantosMNWG #named #verification: JaVerT: JavaScript verification toolchain (JFS, PM, DN, TW0, PG), p. 33.
PPDP-2018-Gardner #framework #named #testing #verification: JaVerT: JavaScript Verification and Testing Framework: Invited Talk (PG), p. 4.
PPDP-2018-SantosMGDG #execution #symbolic computation: Symbolic Execution for JavaScript (JFS, PM, TG, JD, PG), p. 14.
ESEC-FSE-2018-AdamsenMAT #ajax #concurrent #detection #web: Practical AJAX race detection for JavaScript web applications (CQA, AM, SA, FT), pp. 38–48.
ICSE-2018-PatraDP #comprehension #library #named: ConflictJS: finding and understanding conflicts between JavaScript libraries (JP, PND, MP), pp. 741–751.
GPCE-2018-ChristopheRBM #analysis #distributed #process #source code: Orchestrating dynamic analyses of distributed processes for full-stack JavaScript programs (LC, CDR, EGB, WDM), pp. 107–118.
ICST-2018-WangDGG0 #reduction: Context-Based Event Trace Reduction in Client-Side JavaScript Applications (JW, WD, CG, YG, JW0), pp. 127–138.
JCDL-2017-BrunelleWN #crawling: Archival Crawlers and JavaScript: Discover More Stuff but Crawl More Slowly (JFB, MCW, MLN), pp. 1–10.
ICSME-2017-GallabaH0B #refactoring: Refactoring Asynchrony in JavaScript (KG, QH, AM0, IB), pp. 353–363.
SANER-2017-SabouryMKA #empirical #smell: An empirical study of code smells in JavaScript projects (AS, PM, FK, GA), pp. 294–305.
SANER-2017-SilvaVB #dependence #identification #legacy: Statically identifying class dependencies in legacy JavaScript systems: First results (LHS, MTV, AB), pp. 427–431.
SANER-2017-YounangL #analysis #array: Conventionality analysis of array objects in JavaScript (AY, LL), pp. 561–562.
OOPSLA-2017-AdamsenMT #concurrent #detection #web: Practical initialization race detection for JavaScript web applications (CQA, AM, FT), p. 22.
OOPSLA-2017-ChaudhuriVGRL #performance #precise #type checking: Fast and precise type checking for JavaScript (AC, PV, SG, MR, GL), p. 30.
OOPSLA-2017-MadsenLT #reasoning: A model for reasoning about JavaScript promises (MM, OL, FT), p. 24.
ASE-2017-TomasdottirAD #developer #how #why: Why and how JavaScript developers use linters (KFT, MFA, AvD), pp. 578–589.
ASE-2017-Wang #debugging #nondeterminism: Characterizing and taming non-deterministic bugs in JavaScript applications (JW), pp. 1006–1009.
ICSE-2017-GaoBB #debugging #detection: To type or not to type: quantifying detectable bugs in JavaScript (ZG, CB, ETB), pp. 758–769.
ICSE-2017-WitternYZDL #api #web: Statically checking web API requests in JavaScript (EW, ATTY, YZ, JD, JAL), pp. 244–254.
CADE-2017-SantosGMN #source code #towards #verification: Towards Logic-Based Verification of JavaScript Programs (JFS, PG, PM, DN), pp. 8–25.
ICST-2017-Fard0 #named: JavaScript: The (Un)Covered Parts (AMF, AM0), pp. 230–240.
ICSME-2016-RostamiEMT #detection: Detecting Function Constructors in JavaScript (SR, LME, DM, NT), pp. 488–492.
MSR-2016-WitternSR #ecosystem: A look at the dynamics of the JavaScript package ecosystem (EW, PS, SR), pp. 351–361.
SANER-2016-ChristopheBMR #execution #framework #named #platform: Linvail: A General-Purpose Platform for Shadow Execution of JavaScript (LC, EGB, WDM, CDR), pp. 260–270.
SANER-2016-YeZMYZ #performance #precise #slicing #source code: Efficient and Precise Dynamic Slicing for Client-Side JavaScript Programs (JY, CZ, LM0, HY0, JZ), pp. 449–459.
IFM-2016-Hodovan0 #api #fuzzing: Fuzzing JavaScript Engine APIs (RH, ÁK0), pp. 425–438.
ICFP-2016-Ryu #debugging #web: Journey to find bugs in JavaScript web applications in the wild (SR), p. 2.
ECOOP-2016-Chevalier-Boisvert #analysis #interprocedural #source code: Interprocedural Type Specialization of JavaScript Programs Without Type Analysis (MCB, MF), p. 24.
OOPSLA-2016-ChandraGJSSTC #compilation #type inference: Type inference for static compilation of JavaScript (SC, CSG, JBJ, CS, MS, FT, YIC), pp. 410–429.
FSE-2016-Alimadadi #behaviour #comprehension: Understanding behavioural patterns in JavaScript (SA), pp. 1076–1078.
FSE-2016-BarrMMMS #debugging: Time-travel debugging for JavaScript/Node.js (ETB, MM, EM, DM, GS), pp. 1003–1007.
FSE-2016-HanamBM #debugging: Discovering bug patterns in JavaScript (QH, FSDMB, AM0), pp. 144–156.
FSE-2016-LiWWYXM #code search #framework: Relationship-aware code search for JavaScript frameworks (XL, ZW, QW, SY, TX0, HM), pp. 690–701.
FSE-2016-WeiTRD #locality #static analysis: Revamping JavaScript static analysis via localization and remediation of root causes of imprecision (SW, OT, BGR, JD), pp. 487–498.
ICSE-2016-Alimadadi0P #comprehension #interactive: Understanding asynchronous interactions in full-stack JavaScript (SA, AM0, KP), pp. 1169–1180.
ICSE-2016-DhokRS #source code #testing: Type-aware concolic testing of JavaScript programs (MD, MKR, NS0), pp. 168–179.
ICSE-2016-MadsenTASM: Feedback-directed instrumentation for deployed JavaScript applications (MM, FT, EA, KS, AM), pp. 899–910.
ICSE-2016-SelakovicP #empirical #optimisation #performance: Performance issues and optimizations in JavaScript: an empirical study (MS, MP), pp. 61–72.
GPCE-2016-PhilipsKMR #continuation: Dependence-driven delimited CPS transformation for JavaScript (LP, JDK, WDM, CDR), pp. 59–69.
SANER-2015-SilvaRVBA #question: Does JavaScript software embrace classes? (LS, MR, MTV, AB, NA), pp. 73–82.
SCAM-2015-NicolayNRM #detection: Detecting function purity in JavaScript (JN, CN, CDR, WDM), pp. 101–110.
ECOOP-2015-Alimadadi0P #hybrid #impact analysis: Hybrid DOM-Sensitive Change Impact Analysis for JavaScript (SA, AM, KP), pp. 321–345.
ECOOP-2015-KeilGSGT: Transparent Object Proxies in JavaScript (MK, SNG, AS, MG, PT), pp. 149–173.
ECOOP-2015-ParkR #precise #scalability #static analysis: Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.
ECOOP-2015-PradelS #empirical: 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 #optimisation: Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.
ECOOP-2015-WeiR #adaptation #analysis: Adaptive Context-sensitive Analysis for JavaScript (SW, BGR), pp. 712–734.
OOPSLA-2015-MadsenTL #static analysis: Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
PLDI-2015-ParkSR #named #semantics: KJS: a complete formal semantics of JavaScript (DP, AS, GR), pp. 346–356.
SAS-2015-ChoiCNS #layout #named #type system: SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.
ASE-2015-Fard0W #generative #testing: Generating Fixtures for JavaScript Unit Testing (T) (AMF, AM, EW), pp. 190–200.
ASE-2015-KoLDR #framework #scalability #static analysis: Practically Tunable Static Analysis Framework for Large-Scale JavaScript Applications (T) (YK, HL, JD, SR), pp. 541–551.
ASE-2015-ParkWJR #modelling #static analysis #web: Static Analysis of JavaScript Web Applications in the Wild via Practical DOM Modeling (T) (CP, SW, JJ, SR), pp. 552–562.
ESEC-FSE-2015-GongPS #named: JITProf: pinpointing JIT-unfriendly JavaScript code (LG, MP, KS), pp. 357–368.
ESEC-FSE-2015-JensenSSC #debugging #independence #memory management #named #platform: MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.
ESEC-FSE-2015-MutluTL #detection #matter: Detecting JavaScript races that matter (EM, ST, BL), pp. 381–392.
ICSE-v1-2015-OcarizaP0 #consistency #detection #mvc #nondeterminism: Detecting Inconsistencies in JavaScript MVC Applications (FSOJ, KP, AM), pp. 325–335.
ICSE-v1-2015-PanW0G #analysis: Gray Computing: An Analysis of Computing with Background JavaScript Tasks (YP, JW, YS, JG), pp. 167–177.
ICSE-v1-2015-PradelSS #analysis #consistency #named #nondeterminism: TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
SAC-2015-TsengHT #distributed #framework #migration #mobile #web: Migratom.js: a JavaScript migration framework for distributed web computing and mobile devices (TLT, SHH, CHT), pp. 798–801.
CGO-2015-DeweyKH #interpreter #parallel: A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
PPoPP-2015-PiaoKOLKKL #adaptation #cpu #framework #gpu #named: JAWS: a JavaScript framework for adaptive CPU-GPU work sharing (XP, CK, YO, HL, JK, HK, JWL), pp. 251–252.
CAV-2015-GardnerSWW #specification: A Trusted Mechanised Specification of JavaScript: One Year On (PG, GS, CW, TW), pp. 3–10.
ICST-2015-Mirshokraie0P #automation #generative #named #testing: JSEFT: Automated Javascript Unit Test Generation (SM, AM, KP), pp. 1–10.
ISSTA-2015-GongPSS #named: DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.
ISSTA-2015-XueWLXSC #behaviour #classification #detection #modelling: Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.
JCDL-2014-KellyNW #html #performance: The Archival Acid Test: Evaluating archive performance on advanced HTML and JavaScript (MK, MLN, MCW), pp. 25–28.
VLDB-2014-FuOPZ #component #declarative #named #using: FORWARD: Data-Centric UIs using Declarative Templates that Efficiently Wrap Third-Party JavaScript Components (YF, KWO, YP, EZ), pp. 1649–1652.
ILC-2014-WakitaHS #framework #implementation #metaprogramming: Hygienic Macro System for JavaScript and Its Light-weight Implementation Framework (KW, KH, AS), p. 12.
ECOOP-2014-LavoieDF #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 #points-to: State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.
OOPSLA-2014-FeldthausM #correctness #interface #library #typescript: Checking correctness of TypeScript interfaces for JavaScript libraries (AF, AM), pp. 1–16.
PADL-2014-BrackerG #domain-specific language #generative #monad #named: Sunroof: A Monadic DSL for Generating JavaScript (JB, AG), pp. 65–80.
PLDI-2014-AhnCSGT #performance #type system: Improving JavaScript performance by deconstructing the type system (WA, JC, TS, MJG, JT), p. 51.
POPL-2014-SwamyFRBCSB #embedded #type system: Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
ASE-2014-BajajPM #code completion #named: Dompletion: DOM-aware JavaScript code completion (KB, KP, AM), pp. 43–54.
FSE-2014-KashyapDKWGSWH #framework #named #platform #static analysis: JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
FSE-2014-LiAG #automation #named #testing #web: SymJS: automatic symbolic testing of JavaScript web applications (GL, EA, IG), pp. 449–459.
ICSE-2014-AlimadadiSMP #comprehension #interactive: Understanding JavaScript event-based interactions (SA, SS, AM, KP), pp. 367–377.
ICSE-2014-NguyenNNN #interprocedural #mining #web: Mining interprocedural, data-oriented usage patterns in JavaScript web applications (HVN, HAN, ATN, TNN), pp. 791–802.
ICSE-2014-OcarizaPM #fault #named: Vejovis: suggesting fixes for JavaScript faults (FSOJ, KP, AM), pp. 837–847.
SAC-2014-HedinBBS #api #data flow #named: JSFlow: tracking information flow in JavaScript and its APIs (DH, AB, LB, AS), pp. 1663–1671.
CC-2014-AulerBHMT #adaptation #compilation #crowdsourcing #jit #performance: Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler (RA, EB, PdH, MM, NT), pp. 218–237.
LCTES-2014-KimBL #concurrent #garbage collection #lightweight: Lightweight and block-level concurrent sweeping for javascript garbage collection (HK, SB, JL), pp. 155–164.
OSDI-2014-StefanYMRHKM: Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
ISSTA-2014-TrippFP #analysis #hybrid #partial evaluation #security #web: Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
ITiCSE-2013-KaravirtaS #algorithm #library #named #visualisation: JSAV: the JavaScript algorithm visualization library (VK, CAS), pp. 159–164.
SCAM-2013-FardM #detection #named #smell: JSNOSE: Detecting JavaScript Code Smells (AMF, AM), pp. 116–125.
SCAM-2013-NicolayNRM #type inference #using: Determining dynamic coupling in JavaScript using object type inference (JN, CN, CDR, WDM), pp. 126–135.
OOPSLA-2013-FeldthausM #automation #refactoring: Semi-automatic rename refactoring for JavaScript (AF, AM), pp. 323–338.
OOPSLA-2013-HerhutHSS #parallel: River trail: a path to parallelism in JavaScript (SH, RLH, TS, JS), pp. 729–744.
OOPSLA-2013-RichardsHNJV #data access #flexibility: Flexible access control for javascript (GR, CH, FZN, SJ, JV), pp. 305–322.
POPL-2013-FournetSCDSL #compilation: Fully abstract compilation to JavaScript (CF, NS, JC, PÉD, PYS, BL), pp. 371–384.
ASE-2013-MirshokraieMP #generative #named #testing: PYTHIA: Generating test cases with oracles for JavaScript applications (SM, AM, KP), pp. 610–615.
ESEC-FSE-2013-EscoffierLR #component #framework #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 #testing #web: Server interface descriptions for automated testing of JavaScript web applications (CSJ, AM, ZS), pp. 510–520.
ESEC-FSE-2013-MadsenLF #framework #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 #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 #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 #program analysis: Extracting URLs from JavaScript via program analysis (QW, JZ, YC, YZ, JZ), pp. 627–630.
ICSE-2013-FeldthausSSDT #approximate #graph #ide #performance: Efficient construction of approximate call graphs for JavaScript IDE services (AF, MS, MS, JD, FT), pp. 752–761.
CGO-2013-PienaarH #memory management #named #static analysis: JSWhiz: Static analysis for JavaScript memory leaks (JAP, RH), p. 11.
PPoPP-2013-BonettaBP #named #parallel: TigerQuoll: parallel event-based JavaScript (DB, WB, CP), pp. 251–260.
ESOP-2013-MillerCT #distributed: Distributed Electronic Rights in JavaScript (MSM, TVC, BT), pp. 1–20.
FASE-2013-NordioCF #named #verification: Javanni: A Verifier for JavaScript (MN, CC, CAF), pp. 231–234.
ICST-2013-MirshokraieMP #mutation testing #performance #testing: Efficient JavaScript Mutation Testing (SM, AM, KP), pp. 74–83.
ISSTA-2013-WeiR #analysis: Practical blended taint analysis for JavaScript (SW, BGR), pp. 336–346.
DocEng-2012-AcebalBRL #css #implementation #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 #web: Declarative web application development: encapsulating dynamic JavaScript widgets (RB, DI, CR, KLT), p. 863.
WCRE-2012-NegaraS #automation #testing #web: Automated Acceptance Testing of JavaScript Web Applications (NN, ES), pp. 318–322.
IFL-2012-DijkstraSVS #haskell: Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.
CIKM-2012-GyllstromEVM #css #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 #named #testing: JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript (PH, PT), pp. 1–29.
ECOOP-2012-DhawanSG #transaction: Enhancing JavaScript with Transactions (MD, CcS, VG), pp. 383–408.
ECOOP-2012-KossakowskiARO #domain-specific language #embedded: JavaScript as an Embedded DSL (GK, NA, TR, MO), pp. 409–434.
ECOOP-2012-SridharanDCST #analysis #correlation #points-to: Correlation Tracking for Points-To Analysis of JavaScript (MS, JD, SC, MS, FT), pp. 435–458.
OOPSLA-2012-ChughHJ #dependent type: Dependent types for JavaScript (RC, DH, RJ), pp. 587–606.
OOPSLA-2012-KangR #specification: Formal specification of a JavaScript module system (SK, SR), pp. 621–638.
OOPSLA-2012-MeawadRMV #automation #exclamation #source code: Eval begone!: semi-automated removal of eval from javascript programs (FM, GR, FM, JV), pp. 607–620.
PLDI-2012-HackettG #hybrid #performance #precise #type inference: Fast and precise hybrid type inference for JavaScript (BH, SyG), pp. 239–250.
POPL-2012-GardnerMS #logic #towards: Towards a program logic for JavaScript (PG, SM, GDS), pp. 31–44.
SAS-2012-Krishnamurthi #analysis #semantics #web: Semantics and Analyses for JavaScript and the Web (SK), p. 4.
SAC-2012-JeonC #jit #reuse #using: Reuse of JIT compiled code in JavaScript engine (SJ, JC), pp. 1840–1842.
ICLP-J-2012-MoralesHCH #compilation #lightweight: Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
ICST-2012-OcarizaPM #automation #fault #named: AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript (FSOJ, KP, AM), pp. 31–40.
ECOOP-2011-RichardsHBV #scalability #using: 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 #refactoring: Tool-supported refactoring for JavaScript (AF, TDM, AM, MS, FT), pp. 119–138.
OOPSLA-2011-RichardsGEV #automation #benchmark #metric: Automated construction of JavaScript benchmarks (GR, AG, BE, JV), pp. 677–694.
ESEC-FSE-2011-JensenMM #api #html #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 #testing #web: A framework for automated testing of javascript web applications (SA, JD, SHJ, AM, FT), pp. 571–580.
HPCA-2011-AndersonFCE #architecture #mobile: Checked Load: Architectural support for JavaScript type-checking on mobile processors (OA, EF, LC, SJE), pp. 419–430.
HPCA-2011-MehraraHSM #parallel #using: Dynamic parallelization of JavaScript applications using an ultra-lightweight speculation mechanism (MM, PCH, MS, SAM), pp. 87–98.
ISSTA-2011-GuarnieriPTDTB #web: Saving the world wide web from vulnerable JavaScript (SG, MP, OT, JD, ST, RB), pp. 177–187.
ITiCSE-2010-KaravirtaI #assessment #automation: Serverless automatic assessment of Javascript exercises (VK, PI), p. 303.
ECOOP-2010-GuhaSK: The Essence of JavaScript (AG, CS, SK), pp. 126–150.
OOPSLA-2010-LernerVG #aspect-oriented #using: Supporting dynamic, third-party code customizations in JavaScript using aspects (BSL, HV, DG), pp. 361–376.
TOOLS-EUROPE-2010-HeideggerT #testing: Contract-Driven Testing of JavaScript Code (PH, PT), pp. 154–172.
PLDI-2010-RichardsLBV #analysis #behaviour #source code: An analysis of the dynamic behavior of JavaScript programs (GR, SL, BB, JV), pp. 1–12.
SAC-2010-DewaldHF #named: ADSandbox: sandboxing JavaScript to fight malicious websites (AD, TH, FCF), pp. 1859–1864.
CC-2010-LogozzoV #abstract interpretation #agile #analysis #named #optimisation: RATA: Rapid Atomic Type Analysis by Abstract Interpretation — Application to JavaScript Optimization (FL, HV), pp. 66–83.
PLDI-2009-ChughMJL #data flow #staged: Staged information flow for javascript (RC, JAM, RJ, SL), pp. 50–62.
SAS-2009-JensenMT #analysis: Type Analysis for JavaScript (SHJ, AM, PT), pp. 238–255.
SAC-2009-JangC #analysis #points-to: Points-to analysis for JavaScript (DJ, KMC), pp. 1930–1937.
POPL-2007-YuCIS #security: JavaScript instrumentation for browser security (DY, AC, NI, IS), pp. 237–249.
PPDP-2007-Hanus #declarative #programming #web: Putting declarative programming into the web: translating curry to javascript (MH), pp. 155–166.
ICFP-2005-Eich: JavaScript at ten years (BE), p. 129.
ECOOP-2005-AndersonGD #towards #type inference: Towards Type Inference for JavaScript (CA, PG, SD), pp. 428–452.
ESOP-2005-Thiemann #source code #towards #type system: Towards a Type System for Analyzing JavaScript Programs (PT), pp. 408–422.
ITiCSE-2003-Sojka03b #education #interactive #using: Interactive teaching materials in PDF using JavaScript (PS), p. 275.
HCI-CCAD-1999-KossekovaL #simulation: JavaScript programme for clinical case simulations (GK, DL), pp. 686–690.
ITiCSE-1998-WardS #multi #programming language #student: JavaScript as a first programming language for multimedia students (RW, MS), pp. 249–253.