Tag #low level
89 papers:
POPL-2020-SammlerGDL - The high-level benefits of low-level sandboxing (MS, DG0, DD, TL), p. 32.
CIKM-2019-YaoHGH #network- Regularizing Deep Neural Networks by Ensemble-based Low-Level Sample-Variances Method (SY, YH, LG, ZH), pp. 1111–1120.
ICPR-2018-YangHPFZ #estimation- Incorporating high-level and low-level cues for pain intensity estimation (RY, XH, JP, XF, GZ), pp. 3495–3500.
OOPSLA-2018-LeeHJLRL #optimisation- Reconciling high-level optimizations and low-level code in LLVM (JL, CKH, RJ0, ZL, JR, NPL), p. 28.
- ICFP-2017-ProtzenkoZRRWBD #embedded #programming
- Verified low-level programming embedded in F (JP, JKZ, AR, TR, PW, SZB, ADL, CH, KB, CF, NS), p. 29.
ASE-2016-OgnawalaOPL #analysis #composition #execution #named #symbolic computation- MACKE: compositional analysis of low-level vulnerabilities with symbolic execution (SO, MO, AP, TL), pp. 780–785.
VMCAI-2016-DudkaHPTV #pointer- From Low-Level Pointers to High-Level Containers (KD, LH, PP, MT, TV), pp. 431–452.
HT-2015-ApaolazaHJ #analysis #behaviour #interactive #web- Longitudinal Analysis of Low-Level Web Interaction through Micro Behaviours (AA, SH, CJ), pp. 337–340.
SAS-2015-AldousM #static analysis- Static Analysis of Non-interference in Expressive Low-Level Languages (PA, MM), pp. 1–17.
DATE-2015-KroeningLMST #bytecode #effectiveness #verification- Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.
TACAS-2015-DjoudiB #analysis #named- BINSEC: Binary Code Analysis with Low-Level Regions (AD, SB), pp. 212–217.
IFL-2014-Christiansen #syntax- Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection (DRC), p. 1.
CAiSE-2014-FolinoGP #mining #modelling #multi #predict #process- Mining Predictive Process Models out of Low-level Multidimensional Logs (FF, MG, LP), pp. 533–547.
ECOOP-2014-OkurED #abstraction #parallel- Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions (SO, CE, DD), pp. 515–540.
PPDP-2014-Schopp #source code #using- Organising Low-Level Programs using Higher Types (US), pp. 199–210.
SAC-2014-PatrignaniC #semantics- Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
ASPLOS-2014-WoodCG #detection- Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
FDG-2013-Barik #behaviour #game studies #interactive- Inferring cognitive behaviors from low-level user interactions in games (TB), pp. 459–461.
KDIR-KMIS-2013-MelnichenkoB #automation #image #random- Automatic Image Annotation with Low-level Features and Conditional Random Fields (AM, AB), pp. 197–201.
- POPL-2013-JensenBK #logic
- High-level separation logic for low-level code (JBJ, NB, AK), pp. 301–314.
- SAS-2013-DudkaPV #verification
- Byte-Precise Verification of Low-Level List Manipulation (KD, PP, TV), pp. 215–237.
- TACAS-2013-DudkaMPV #contest #named #verification
- Predator: A Tool for Verification of Low-Level List Manipulation — (Competition Contribution) (KD, PM, PP, TV), pp. 627–629.
- ICPR-2012-TabernikKBL #learning #statistics #visual notation
- Learning statistically relevant edge structure improves low-level visual descriptors (DT, MK, MB, AL), pp. 1471–1474.
KEOD-2012-AlirezaieL #classification #ontology- Ontology Alignment for Classification of Low Level Sensor Data (MA, AL), pp. 89–97.
- SAC-2012-Affeldt #library #on the
- On construction of a library of formally verified low-level arithmetic functions (RA), pp. 1326–1331.
PLATEAU-2011-YoonM #editing- Capturing and analyzing low-level events from the code editor (YY, BAM), pp. 25–30.
PLDI-2011-Chlipala #logic #source code #verification- Mostly-automated verification of low-level programs in computational separation logic (AC), pp. 234–245.
- POPL-2011-RamseyD #composition #dependent type #independence #type system #using
- Resourceable, retargetable, modular instruction selection using a machine-independent, type-based tiling of low-level intermediate code (NR, JD), pp. 575–586.
ICPC-2010-Berman #architecture #comprehension- Sound as an Aid in Understanding Low-Level Program Architecture (LB), pp. 58–59.
- ICPC-2010-BeyerF #dependence #detection #named
- DepDigger: A Tool for Detecting Complex Low-Level Dependencies (DB, AF), pp. 40–41.
- ICPC-2010-BeyerF10b #dependence #effectiveness
- A Simple and Effective Measure for Complex Low-Level Dependencies (DB, AF), pp. 80–83.
ILC-2010-YuasaY #using #validation- Validating low-level instructions for fixnums using BDDs (SY, MY), pp. 11–20.
AIIDE-2010-Gold #game studies #online #recognition- Training Goal Recognition Online from Low-Level Inputs in an Action-Adventure Game (KG).
- ICPR-2010-AkbasA #classification #image #segmentation
- Low-Level Image Segmentation Based Scene Classification (EA, NA), pp. 3623–3626.
- ICPR-2010-HanCR #categorisation #image
- Image Categorization by Learned Nonlinear Subspace of Combined Visual-Words and Low-Level Features (XHH, YWC, XR), pp. 3037–3040.
- POPL-2010-RondonKJ
- Low-level liquid types (PMR, MK, RJ), pp. 131–144.
CAV-2010-ConwayB #data type #implementation #verification- Verifying Low-Level Implementations of High-Level Datatypes (CLC, CB), pp. 306–320.
- VMCAI-2010-KreikerSV #analysis #c
- Shape Analysis of Low-Level C with Overlapping Structures (JK, HS, VV), pp. 214–230.
EDM-2009-CetintasSXH #correctness #predict #problem- Predicting Correctness of Problem Solving from Low-level Log Data in Intelligent Tutoring Systems (SC, LS, YPX, CH), pp. 230–239.
CHI-2009-ZhengCLR #agile #correlation #image #statistics #web- Correlating low-level image statistics with users — rapid aesthetic and affective judgments of web pages (XSZ, IC, JJWL, RR), pp. 1–10.
ECIR-2009-HalveyPHVHGJ #case study #difference #metric #retrieval #using #video- Diversity, Assortment, Dissimilarity, Variety: A Study of Diversity Measures Using Low Level Features for Video Retrieval (MH, PP, DH, RV, FH, AG, JMJ), pp. 126–137.
- POPL-2009-ConditHLQ #type checking
- Unifying type checking and property checking for low-level code (JC, BH, SKL, SQ), pp. 302–314.
- VMCAI-2009-RakamaricH #memory management #scalability
- A Scalable Memory Model for Low-Level Code (ZR, AJH), pp. 290–304.
SCAM-2008-Gomez-ZamalloaAP #composition #decompiler #partial evaluation- Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.
ICML-2008-Corrada-EmmanuelS #estimation #fault #geometry #precise- Autonomous geometric precision error estimation in low-level computer vision tasks (ACE, HJS), pp. 168–175.
- PLDI-2008-FengSDG #hardware #source code #thread
- Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.
- POPL-2008-NitaGC #bytecode #formal method #platform
- A theory of platform-dependent low-level software (MN, DG, CC), pp. 209–220.
- DATE-2008-AronsEOSS #performance #simulation
- Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.
ISMM-2008-ChinNPQ #bound #memory management #source code- Analysing memory resource bounds for low-level programs (WNC, HHN, CP, SQ), pp. 151–160.
HCI-MIE-2007-TakashimaT #behaviour #video- Sharing Video Browsing Style by Associating Browsing Behavior with Low-Level Features of Videos (AT, YT), pp. 518–526.
SEKE-2007-ComanS #empirical #process- An Empirical Exporatory Study on Inferring Developpers’ Activities from Low-Level Data (IDC, AS), pp. 15–18.
ESEC-FSE-2007-Coman #analysis #automation #developer #using- An analysis of developers’ tasks using low-level, automatically collected data (IDC), pp. 579–582.
- SAC-2007-PereraGB #using #visualisation
- Preattentive processing: using low-level vision psychology to encode information in visualisations (NP, AG, KB), pp. 1090–1091.
- DATE-2007-ReshadiG #architecture #embedded #programming
- Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems (MR, DG), pp. 1337–1342.
ESOP-2007-ConditHAGN #dependent type #programming- Dependent Types for Low-Level Programming (JC, MH, ZRA, DG, GCN), pp. 520–535.
- TACAS-2007-ChatterjeeLQR #bytecode #reachability
- A Reachability Predicate for Analyzing Low-Level Software (SC, SKL, SQ, ZR), pp. 19–33.
- CAV-2007-GopanR #analysis #library #summary
- Low-Level Library Analysis and Summarization (DG, TWR), pp. 68–81.
- CAV-2007-GulwaniT #abstract domain #bytecode
- An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (SG, AT), pp. 379–392.
- IFL-2006-HammondGMI #programming
- Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.
SOFTVIS-2006-LiuV #animation #control flow #debugging- Animation of control flow for low-level debugging (HL, FSV), pp. 157–158.
PEPM-2006-RepsBL - Intermediate-representation recovery from low-level code (TWR, GB, JL), pp. 100–111.
- SAS-2006-ChangHN #analysis #using
- Analysis of Low-Level Code Using Cooperating Decompilers (BYEC, MH, GCN), pp. 318–335.
- SAS-2006-Yang #analysis
- Shape Analysis for Low-Level Code (HY), p. 280.
CASE-2006-TranNKHF #approach #robust- Sliding Mode-PID Approach for Robust Low-level Control of a UGV (THT, MTN, NMK, QPH, GF), pp. 672–677.
CC-2006-Necula #dependent type #type system #using- Using Dependent Types to Port Type Systems to Low-Level Languages (GCN), p. 1.
ICFP-2005-DiatchkiJL - High-level views on low-level representations (ISD, MPJ, RL), pp. 168–179.
MLDM-2005-DongKSP #composition #geometry #representation #word- Low-Level Cursive Word Representation Based on Geometric Decomposition (JxD, AK, CYS, DP), pp. 590–599.
CGO-2005-GuoBTORA #analysis #pointer- Practical and Accurate Low-Level Pointer Analysis (BG, MJB, ST, GO, ER, DIA), pp. 291–302.
- ICPR-v1-2004-HallOC #detection
- A Trainable Low-level Feature Detector (PMH, MO, JPC), pp. 708–711.
ICLP-2003-Morrisett #type safety- Achieving Type Safety for Low-Level Code (JGM), pp. 1–2.
- ICPR-v4-2002-ChristoudiasGM
- Synergism in Low Level Vision (CMC, BG, PM), pp. 150–155.
- OOPSLA-2002-SutterBB #c++ #reuse
- Sifting out the mud: low level C++ code reuse (BDS, BDB, KDB), pp. 275–291.
- PLDI-2001-DeLineF #bytecode #protocol
- Enforcing High-Level Protocols in Low-Level Software (RD, MF), pp. 59–69.
SOSP-2001-HeidemannSIGEG #network #performance- Building Efficient Wireless Sensor Networks with Low-Level Naming (JSH, FS, CI, RG, DE, DG), pp. 146–159.
- ESOP-2001-KatsumataO #decompiler
- Proof-Directed De-compilation of Low-Level Code (SyK, AO), pp. 352–366.
- ICPR-v3-2000-LeiHR #detection #image
- Detecting Generic Low-Level Features in Images (BJL, EAH, MJTR), pp. 3979–3982.
- TACAS-2000-Schmidt #analysis #reachability #symmetry
- Integrating Low Level Symmetries into Reachability Analysis (KS0), pp. 315–330.
ICALP-1999-CraryM #programming language- Type Structure for Low-Level Programming Languages (KC, JGM), pp. 40–54.
AdaEurope-1999-RuizG #implementation #runtime- Implementing a New Low-Level Tasking Support for the GNAT Runtime System (JFR, JMGB), pp. 298–307.
SIGAda-1999-Doran #ada #c- Interfacing low-level C device drivers with Ada 95 (SD), pp. 133–143.
PDP-1998-HockneyG #benchmark #metric #performance- Low-level benchmarking: performance profiles (RWH, VG), pp. 50–56.
- EDTC-1997-BensoPRRU #approach #fault #graph
- A new approach to build a low-level malicious fault list starting from high-level description and alternative graphs (AB, PP, MR, MSR, RU), pp. 560–565.
- OOPSLA-1995-ItohYT #concurrent #named #operating system #programming #using
- SCONE: Using Concurrent Objects for Low-level Operating System Programming (JiI, YY, MT), pp. 385–398.
- PEPM-1995-Debray #abstract interpretation #optimisation
- Abstract Interpretation and Low-Level Code Optimization (SKD), pp. 111–121.
DLT-1993-Iwama #trade-off- Low-Level Tradeoffs between Reversals and Alternations (KI), pp. 326–341.
- PDP-1993-BosschereC #implementation
- Some low-level issues in the implementation of a shared blackboard (KDB, JMVC), pp. 88–95.
SIGMOD-1988-BorrP #integration #performance #sql- High Performance SQL Through Low-Level System Integration (AJB, GRP), pp. 342–349.
- POPL-1985-FraserH
- High-Level Language Facilities for Low-Level Services (CWF, DRH), pp. 217–224.
STOC-1981-AdachiIK #combinator #complexity #game studies- Low Level Complexity for Combinatorial Games (AA, SI, TK), pp. 228–237.
