50:48

[PADL'24] Automated Interactive Domain-Specific Conversational Agents that Understand Huma...

26:45

[PADL'24] A direct ASP encoding for Declare

28:51

[PADL'24] Using Logic Programming and Kernel-Grouping for Improving Interpretability of Co...

30:29

[PADL'24] Rethinking Answer Set Programming Templates

58:51

[PADL'24] Modular Higher-Order Effects

27:52

[PADL'24] Hardware implementation of OCaml using a synchronous functional language

36:36

[PADL'24] FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explai...

23:17

[PADL'24] Explanation and Knowledge Acquisition in Ad Hoc Teamwork

35:42

[PADL'24] Asynchronous Reactive Programming with Modal Types in Haskell

28:26

[PADL'24] Cutting the Cake Into Crumbs: Verifying Envy-Free Cake-Cutting Protocols using B...

58:32

[PADL'24] Whats and Whys of Neural Network Verification (A Declarative Programming Perspec...

29:14

[PADL'24] Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures

28:50

[PADL'24] Marketplace Logistic via Answer Set Programming

23:31

[PADL'24] Ontological Reasoning over Shy and Warded Datalog+/- for Streaming-based Archite...

21:49

[PLanQC'24] Quantum Controlled Measurements via Program Transformation

16:45

[PLanQC'24] QGAT: A Generate-and-Test Paradigm for Quantum Circuits

20:09

[PLanQC'24] Optimal compilation of parametrised quantum circuits

21:41

[PLanQC'24] GUPPY: Pythonic Quantum-Classical Programming

21:54

[PLanQC'24] Introducing BRAT

22:17

[PLanQC'24] QbC: Quantum Correctness by Construction

43:29

[PLanQC'24] Monoidal Adventures

20:57

[PLanQC'24] Quantum and Classical Control (work-in-progress)

25:36

[PLanQC'24] Circuit Width Estimation via Effect Typing and Linear Dependency (Extended Abs...

22:52

[PLanQC'24] A feasible and unitary programming language with quantum control

23:03

[PLanQC'24] Qadence: a differentiable interface for digital-analog programs

19:43

[PLanQC'24] Graphical Primitive Recursion For String Diagrams

20:16

[PLanQC'24] Effect Semantics for Quantum Protocols

20:04

[PLanQC'24] Polynomial-time Classical Simulation of Roetteler’s Shifted Bent Function Algo...

21:39

[SOAP'23] When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local(…)

29:16

[SOAP'23] User-Assisted Code Query Optimization

20:56

[SOAP'23] Speeding up Static Analysis with the Split Operator

52:14

[SOAP'23] Sound and Precise Static Analysis using a generalization of Static Single Assignment(…)

30:08

[SOAP'23] RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms(…)

20:50

[SOAP'23] HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading

56:38

[SOAP'23] Flux: Refinement types for Rust

28:20

[SOAP'23] Extensible and Scalable Architecture for Hybrid Analysis

24:42

[SOAP'23] Crosys: Cross Architectural Dynamic Analysis

19:11

[SOAP'23] Completeness Thresholds for Memory Safety of Array Traversing Programs

32:16

[SOAP'23] Applications of Symbolic Execution

21:35

[LCTES'23] Thread-Level Attack-Surface Reduction

22:22

[LCTES'23] Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms

17:04

[LCTES'23] Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization

19:25

[LCTES'23] reUpNix: Reconfigurable and Updateable Embedded Systems

16:59

[LCTES'23] Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection(…)

22:13

[LCTES'23] PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media(…)

24:53

[LCTES'23] Optimizing Function Layout for Mobile Applications

18:32

[LCTES'23] LUNAR: A Native Table Engine for Embedded Devices

18:53

[LCTES'23] ISVABI: In-Storage Video Analytics Engine with Block Interface

20:12

[LCTES'23] Facilitating the Bootstrapping of a New ISA

12:00

[LCTES'23] (WIP) Towards Secure MicroPython on Morello

10:15

[LCTES'23] (WIP) Towards Automated Identification of Layering Violations in Embedded Applications

12:19

[LCTES'23] (WIP) Tiling for DMA-Based Hardware Accelerators

21:20

[ISMM'23] ZipKV: In-Memory Key-Value Store with Built-In Data Compression

16:15

[ISMM'23] Wait-Free Weak Reference Counting

18:30

[ISMM'23] The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in(…)

18:33

[ISMM'23] Scaling Up Performance of Managed Applications on NUMA Systems

18:11

[ISMM'23] Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on(…)

18:57

[ISMM'23] OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing

21:29

[ISMM'23] NUMAlloc: A Faster NUMA Memory Allocator

18:17

[ISMM'23] Memory Consistency Models for Program Transformations: An Intellectual Abstract