BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
lightweight
Google lightweight

Tag #lightweight

325 papers:

POPLPOPL-2020-SongCKKKH #composition #named #verification
CompCertM: CompCert with C-assembly linking and lightweight modular verification (YS, MC, DK, YK, JK, CKH), p. 31.
ICPCICPC-2019-FucciGNQL #comprehension #replication #using
A replication study on code comprehension and expertise using lightweight biometric sensors (DF, DG, NN, LQ, FL), pp. 311–322.
SANERSANER-2019-MuscedereHAADG #analysis #detection #using
Detecting Feature-Interaction Symptoms in Automotive Software using Lightweight Analysis (BJM, RH, DA, JMA, IJD, MWG), pp. 175–185.
CIKMCIKM-2019-Pasca #approximate #detection #wiki
Approximate Definitional Constructs as Lightweight Evidence for Detecting Classes Among Wikipedia Articles (MP), pp. 2373–2376.
PLDIPLDI-2019-TonderG #combinator #multi #parsing #syntax
Lightweight multi-language syntax transformation with parser parser combinators (RvT, CLG), pp. 363–378.
CGOCGO-2019-KruppeOS0 #using
Extending LLVM for Lightweight SPMD Vectorization: Using SIMD and Vector Instructions Easily from Any Language (RK, JO, LS, AK0), pp. 278–279.
ECSAECSA-2018-BarbosaGMRM #distributed #framework #named #platform
Beethoven: An Event-Driven Lightweight Platform for Microservice Orchestration (DMB, RG, PHMM, LSR, NCM), pp. 191–199.
FMFM-2018-Laneve #analysis #concurrent #source code #thread
A Lightweight Deadlock Analysis for Programs with Threads and Reentrant Locks (CL), pp. 608–624.
ICMLICML-2018-0004K #finite #infinity #optimisation #probability
Lightweight Stochastic Optimization for Minimizing Finite Sums with Infinite Data (SZ0, JTYK), pp. 5927–5935.
ICPRICPR-2018-HuangWDSL #image #learning
Lightweight Deep Residue Learning for Joint Color Image Demosaicking and Denoising (TH, FW, WD, GS, XL0), pp. 127–132.
ICPRICPR-2018-ZhangZW #classification #named #network
LD-CNN: A Lightweight Dilated Convolutional Neural Network for Environmental Sound Classification (XZ, YZ, WW), pp. 373–378.
KDDKDD-2018-BachemL0 #clustering #scalability
Scalable k -Means Clustering via Lightweight Coresets (OB, ML, AK0), pp. 1119–1127.
ECOOPECOOP-2018-BellP #named #traversal
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs (JB0, LP), p. 31.
ASEASE-2018-OzdemirTEA #monitoring #source code
Lightweight source code monitoring with Triggr (AO, AT, HE, RA), pp. 864–867.
ICSE-2018-GarciaHM #android #detection #identification #obfuscation #product line
Lightweight, obfuscation-resilient detection and family identification of Android malware (JG, MH, SM), p. 497.
ICSE-2018-HempelLLC #editing #named #user interface
Deuce: a lightweight user interface for structured editing (BH, JL, GL, RC), pp. 654–664.
ASPLOSASPLOS-2018-0004MTC #named
Minnow: Lightweight Offload Engines for Worklist Management and Worklist-Directed Prefetching (DZ0, XM, MT, DC), pp. 593–607.
CASECASE-2018-ZhaoCCPLG #first-order #named
FLUIDS: A First-Order Lightweight Urban Intersection Driving Simulator (HZ, AC, SAC, BP, ML, KG), pp. 697–704.
CGOCGO-2018-RoySKL #detection
Lightweight detection of cache conflicts (PR, SLS, SK, XL0), pp. 200–213.
ICPCICPC-2017-MilojkovicGN #type inference
Exploiting type hints in method argument names to improve lightweight type inference (NM, MG, ON), pp. 77–87.
SANERSANER-2017-PalombaNPZL #detection #smell
Lightweight detection of Android-specific code smells: The aDoctor project (FP, DDN, AP, AZ, ADL), pp. 487–491.
HaskellHaskell-2017-AlgehedCJS #named
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) (MA, KC, MJ, NS), pp. 38–39.
PEPMPEPM-2017-SerranoH
Lightweight soundness for towers of language extensions (AS0, JH), pp. 23–34.
PLDIPLDI-2017-ChamithSDN
Instruction punning: lightweight instrumentation for x86-64 (BC, BJS, LD, RRN), pp. 320–332.
ICSE-2017-BusariL #analysis #architecture #named #requirements
RADAR: a lightweight tool for requirements and architecture decision analysis (SAB, EL), pp. 552–562.
ASPLOSASPLOS-2017-KimKKKKNOCL #architecture
Typed Architectures: Architectural Support for Lightweight Scripting (CK, JK, SK, DYK, NK, GN, YHO, HGC, JWL), pp. 77–90.
ASPLOSASPLOS-2017-MisraCGL #precise #transaction
Enabling Lightweight Transactions with Precision Time (PAM, JSC, JG, ARL), pp. 779–794.
CASECASE-2017-KooFGPRB #configuration management
Robolink feeder: Reconfigurable bin-picking and feeding with a lightweight cable-driven manipulator (SK, GF, GMG, DP, MR, SB), pp. 41–48.
CCCC-2017-BiswasCZBW #concurrent #detection
Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.
CAVCAV-2017-WindsorDSP #concurrent #named #verification
Starling: Lightweight Concurrency Verification with Views (MW, MD, BS, MJP), pp. 544–569.
DiGRADiGRA-FDG-2016-RyanMW #game studies
A Lightweight Videogame Dialogue Manager (JOR, MM, NWF).
ICPRICPR-2016-ZhuWLZ #gender #learning #network #recognition
Learning a lightweight deep convolutional network for joint age and gender recognition (LZ, KW, LL, LZ0), pp. 3282–3287.
KDDKDD-2016-LazersonKS #distributed #monitoring
Lightweight Monitoring of Distributed Streams (AL, DK, AS), pp. 1685–1694.
ECOOPECOOP-2016-ScalasY #programming #scala
Lightweight Session Programming in Scala (AS, NY), p. 28.
OnwardOnward-2016-MarterBLH #identifier #programming #readability #similarity #source code #using
Lightweight programming experiments without programmers and programs: an example study on the effect of similarity and number of object identifiers on the readability of source code using natural texts (TM, PB, PL, SH), pp. 1–14.
OOPSLAOOPSLA-2016-HallerL #named #scala
LaCasa: lightweight affinity and object capabilities in Scala (PH, AL), pp. 272–291.
PLDIPLDI-2016-FaddegonC #functional #lazy evaluation
Lightweight computation tree tracing for lazy functional languages (MF, OC), pp. 114–128.
POPLPOPL-2016-KangKHDV #compilation #verification
Lightweight verification of separate compilation (JK, YK, CKH, DD, VV), pp. 178–190.
ASEASE-2016-KowarkMUP #repository
Lightweight collection and storage of software repository data with DataRover (TK, CM, MU, HP), pp. 810–815.
FSEFSE-2016-HaoK0J #design #effectiveness #formal method
Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
FSEFSE-2016-MacedoBCCK #analysis #specification
Lightweight specification and analysis of dynamic systems with rich configurations (NM, JB, DC, AC, DK), pp. 373–383.
GPCEGPCE-2016-Rompf #composition #exclamation #staging
Lightweight modular staging (LMS): generate all the things! (TR), p. 1.
SLESLE-2016-Findler #named #semantics
Redex: a language for lightweight semantics engineering (RBF), p. 1.
ASPLOSASPLOS-2016-ChangKH #kernel #named #programming
DySel: Lightweight Dynamic Selection for Kernel-based Data-parallel Programming Model (LWC, HSK, WmWH), pp. 667–680.
ASPLOSASPLOS-2016-KwonKSKSZX #execution #named
LDX: Causality Inference by Lightweight Dual Execution (YK, DK, WNS, KK, BS, XZ0, DX), pp. 503–515.
CGOCGO-2016-HawkinsDT #monitoring #named #off the shelf #security
BlackBox: lightweight security monitoring for COTS binaries (BH, BD, MBT), pp. 261–272.
CGOCGO-2016-RoyL #named #profiling
StructSlim: a lightweight profiler to guide structure splitting (PR, XL0), pp. 36–46.
TAPTAP-2016-GabmeyerS #graph transformation #hardware #model checking #off the shelf #verification
Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers (SG, MS), pp. 94–111.
ICPCICPC-2015-PavlovicRRR #named
Limpio: LIghtweight MPI instrumentatiOn (MP, MR, AR, PR), pp. 303–306.
AIIDEAIIDE-2015-ManavalanBS #algorithm #behaviour #generative
A Lightweight Algorithm for Procedural Generation of Emotionally Affected Behavior and Appearance (YBM, VB, MS), pp. 142–148.
CHICHI-2015-CordeiroBCF #mobile
Rethinking the Mobile Food Journal: Exploring Opportunities for Lightweight Photo-Based Capture (FC, EB, EC, JF), pp. 3207–3216.
CHICHI-2015-WillettJID #interactive
Lightweight Relief Shearing for Enhanced Terrain Perception on Interactive Maps (WW, BJ, TI, PD), pp. 3563–3572.
CSCWCSCW-2015-CiampagliaT #named #wiki
MoodBar: Increasing New User Retention in Wikipedia through Lightweight Socialization (GLC, DT), pp. 734–742.
CSCWCSCW-2015-GallacherOBRCHM #interactive
Mood Squeezer: Lightening up the Workplace through Playful and Lightweight Interactions (SG, JO, JB, YR, LC, DH, PM), pp. 891–902.
CSCWCSCW-2015-JohnsonGM #artificial reality #collaboration
Handheld or Handsfree?: Remote Collaboration via Lightweight Head-Mounted Displays and Handheld Devices (SJ, MG, BM), pp. 1825–1836.
CIKMCIKM-2015-LuCN #bias #named #social #social media #topic
BiasWatch: A Lightweight System for Discovering and Tracking Topic-Sensitive Opinion Bias in Social Media (HL, JC, WN), pp. 213–222.
ECMFAECMFA-J-2012-ButtnerC15 #reasoning #string
Lightweight string reasoning in model finding (FB, JC), pp. 413–427.
ECMFAECMFA-2015-BruneliereGDKHB #metamodelling #modelling #on the #tool support
On Lightweight Metamodel Extension to Support Modeling Tools Agility (HB, JG, PD, DEK, RH, RB, JC), pp. 62–74.
ECOOPECOOP-2015-SchwerhoffS #automation #verification
Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.
OOPSLAOOPSLA-2015-HuAN #android
Versatile yet lightweight record-and-replay for Android (YH, TA, IN), pp. 349–366.
PLATEAUPLATEAU-2015-KristenssonL #using #visualisation
Aiding programmers using lightweight integrated code visualization (POK, CLL), pp. 17–24.
PLDIPLDI-2015-ZhangLSLM #flexibility #object-oriented
Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.
ICSEICSE-v1-2015-FilieriGL #adaptation #learning #modelling #performance #probability
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models (AF, LG, AL), pp. 200–211.
ICSEICSE-v2-2015-GligoricEM #named #testing
Ekstazi: Lightweight Test Selection (MG, LE, DM), pp. 713–716.
GPCEGPCE-2015-SelgradLKSL #generative
Lightweight, generative variant exploration for high-performance graphics Applications (KS, AL, FK, MS, DL), pp. 141–150.
ASPLOSASPLOS-2015-HicksSKS #debugging #named #runtime #specification
SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs (MH, CS, STK, JMS), pp. 517–529.
DACDAC-2015-BeaulieuSSTWW
The SIMON and SPECK lightweight block ciphers (RB, DS, JS, STC, BW, LW), p. 6.
DATEDATE-2015-MundhenkSLFC #authentication #network
Lightweight authentication for secure automotive networks (PM, SS, ML, SAF, SC), pp. 285–288.
HPDCHPDC-2015-BerrocalBDLC #data analysis #detection #runtime
Lightweight Silent Data Corruption Detection Based on Runtime Data Analysis for HPC Applications (EB, LABG, SD, ZL, FC), pp. 275–278.
HPDCHPDC-2015-OuyangKLP #kernel #performance
Achieving Performance Isolation with Lightweight Co-Kernels (JO, BK, JRL, KTP), pp. 149–160.
LCTESLCTES-2015-LiuJLT #compilation #fault #named
Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.
PDPPDP-2015-QuaratiCPPB
Lightweight ICT Approaches to Hydro-Meteorological Data Issues (AQ, AC, GP, AP, TB), pp. 759–763.
SOSPSOSP-2015-MatveevSFM #concurrent #named #programming
Read-log-update: a lightweight synchronization mechanism for concurrent programming (AM, NS, PF, PM), pp. 168–183.
ICSTICST-2015-XuLCK #approach #bound #detection #thread
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops (JX, YL, RHC, DCK), pp. 1–10.
QoSAQoSA-2014-RaatikainenSM #approach #architecture #case study #evaluation #experience #maturity
Architecture management and evaluation in mature products: experiences from a lightweight approach (MR, JS, TM), pp. 73–82.
JCDLJCDL-2014-CastroSR #data transformation #dataset #ontology #research #workflow
Creating lightweight ontologies for dataset description practical applications in a cross-domain research data management workflow (JAC, JRdS, CR), pp. 313–316.
VLDBVLDB-2014-WangMO
Lightweight Indexing of Observational Data in Log-Structured Storage (SW, DM, BCO), pp. 529–540.
SANERCSMR-WCRE-2014-Bos #reverse engineering #runtime
Lightweight runtime reverse engineering of binary file format variants (JvdB), pp. 367–370.
SEFMSEFM-2014-ArmstrongGS #higher-order #tool support #verification
Lightweight Program Construction and Verification Tools in Isabelle/HOL (AA, VBFG, GS), pp. 5–19.
FLOPSFLOPS-2014-YallopW #morphism #polymorphism
Lightweight Higher-Kinded Polymorphism (JY, LW), pp. 119–135.
CHICHI-2014-Al-AkkadRBRZ #ad hoc #design #evaluation #smarttech
Help beacons: design and evaluation of an ad-hoc lightweight s.o.s. system for smartphones (AAA, LR, AB, DWR, AZ), pp. 1485–1494.
VISSOFTVISSOFT-2014-ToprakWS #assembly #control flow #regular expression #visualisation
Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.
KRKR-2014-Gutierrez-BasultoJ0 #branch #logic
Lightweight Description Logics and Branching Time: A Troublesome Marriage (VGB, JCJ, TS).
KRKR-2014-KonevLOW #learning #logic #ontology
Exact Learning of Lightweight Description Logic Ontologies (BK, CL, AO, FW).
SEKESEKE-2014-GayedLB #case study #forensics #ontology #process #using
Creating Proprietary Terms Using Lightweight Ontology: A Case Study on Acquisition Phase in a Cyber Forensic Process (TFG, HL, MB), pp. 76–81.
SEKESEKE-2014-OdzalyGS #agile #risk management
Lightweight Risk Management in Agile Projects (EEO, DG, DS), pp. 576–581.
PLDIPLDI-2014-TorlakB #virtual machine
A lightweight symbolic virtual machine for solver-aided host languages (ET, RB), p. 54.
RERE-2014-DanielrappANPEM #requirements
Lightweight requirements engineering assessments in software projects (DD, AA, NN, PP, EE, MM), pp. 354–363.
ASEASE-2014-HillsKV #php
Static, lightweight includes resolution for PHP (MH, PK, JJV), pp. 503–514.
ASEASE-2014-HollingPG #generative #named #testing
8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
FSEFSE-2014-Cleland-HuangRM #traceability
Achieving lightweight trustworthy traceability (JCH, MR, PM), pp. 849–852.
FSEFSE-2014-ZhangWLQRZ #concurrent #debugging #named
AI: a lightweight system for tolerating concurrency bugs (MZ, YW, SL, SQ, JR, WZ), pp. 330–340.
SACSAC-2014-BarbosaBAC #privacy
Lightweight privacy for smart metering data by adding noise (PB, AB, HA, SC), pp. 531–538.
CASECASE-2014-HsiehL
A lightweight gravity-balanced exoskeleton for home rehabilitation of upper limbs (HCH, CCL), pp. 972–977.
DATEDATE-2014-MaurichG #configuration management #encryption
Lightweight code-based cryptography: QC-MDPC McEliece encryption on reconfigurable devices (IvM, TG), pp. 1–6.
LCTESLCTES-2014-KimBL #concurrent #garbage collection #javascript
Lightweight and block-level concurrent sweeping for javascript garbage collection (HK, SB, JL), pp. 155–164.
PPoPPPPoPP-2014-DieguesR #memory management #named #transaction
Time-warp: lightweight abort minimization in transactional memory (NLD, PR), pp. 167–178.
ISSTAISSTA-2014-ZhangC #automation #detection #exception #information management
Lightweight automated detection of unsafe information leakage via exceptions (BZ, JC), pp. 327–338.
TAPTAP-2014-KahkonenH #automation #parallel #source code #testing #thread
Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
ECSAECSA-2013-SilvaMCB #architecture #product line
A Lightweight Language for Software Product Lines Architecture Description (ES, ALM, EC, TVB), pp. 114–121.
SIGMODSIGMOD-2013-PapadopoulosCDG #algebra #authentication #data type #linear #query
Lightweight authentication of linear algebraic queries on data streams (SP, GC, AD, MNG), pp. 881–892.
VLDBVLDB-2013-ZhangWYMC #integration #peer-to-peer #privacy
Lightweight Privacy-Preserving Peer-to-Peer Data Integration (YZ, WKW, SMY, NM, DWC), pp. 157–168.
ICPCICPC-2013-MurakamiHHIK #analysis #clone detection #detection #source code
Gapped code clone detection with lightweight source code analysis (HM, KH, YH, HI, SK), pp. 93–102.
VISSOFTVISSOFT-2013-Wehrwein #matrix #reverse engineering #using #visualisation
Lightweight software reverse engineering using augmented matrix visualizations (BW), pp. 1–4.
KEODKEOD-2013-LinnenbergMCSF #automation #energy #evaluation #named #ontology #performance
OntoENERGY — A Lightweight Ontology for Supporting Energy-efficiency Tasks — Enabling Generic Evaluation of Energy Efficiency in the Engineering Phase of Automated Manufacturing Plants (TL, AWM, LC, CS, AF), pp. 337–344.
KEODKEOD-2013-WaldsteinWH #ontology #parametricity
Lightweight Ontologies in Context — Relationship between Ontology Characteristics and Context Parameters (IW, ROW, NH), pp. 308–315.
MLDMMLDM-2013-HuangC #image #segmentation #web
Applying a Lightweight Iterative Merging Chinese Segmentation in Web Image Annotation (CMH, YJC), pp. 183–194.
MLDMMLDM-2013-LiuLM #approach #combinator #multi
A Lightweight Combinatorial Approach for Inferring the Ground Truth from Multiple Annotators (XL, LL, NDM), pp. 616–628.
ASEASE-2013-AroraZRYJ #named
iProbe: A lightweight user-level dynamic instrumentation tool (NA, HZ, JR, KY, GJ), pp. 742–745.
ASEASE-2013-OhmannL #analysis #control flow #debugging
Lightweight control-flow instrumentation and postmortem analysis in support of debugging (PO, BL), pp. 378–388.
ESEC-FSEESEC-FSE-2013-KimMKBSBd #combinator #configuration management #dynamic analysis #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ICSEICSE-2013-BellSK #named
Chronicler: lightweight recording to reproduce field failures (JB, NS, GEK), pp. 362–371.
SACSAC-2013-RieckerBH #detection #energy #network
Lightweight energy consumption based intrusion detection system for wireless sensor networks (MR, SB, MH), pp. 1784–1791.
CGOCGO-2013-TanFG #detection #fault #source code
Lightweight fault detection in parallelized programs (LT, MF, RG), p. 11.
DATEDATE-2013-OjailDLG #embedded #framework #manycore #named
ARTM: a lightweight fork-join framework for many-core embedded systems (MO, RD, YL, AG), pp. 1510–1515.
HPCAHPCA-2013-AnsariFGTM #named
Illusionist: Transforming lightweight cores into aggressive cores on demand (AA, SF, SG, JT, SAM), pp. 436–447.
HPCAHPCA-2013-SudanBLXMLB #architecture #novel #using #web
A novel system architecture for web scale applications using lightweight CPUs and virtualized I/O (KS, SB, SL, MX, DM, GL, RB), pp. 167–178.
PPoPPPPoPP-2013-ShunB #framework #graph #memory management #named
Ligra: a lightweight graph processing framework for shared memory (JS, GEB), pp. 135–146.
SOSPSOSP-2013-NguyenLP #framework #graph
A lightweight infrastructure for graph analytics (DN, AL, KP), pp. 456–471.
VMCAIVMCAI-2013-ZhuJ #composition #dependent type #ml #type inference
Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.
WICSA-ECSAWICSA-ECSA-2012-KoziolekDGVW #architecture #named
MORPHOSIS: A Lightweight Method Facilitating Sustainable Software Architectures (HK, DD, TG, PV, RJW), pp. 253–257.
VLDBVLDB-2013-RenTA12 #database #in memory #memory management
Lightweight Locking for Main Memory Database Systems (KR, AT, DJA), pp. 145–156.
ICPCICPC-2012-IshioEI #data flow #interprocedural #source code #visualisation
A lightweight visualization of interprocedural data-flow paths for source code reading (TI, SE, KI), pp. 37–46.
FMFM-2012-YangKK #formal method #using
Specification-Based Test Repair Using a Lightweight Formal Method (GY, SK, MK), pp. 455–470.
CHICHI-2012-TangMHRIZC #interactive #using #video
Time travel proxy: using lightweight video recordings to create asynchronous, interactive meetings (JCT, JM, AH, AR, KI, CZ, XC), pp. 3111–3120.
CHICHI-2012-ZhangYELBI
See me, see you: a lightweight method for discriminating user touches on tabletop displays (HZ, XDY, BE, HNL, PB, PI), pp. 2327–2336.
ICEISICEIS-v2-2012-KitanoST #community #framework #web
Lightweight Web Application Framework and Its Application — Helping Improve Community Bus Timetables after Japan Earthquake (YK, HS, AT), pp. 252–257.
ICPRICPR-2012-LeeLCY #random #representation #using
Lightweight Random Ferns using binary representation (SL, SWL, YNC, HSY), pp. 1342–1345.
SIGIRSIGIR-2012-RaveendranC #mining #summary
Lightweight contrastive summarization for news comment mining (GR, CLAC), pp. 1103–1104.
ECMFAECMFA-2012-ButtnerC #ocl #reasoning #string
Lightweight String Reasoning for OCL (FB, JC), pp. 244–258.
ECMFAECMFA-2012-KolovosRWMP #approach #documentation #xml
A Lightweight Approach for Managing XML Documents with MDE Languages (DSK, LMR, JRW, NDM, RFP), pp. 118–132.
TOOLSTOOLS-EUROPE-J-2011-LangerWWC12 #approach #emf #modelling
EMF Profiles: A Lightweight Extension Approach for EMF Models (PL, KW, MW, JC), pp. 1–29.
ECOOPECOOP-2012-RytzOH #polymorphism
Lightweight Polymorphic Effects (LR, MO, PH), pp. 258–282.
POPLPOPL-2012-KleinCDEFFMRTF #effectiveness #research
Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
RERE-2012-WuestSG #flexibility #modelling #requirements #sketching
Flexible, lightweight requirements modeling with Flexisketch (DW, NS, MG), pp. 323–324.
ICSEICSE-2012-Stolee #semantics #source code #specification
Finding suitable programs: Semantic search with incomplete and lightweight specifications (KTS), pp. 1571–1574.
SACSAC-2012-HuaS #kernel #memory management #named
Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation (JH, KS), pp. 1470–1477.
DATEDATE-2012-MarongiuBB #clustering #embedded #parallel #performance
Fast and lightweight support for nested parallelism on cluster-based embedded many-cores (AM, PB, LB), pp. 105–110.
LCTESLCTES-2012-SallenaveD #embedded #static analysis
Lightweight generics in embedded systems through static analysis (OS, RD), pp. 11–20.
PDPPDP-2012-PellegriniPF #c++ #interface
A Lightweight C++ Interface to MPI (SP, RP, TF), pp. 3–10.
ICLPICLP-J-2012-MoralesHCH #compilation #javascript
Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
ICSTICST-2012-SiddiquiMK #analysis #constraints #data flow #theorem proving
Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving (JHS, DM, SK), pp. 91–100.
ICTSSICTSS-2012-SantosA #automation #detection #fault #monitoring
Lightweight Automatic Error Detection by Monitoring Collar Variables (JS, RA), pp. 215–230.
WICSAWICSA-2011-GhezziG #analysis #architecture #as a service #named
SOFAS: A Lightweight Architecture for Software Analysis as a Service (GG, HCG), pp. 93–102.
SIGMODSIGMOD-2011-SenellartS #approximate #named #probability #query
ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.
TPDLTPDL-2011-PearsonBT #documentation
The Reading Desk: Supporting Lightweight Note-Taking in Digital Documents (JSP, GB, HWT), pp. 438–441.
VLDBVLDB-2011-DasNAA #database #migration #named #using
Albatross: Lightweight Elasticity in Shared Storage Databases for the Cloud using Live Data Migration (SD, SN, DA, AEA), pp. 494–505.
VLDBVLDB-2011-TzoumasDJ #estimation #independence #modelling #visual notation
Lightweight Graphical Models for Selectivity Estimation Without Independence Assumptions (KT, AD, CSJ), pp. 852–863.
ICPCICPC-2011-BettenburgAHS #approach #semistructured data
A Lightweight Approach to Uncover Technical Artifacts in Unstructured Data (NB, BA, AEH, MS), pp. 185–188.
SCAMSCAM-2011-CollardDM #fact extraction #semiparsing #tool support
Lightweight Transformation and Fact Extraction with the srcML Toolkit (MLC, MJD, JIM), pp. 173–184.
ICFPICFP-2011-SwamyGLH #ml #monad #programming
Lightweight monadic programming in ML (NS, NG, DL, MH), pp. 15–27.
CoGCIG-2011-PenaOPS #game studies #video
EEP - A lightweight emotional model: Application to RPG video game characters (LP, SO, JMPS, JÁS), pp. 142–149.
KEODKEOD-2011-AarnioSK #industrial #semantics
A Lightweight Element Matching Method for Industrial Terminology Harmonization — Exploiting Minimal Semantics based on Naming Conventions (PA, SS, KK), pp. 390–395.
SEKESEKE-2011-ParkK #approach #automation #formal method
Applying Lightweight Formal Approach to Automatic Configuration Inspection (SP, GK), pp. 107–110.
OnwardOnward-2011-Bierhoff #automation #reasoning #verification
Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning (KB), pp. 19–32.
OOPSLAOOPSLA-2011-SummersM #type system
Freedom before commitment: a lightweight type system for object initialisation (AJS, PM), pp. 1013–1032.
OOPSLAOOPSLA-2011-VerwaestBLN #flexibility
Flexible object layouts: enabling lightweight language extensions by intercepting slot access (TV, CB, ML, ON), pp. 959–972.
ASEASE-2011-OverbeyJ #analysis #difference #refactoring #reuse #tool support
Differential precondition checking: A lightweight, reusable analysis for refactoring tools (JLO, REJ), pp. 303–312.
ICSEICSE-2011-NearMKJ #analysis #dependence #evaluation
A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
ICSEICSE-2011-ShengVEHCZ #concurrent #detection #named
RACEZ: a lightweight and non-invasive race detection tool for production applications (TS, NV, SE, RH, WC, WZ), pp. 401–410.
ASPLOSASPLOS-2011-VolosTS #memory management #named #persistent
Mnemosyne: lightweight persistent memory (HV, AJT, MMS), pp. 91–104.
TAPTAP-2011-TroyaBLV #communication #network #testing
Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.
VMCAIVMCAI-2011-DonaldsonHK #static analysis
Strengthening Induction-Based Race Checking with Lightweight Static Analysis (AFD, LH, DK), pp. 169–183.
ECSAECSA-2010-ChristensenHL #architecture #assurance #quality #using
Lightweight and Continuous Architectural Software Quality Assurance Using the aSQA Technique (HBC, KMH, BL), pp. 118–132.
TPDLECDL-2010-AutayeuGA #classification #ontology #parsing
Lightweight Parsing of Classifications into Lightweight Ontologies (AA, FG, PA), pp. 327–339.
VLDBVLDB-2010-AbdessalemCD #named #query #web
ObjectRunner: Lightweight, Targeted Extraction and Querying of Structured Web Data (TA, BC, ND), pp. 1585–1588.
ICSMEICSM-2010-CollardMR #adaptation #approach #scalability
A lightweight transformational approach to support large scale adaptive changes (MLC, JIM, BPR), pp. 1–10.
GT-VMTGT-VMT-2010-HassanMS #automaton #interactive
A lightweight abstract machine for interaction nets (AH, IM, SS).
ICEISICEIS-J-2010-ClariziaGN10a #adaptation #automation #ontology #optimisation
An Adaptive Optimisation Method for Automatic Lightweight Ontology Extraction (FC, LG, PN), pp. 357–371.
KDIRKDIR-2010-Studer #modelling #process #semantics #using #web
Process-oriented Semantic Web Search — Using Lightweight Semantic Models for Supporting the Search Process (RS), p. 7.
RecSysRecSys-2010-BaglioniBBCFVP #mobile #privacy #recommendation
A lightweight privacy preserving SMS-based recommendation system for mobile users (EB, LB, LB, UMC, LF, AV, GP), pp. 191–198.
RERE-2010-Glinz #modelling #requirements
Very Lightweight Requirements Modeling (MG), pp. 385–386.
FSEFSE-2010-CossetteW #adaptation #analysis #dependence #named #sketching
DSketch: lightweight, adaptable dependency analysis (BC, RJW), pp. 297–306.
FSEFSE-2010-HuangLZ #concurrent #java #multi #named #source code
LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 207–216.
FSEFSE-2010-HuangLZ10a #concurrent #java #multi #named #source code
LEAP: lightweight deterministic multi-processor replay of concurrent java programs (JH, PL, CZ), pp. 385–386.
ICSEICSE-2010-TreudeS10a #category theory
Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories (CT, MADS), pp. 231–234.
SACSAC-2010-SatzgerBKU #network #self #towards
Towards lightweight self-configuration in wireless sensor networks (BS, FB, FK, TU), pp. 791–792.
SACSAC-2010-TangL #database #framework #testing
A lightweight framework for testing database applications (JT, EL), pp. 1632–1637.
GPCEGPCE-2010-RompfO #approach #code generation #composition #domain-specific language #runtime #staging
Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs (TR, MO), pp. 127–136.
CGOCGO-2010-LiAH #optimisation
Lightweight feedback-directed cross-module optimization (DXL, RA, RH), pp. 53–61.
FASEFASE-2010-LuoZZH #approach #concurrent
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible (QL, SZ, JZ, MH), pp. 323–337.
ISSTAISSTA-2010-GruskaWZ #detection #learning
Learning from 6, 000 projects: lightweight cross-project anomaly detection (NG, AW, AZ), pp. 119–130.
SIGMODSIGMOD-2009-KumarPCMS #health #mobile #named
ELMR: lightweight mobile health records (AK, AP, JC, AM, LS), pp. 1035–1038.
SCAMSCAM-2009-SpaccoW
Lightweight Techniques for Tracking Unique Program Statements (JS, CCW), pp. 99–108.
WCREWCRE-1999-BacchelliDLR99a #benchmark #metric #source code
Benchmarking Lightweight Techniques to Link E-Mails and Source Code (AB, MD, ML, RR), pp. 205–214.
FMFM-2009-ShaoKP #approach #bound #formal method #incremental #using
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
CHICHI-2009-KleekBPVKS
Note to self: examining personal information keeping in a lightweight note-taking tool (MVK, MSB, KP, GGV, DRK, MMCS), pp. 1477–1480.
CHICHI-2009-OleksikWTRKSMJ #process
Lightweight tagging expands information and activity management practices (GO, MLW, CST, EMR, GK, GS, NMF, RJ), pp. 279–288.
SEKESEKE-2009-AlvesPCL #approach #development #lifecycle #outsourcing
From Strategy to Solution: A Lightweight Semi-prescriptive Approach for Software Development Lifecycle with Outsourcing Support (NA, SP, AC, ELJ), pp. 672–675.
MODELSMoDELS-2009-ThumSS #collaboration #modelling #named
SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
MODELSMoDELS-2009-ThumSS #collaboration #modelling #named
SLIM — A Lightweight Environment for Synchronous Collaborative Modeling (CT, MS, MS), pp. 137–151.
PLDIPLDI-2009-AndersonGN #concurrent #data type
Lightweight annotations for controlling sharing in concurrent data structures (ZRA, DG, MN), pp. 98–109.
PLDIPLDI-2009-MarinoMN #concurrent #detection #effectiveness #named
LiteRace: effective sampling for lightweight data-race detection (DM, MM, SN), pp. 134–143.
ASEASE-2009-BurnimJSS #detection #infinity #named #runtime
Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
ESEC-FSEESEC-FSE-2009-BeltRD #analysis #optimisation #symbolic computation
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses (JB, R, XD), pp. 355–364.
GTTSEGTTSE-2009-Sloane #kiama
Lightweight Language Processing in Kiama (AMS), pp. 408–425.
ICSEICSE-2009-SantelicesJYH #multi #using
Lightweight fault-localization using multiple coverage types (RAS, JAJ, YY, MJH), pp. 56–66.
SACSAC-2009-HammadC #monitoring
Lightweight monitoring of sensor software (MH, JC), pp. 2180–2185.
SACSAC-2009-SilvaR #3d #navigation #visualisation
A lightweight 3D visualization and navigation system on handheld devices (WBS, MAFR), pp. 162–166.
HPCAHPCA-2009-StephensonZR #order
Lightweight predication support for out of order processors (MS, LZ, RR), pp. 201–212.
CADECADE-2009-SebastianiV #analysis #axiom #encoding #logic
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
WICSAWICSA-2008-DagtasNWH #architecture #mobile
An Integrated Lightweight Software Architecture for Mobile Business Applications (SD, YN, HW, LH), pp. 41–50.
HTHT-2008-HansenG #framework #social #web
Social web applications in the city: a lightweight infrastructure for urban computing (FAH, KG), pp. 175–180.
JCDLJCDL-2008-NicholsCBMT #metadata #quality
A lightweight metadata quality tool (DMN, CHC, DB, DM, MBT), pp. 385–388.
ITiCSEITiCSE-2008-TonderNC #development #named #programming
Jenuity: a lightweight development environment for intermediate level programming courses (MvT, KN, CC), pp. 58–62.
ICSMEICSM-2008-ZouL #design #development #evolution
Lightweight support for the evolution of software design and development artifacts (LZ, YL), pp. 474–475.
HaskellHaskell-2008-KiselyovS #monad
Lightweight monadic regions (OK, CcS), pp. 1–12.
IFLIFL-2008-TellerSV #fault #ml #performance #polymorphism #type safety
Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.
AIIDEAIIDE-2008-Horswill #animation #interactive #physics
Lightweight Procedural Animation with Believable Physical Interactions (IH).
SOFTVISSOFTVIS-2008-ParninGN #smell #visualisation
A catalogue of lightweight visualizations to support code smell inspection (CP, CG, ON), pp. 77–86.
CIKMCIKM-2008-StecherNN #integration
Wildcards for lightweight information integration in virtual desktops (RS, CN, WN), pp. 797–806.
KRKR-2008-Bienvenu #abduction #complexity #logic #product line
Complexity of Abduction in the EL Family of Lightweight Description Logics (MB), pp. 220–230.
MODELSMoDELS-2008-KelsenM #approach #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELSMoDELS-2008-KelsenM #approach #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
OOPSLAOOPSLA-2008-ShankarAB #dynamic analysis #named
Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.
POPLPOPL-2008-Danielsson #analysis #complexity #data type #functional
Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
GPCEGPCE-2008-KaminaT
Lightweight dependent classes (TK, TT), pp. 113–124.
OSDIOSDI-2008-BhatiaKFP #monitoring
Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems (SB, AK, MEF, LLP), pp. 103–116.
MBTMBT-2008-PonsG #approach #semantics #validation
A Lightweight Approach for the Semantic Validation of Model Refinements (CP, DG), pp. 43–61.
ECSAECSA-2007-SantosAB #web #web service
Lightweight Web Services for High Performace Computing (AS, FA, VBP), pp. 225–236.
WICSAWICSA-2007-Sangal #architecture #dependence #modelling
Lightweight Dependency Models to Manage Software Architecture (NS), p. 40.
MSRMSR-2007-Masticola #development #mining #repository #using
Lightweight Risk Mitigation for Software Development Projects Using Repository Mining (SPM), p. 13.
HaskellHaskell-2007-LiMJT #concurrent #haskell
Lightweight concurrency primitives for GHC (PL, SM, SLPJ, APT), pp. 107–118.
HaskellHaskell-2007-MarlowIPG #debugging #haskell #interactive
A lightweight interactive debugger for haskell (SM, JI, BJP, AG), pp. 13–24.
ICFPICFP-2007-SymeNM #pattern matching
Extensible pattern matching via a lightweight language extension (DS, GN, JM), pp. 29–40.
AIIDEAIIDE-2007-ElsonR
A Lightweight Intelligent Virtual Cinematography System for Machinima Production (DKE, MOR), pp. 8–13.
CIKMCIKM-2007-Pasca #repository
Lightweight web-based fact repositories for textual question answering (MP), pp. 87–96.
POPLPOPL-2007-OhoriS #fixpoint
Lightweight fusion by fixed point promotion (AO, IS), pp. 143–154.
RERE-2007-DelgadilloG #concept #named #requirements
Story-Wall: A Concept for Lightweight Requirements Management (LD, OG), pp. 377–378.
RERE-2007-SmithG #game studies #requirements #using
Using a Game to Introduce Lightweight Requirements Engineering (RS, OG), pp. 379–380.
ESEC-FSEESEC-FSE-2007-Hanna #implementation #named #network #protocol #security #verification
SLEDE: lightweight verification of sensor network security protocol implementations (YH), pp. 591–594.
SACSAC-2007-KawsarFN #using
A lightweight indoor location model for sentient artefacts using sentient artefacts (FK, KF, TN), pp. 1624–1631.
GPCEGPCE-2007-KaminaT #component #scalability
Lightweight scalable components (TK, TT), pp. 145–154.
CCCC-2007-CheremR #analysis #summary
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries (SC, RR), pp. 172–186.
DATEDATE-2007-VillanuevaVMBRL #middleware #network
Lightweight middleware for seamless HW-SW interoperability, with application to wireless sensor networks (FJV, DV, FM, JB, FR, JCL), pp. 1042–1047.
HPCAHPCA-2007-ClarkHYMF #hardware #using
Liquid SIMD: Abstracting SIMD Hardware using Lightweight Dynamic Mapping (NC, AH, SY, SAM, KF), pp. 216–227.
ESOPESOP-2007-BarthePR #bytecode #java #verification
A Certified Lightweight Non-interference Java Bytecode Verifier (GB, DP, TR), pp. 125–140.
CADECADE-2007-LutzW #logic
Conservative Extensions in the Lightweight Description Logic EL (CL, FW), pp. 84–99.
ICSTSAT-2007-PipatsrisawatD #component #satisfiability
A Lightweight Component Caching Scheme for Satisfiability Solvers (KP, AD), pp. 294–299.
CBSECBSE-2006-CervantesC #architecture #product line #using #workflow
Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture (HC, SCV), pp. 198–205.
VLDBVLDB-2006-BrunoC #design #physics
To Tune or not to Tune? A Lightweight Physical Design Alerter (NB, SC), pp. 499–510.
ITiCSEITiCSE-2006-CrossCH #ide #named
jGRASP: a lightweight IDE with dynamic object viewers for CS1 and CS2 (JHCI, TDH), p. 356.
ICPCICPC-2006-RooverMGGD #approach #behaviour #documentation #verification
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification (CDR, IM, KG, KG, TD), pp. 202–211.
MSRMSR-2006-WalkerHHKS #approach #estimation #impact analysis #probability
A lightweight approach to technical risk estimation via probabilistic impact analysis (RJW, RH, IH, PK, AS), pp. 98–104.
WCREWCRE-2006-FischerG #analysis #approach #named #scalability
EvoGraph: A Lightweight Approach to Evolutionary and Structural Analysis of Large Software Systems (MF, HG), pp. 179–188.
FMFM-2006-Stephan #formal method #plugin #security
Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline (WS), pp. 587–591.
AIIDEAIIDE-2006-Knight #network #simulation #using
Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks (RK), pp. 48–53.
CSCWCSCW-2006-FitzpatrickMP #chat #collaboration #cvs #integration
CVS integration with notification and chat: lightweight software team collaboration (GF, PM, AP), pp. 49–58.
CSCWCSCW-2006-LiL #approach #editing
A lightweight approach to transparent sharing of familiar single-user editors (DL, JL), pp. 139–148.
SOFTVISSOFTVIS-2006-ParninG #smell #visualisation
Lightweight visualizations for inspecting code smells (CP, CG), pp. 171–172.
SPLCSPLC-2006-Sangal #dependence #modelling #product line
Lightweight Dependency Models for Product Lines (NS), p. 228.
FSEFSE-2006-TaghdiriSJ #specification
Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.
CCCC-2006-YasugiHY #execution #stack
Lightweight Lexical Closures for Legitimate Execution Stack Access (MY, TH, TY), pp. 170–184.
OSDIOSDI-2006-YangSE #fault #named
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
PDPPDP-2006-CamineroCC #algorithm #multi #network
A New Lightweight CAC Algorithm for High-Performance Multimedia Networks (ACC, BC, CC), pp. 465–472.
IJCARIJCAR-2006-Pientka #approach #higher-order #unification
Eliminating Redundancy in Higher-Order Unification: A Lightweight Approach (BP), pp. 362–376.
VLDBVLDB-2005-MoroVT #query #xml
Tree-Pattern Queries on a Lightweight XML Processor (MMM, ZV, VJT), pp. 205–216.
CHICHI-2005-BirnholtzFHB #ad hoc #chat #distributed #scalability
Grounding needs: achieving common ground via lightweight chat in large, distributed, ad-hoc groups (JPB, TAF, DBH, SJB), pp. 21–30.
CAiSECAiSE-2005-Franch #modelling #on the #using
On the Lightweight Use of Goal-Oriented Models for Software Package Selection (XF), pp. 551–566.
ICEISICEIS-v4-2005-SannaVPM #communication #mobile #protocol
Lightweight Client-Pull Protocol for Mobile Communication (SS, EDV, AP, CM), pp. 227–231.
ECOOPECOOP-2005-DallmeierLZ #fault #java #locality
Lightweight Defect Localization for Java (VD, CL, AZ), pp. 528–550.
ESEC-FSEESEC-FSE-2005-BierhoffA #specification #type system
Lightweight object specification with typestates (KB, JA), pp. 217–226.
ESEC-FSEESEC-FSE-2005-PetterssonJ #approach #experience #industrial #product line #using #web
Industrial experience with building a web portal product line using a lightweight, reactive approach (UP, SJ), pp. 326–335.
GTTSEGTTSE-2005-KrahnR #generative #refactoring
Techniques for Lightweight Generator Refactoring (HK, BR), pp. 437–446.
SACSAC-2005-PiccoBC #named #tuple
LighTS: a lightweight, customizable tuple space supporting context-aware applications (GPP, DB, PC), pp. 413–419.
DATEDATE-2005-NaculG #compilation #embedded #multi #using
Lightweight Multitasking Support for Embedded Systems using the Phantom Serializing Compiler (ACN, TG), pp. 742–747.
DATEDATE-2005-Takeuchi #debugging #monitoring #using #virtual machine
OS Debugging Method Using a Lightweight Virtual Machine Monitor (TT), pp. 1058–1059.
DocEngDocEng-2004-NnadiB #documentation #integration
Lightweight integration of documents and services (NN, MB), pp. 51–53.
HTHT-2004-BerleantMABDDEGL #approach #documentation
Head-tail display: a lightweight approach to query-dependent document display (DB, JM, MA, JB, RD, TD, LE, CG, KHL), pp. 22–23.
VLDBVLDB-2004-SkogsrudBCD #named #trust
Trust-Serv: A Lightweight Trust Negotiation Service (HS, BB, FC, MQD), pp. 1329–1332.
CHICHI-2004-CountsF #social
Supporting social presence through lightweight photo sharing on and off the desktop (SC, EF), pp. 599–606.
SACSAC-2004-FoulirasXTM #multi #named #performance #protocol #video
LEMP: Lightweight Efficient Multicast Protocol for video on demand (PEF, SX, NT, AM), pp. 1226–1231.
OSDIOSDI-2004-DunaganHJKTW #distributed #named
FUSE: Lightweight Guaranteed Distributed Failure Notification (JD, NJAH, MBJ, DK, MT, AW), pp. 151–166.
JCDLJCDL-2003-AndersonAWB #flexibility #library #named #workflow
Metis: Lightweight, Flexible, and Web-Based Workflow Services for Digital Libraries (KMA, AA, NW, LMB), p. 98–?.
IWPCIWPC-2003-CollardKM #c++ #xml
An XML-Based Lightweight C++ Fact Extractor (MLC, HHK, JIM), pp. 134–143.
WCREWCRE-2003-Latendresse #generative #named #regular expression #robust #semiparsing
RegReg: a Lightweight Generator of Robust Parsers for Irregular Languages (ML), pp. 206–215.
VISSOFTVISSOFT-2003-Lanza #visualisation
CodeCrawler – A Lightweight Software Visualization Tool (ML), pp. 54–55.
SEKESEKE-2003-OwenM #model checking #named
Lurch: a Lightweight Alternative to Model Checking (DO, TM), pp. 158–165.
ECOOPECOOP-2003-MitchellS #automation #java #memory management #named #scalability
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications (NM, GS), pp. 351–377.
OOPSLAOOPSLA-2003-HarrisF #transaction
Language support for lightweight transactions (TLH, KF), pp. 388–402.
OOPSLAOOPSLA-2003-ZhaoPV #java
Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.
SACSAC-2003-SterckMPR #framework #java
A Lightweight Java Taskspaces Framework for Scientific Computing on Computational Grids (HDS, RSM, TP, UR), pp. 1024–1030.
DATEDATE-2003-BlodgetML #approach #configuration management #embedded
A Lightweight Approach for Embedded Reconfiguration of FPGAs (BB, SM, PL), pp. 10399–10401.
DATEDATE-2003-PetrotG #api #implementation #multi #thread
Lightweight Implementation of the POSIX Threads API for an On-Chip MIPS Multiprocessor with VCI Interconnect (FP, PG), pp. 20051–20056.
VLDBVLDB-2002-DaynesC #flexibility
Lightweight Flexible Isolation for Language-based Extensible Systems (LD, GC), pp. 718–729.
IWPCIWPC-2002-Moonen #impact analysis #semiparsing #using
Lightweight Impact Analysis using Island Grammars (LM), pp. 219–228.
IWPCIWPC-2002-TakadaOI #information management #slicing #using
Dependence-Cache Slicing: A Program Slicing Method Using Lightweight Dynamic Information (TT, FO, KI), pp. 169–177.
EDOCEDOC-2002-WangR #architecture #corba #performance
An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA (GW, RR), pp. 249–257.
SEKESEKE-2002-GergicKDSPAP #approach #deployment #web #web service
An Approach to lightweight deployment of web services (JG, JK, YD, JS, GP, AA, LP), pp. 635–640.
RERE-2002-WooR #approach #automation #relational #reuse #specification #using
Reuse of Scenario Specifications Using an Automated Relational Learner: A Lightweight Approach (HGW, WNR), pp. 173–180.
ICSEICSE-2002-OsterweilKFS #process #question
Lightweight vs. heavyweight processes: is this even the right question? (LJO, PK, MF, WS), p. 649.
HPDCHPDC-2002-SunderamK #framework #self
Lightweight Self-Organizing Frameworks for Metacomputing (VSS, DK), p. 113–?.
FMFME-2001-Jackson #formal method
Lightweight Formal Methods (DJ), p. 1.
VLDBVLDB-2000-PardonA #data transformation #internet #named #transaction
CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management (GP, GA), pp. 210–219.
ICFPICFP-2000-ClaessenH #haskell #named #quickcheck #random testing #source code #testing
QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
ICMLICML-2000-WeissI #induction
Lightweight Rule Induction (SMW, NI), pp. 1135–1142.
GPCESAIG-2000-KaminCC #component #generative
Lightweight and Generative Components 2: Binary-Level Components (SNK, MC, LC), pp. 28–50.
REICRE-2000-GervasiN #case study #natural language #requirements #validation
Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.
REICRE-2000-Glinz #approach #consistency #modelling
A Lightweight Approach to Consistency of Scenarios and Class Models (MG), p. 49–?.
SACSAC-2000-ParkY #distributed #memory management
A Lightweight Casual Logging Scheme for Recoverable Distributed Shared Memory (TP, HYY), pp. 661–666.
SACSAC-2000-SchimkatMK #message passing
A Lightweight, Message-Oriented Application Server for the WWW (RDS, SM, WK), pp. 934–941.
FASEFASE-2000-ReggioACH #approach #formal method #state machine #uml
Analysing UML Active Classes and Associated State Machines — A Lightweight Formal Approach (GR, EA, CC, HH), pp. 127–146.
GPCEGCSE-1999-KaminCC #component #generative
Lightweight and Generative Components I: Source-Level Components (SNK, MC, LC), pp. 49–64.
ICSEICSE-1999-JacksonW #bytecode #modelling
Lightweight Extraction of Object Models from Bytecode (DJ, AW), pp. 194–202.
HPCAHPCA-1999-TanakaMH #distributed #hardware #memory management
Lightweight Hardware Distributed Shared Memory Supported by Generalized Combining (KT, TM, KH), pp. 90–99.
ICLPICLP-1999-AppelF #prolog
Lightweight Lemmas in λ-Prolog (AWA, APF), pp. 411–425.
PASTEPASTE-1998-JefferyZTB #architecture #execution #monitoring
A Lightweight Architecture for Program Execution Monitoring (CLJ, WZ, KT, MB), pp. 67–74.
FMFM-1998-AgerholmL #approach #formal method
A Lightweight Approach to Formal Methods (SA, PGL), pp. 168–183.
FMFM-1998-AgerholmL98a #formal method #tool support
The IFAD VDM Tools: Lightweight Formal Methods (SA, PGL), pp. 326–329.
OOPSLAOOPSLA-1998-HarrisS #distributed #internet #object-oriented
Lightweight Object-Oriented Shared Variables for Distributed Applications on the Internet (JH, VS), pp. 296–309.
AdaSIGAda-1998-FleenerMS #reuse
A Reusable Lightweight Executive for Command and Control Systems (NF, LM, MS), pp. 81–88.
HCIHCI-SEC-1997-NakajimaAF #interactive #symmetry
Transformation of Human-to-Human Interaction into Asymmetric and Lightweight Computer-Mediated Interaction (AN, FA, YF), pp. 307–310.
OOPSLAOOPSLA-1997-Haines #analysis #design #implementation #thread
An Open Implementation Analysis and Design for Lightweight Threads (MH), pp. 229–242.
PDPPDP-1997-Errico #mobile #named #parallel #process #using
Swarm: Parallel computing using lightweight mobile processes (LdE), pp. 84–92.
SIGMODSIGMOD-1996-QuassWGHLMNRRAUW #named #repository #semistructured data
LORE: A Lightweight Object REpository for Semistructured Data (DQ, JW, RG, KH, QL, JM, SN, AR, HR, SA, JDU, JLW), p. 549.
PPDPPLILP-1995-VullinghsTS #functional #programming #user interface
Lightweight GUIs for Functional Programming (TV, DT, WS), pp. 341–356.
FSEFSE-1995-MurphyN
Lightweight Source Model Extraction (GCM, DN), pp. 116–127.
CSCWCSCW-1994-TangIR #distributed #interactive
Supporting Distributed Groups with a Montage of Lightweight Interactions (JCT, EI, MR), pp. 23–34.
AdaEuropeAdaEurope-1994-NunezP #constraints #development #process
Development of a Lightweight Object-Based Software Process Model Under Pragmatic Constraints (FJN, RP), pp. 231–257.
PEPMPEPM-1994-LeoneL #code generation #runtime
Lightweight Run-Time Code Generation (ML, PL), pp. 97–106.
POPLPOPL-1994-WandS
Selective and Lightweight Closure Conversion (MW, PS), pp. 435–445.
SOSPSOSP-1993-SatyanarayananMKSK #memory management
Lightweight Recoverable Virtual Memory (MS, HHM, PK, DCS, JJK), pp. 146–160.
OOPSLAOOPSLA-1992-ChaseLLB #operating system
Lightweight Shared Objects in a 64-Bit Operating System (JSC, HML, EDL, MBH), pp. 397–413.
HPDCHPDC-1992-SchmidtBS #adaptation #architecture #flexibility #multi #named #network #performance #protocol
ADAPTIVE: A Flexible and Adaptive Transport System Architecture to Support Lightweight Protocols for Multimedia Applications on High-Speed Networks (DCS, DFB, TS), pp. 174–186.
SOSPSOSP-1989-BershadALL
Lightweight Remote Procedure Call (BNB, TEA, EDL, HML), pp. 102–113.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.