Maja H. Kirkeby

29 papers C 4Journal 17Unranked 7
YearRankTypeTitle / Venue / Authors
2026 conf
Languages, Compilers, Analysis
Mads Rosendahl, Maja H. Kirkeby
2025 J jnl
Comput. Sci. Inf. Syst.
Maja H. Kirkeby, Thomas Krabben, Maria Bendix Mikkelsen, Mads Rosendahl, Mathias Marquar Arhipenko Larsen, Martin Sundman, Tjark Petersen, Martin Schoeberl
2025 J jnl
CoRR
Maja H. Kirkeby, Timmie Lagermann
2025 J jnl
CoRR
Timmie Lagermann, Kristina Carter, Su Mei Gwen Ho, Luis Cruz, Kerstin Eder, Maja H. Kirkeby
2025 J jnl
CoRR
Luis Cruz, João Paulo Fernandes, Maja H. Kirkeby, Silverio Martínez-Fernández, June Sallou, Hina Anwar, Enrique Barba Roque, Justus Bogner, Joel Castaño, Fernando Castor, Aadil Chasmawala, Simão Cunha, Daniel Feitosa, Alexandra González, Andreas Jedlitschka, Patricia Lago, Henry Muccini, Ana Oprescu, Pooja Rani, João Saraiva, Federica Sarro, Raghavendra Selvan, Karthik Vaidhyanathan, Roberto Verdecchia, Ivan P. Yamshchikov
2025 J jnl
Comput. Sci. Inf. Syst.
Gordana Rakic, Maja H. Kirkeby, Padma Iyenghar, Zoran Budimac
2025 conf
PLACES@ETAPS
Mads Rosendahl, Maja H. Kirkeby
2024 ed.
RAW
Hamza Baniata, Maja H. Kirkeby
2023 J jnl
CoRR
Kristina Carter, Su Mei Gwen Ho, Mathias Marquar Arhipenko Larsen, Martin Sundman, Maja H. Kirkeby
2022 J jnl
CoRR
Maja H. Kirkeby, Thomas Krabben, Mathias Marquar Arhipenko Larsen, Maria Bendix Mikkelsen, Tjark Petersen, Mads Rosendahl, Martin Schoeberl, Martin Sundman
2022 J jnl
CoRR
Maja H. Kirkeby, Martin Schoeberl
2021 conf
CERCIRAS
Maja H. Kirkeby, John P. Gallagher, Bent Thomsen
2021 conf
VPT@ETAPS
Maria Bendix Mikkelsen, Robert Glück, Maja H. Kirkeby
2020 C conf
PPDP
Maja H. Kirkeby, Robert Glück
2019 J jnl
Int. J. Approx. Reason.
Maja H. Kirkeby, Henning Christiansen
2018 C conf
LOPSTR
Henning Christiansen, Maja H. Kirkeby
2018 J jnl
CoRR
Henning Christiansen, Maja H. Kirkeby
2018 conf
WFLP
Henning Christiansen, Maja H. Kirkeby
2018 J jnl
CoRR
Henning Christiansen, Maja H. Kirkeby
2017 C conf
LOPSTR
Maja H. Kirkeby, Henning Christiansen
2017 J jnl
CoRR
Maja H. Kirkeby, Henning Christiansen
2017 J jnl
Formal Aspects Comput.
Henning Christiansen, Maja H. Kirkeby
2016 J jnl
CoRR
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016 J jnl
Microprocess. Microsystems
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
2016 J jnl
CoRR
Henning Christiansen, Maja H. Kirkeby
2016 J jnl
CoRR
Maja H. Kirkeby, Mads Rosendahl
2015 conf
QAPL
Mads Rosendahl, Maja H. Kirkeby
2015 conf
FOPARA
Maja H. Kirkeby, Mads Rosendahl
2014 C conf
LOPSTR
Henning Christiansen, Maja H. Kirkeby
redb/extractors/decompiler/bninja/instruction_type.py
← Index redb/extractors/decompiler/bninja/instruction_type.py python
from enum import Enum


class InstructionType(Enum):
    # Data Movement
    GENERAL_DATA_MOVEMENT = "GENERAL_DATA_MOVEMENT"  # mov, lea, xchg
    STACK_MANAGEMENT = "STACK_MANAGEMENT"  # push, pop, enter, leave
    STRING_MANIPULATION = "STRING_MANIPULATION"  # movs, lods, stos, cmps

    # Arithmetic
    BASIC_ARITHMETIC = "BASIC_ARITHMETIC"  # add, sub, inc, dec
    MULTIPLICATION_DIVISION = "MULTIPLICATION_DIVISION"  # mul, div, imul, idiv
    CARRY_ARITHMETIC = "CARRY_ARITHMETIC"  # adc, sbb

    # Logical
    BITWISE_LOGIC = "BITWISE_LOGIC"  # and, or, xor, not
    CONDITIONAL_LOGIC = "CONDITIONAL_LOGIC"  # test, cmp, setX

    # Control Flow
    UNCONDITIONAL_JUMP = "UNCONDITIONAL_JUMP"  # jmp
    CONDITIONAL_JUMP = "CONDITIONAL_JUMP"  # je, jne, jl, jg, etc
    FUNCTION_CONTROL = "FUNCTION_CONTROL"  # call, ret
    LOOPING = "LOOPING"  # loop, loopz, loopnz

    # System
    SYSTEM_CALLS = "SYSTEM_CALLS"  # syscall, int, sysenter
    PRIVILEGED_INSTRUCTIONS = "PRIVILEGED_INSTRUCTIONS"  # hlt, cli, sti
    CPU_FEATURES = "CPU_FEATURES"  # cpuid, rdtsc

    # SIMD & FPU
    SSE_SIMD = "SSE_SIMD"  # SSE instructions
    AVX_SIMD = "AVX_SIMD"  # AVX instructions
    BASIC_FPU = "BASIC_FPU"  # fld, fst, fstp
    FPU_ARITHMETIC = "FPU_ARITHMETIC"  # fadd, fsub, etc

    # Bit Operations
    SHIFT_ROTATE = "SHIFT_ROTATE"  # shl, shr, rol, ror
    BIT_TEST_MODIFY = "BIT_TEST_MODIFY"  # bt, bts, btr, btc

    # Special
    CRYPTOGRAPHIC_OPS = "CRYPTOGRAPHIC_OPS"  # aesenc, aesdec, sha1rnds4
    MISC_OPS = "MISC_OPS"