Daniel Grund

According to our database1, Daniel Grund authored at least 21 papers between 2006 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Building timing predictable embedded systems.
ACM Trans. Embedded Comput. Syst., 2014

Computation takes time, but how much?
Commun. ACM, 2014

Selfish-LRU: Preemption-aware caching for predictability and performance.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Sensitivity of cache replacement policies.
ACM Trans. Embedded Comput. Syst., 2013

Relational Cache Analysis for Static Timing Analysis.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

A Template for Predictability Definitions with Supporting Evidence.
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

Toward Precise PLRU Cache Analysis.
Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Static Timing Analysis for Hard Real-Time Systems.
Proceedings of the Verification, 2010

Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Memory Hierarchies, Pipelines, and Buses for Future Architectures in Time-Critical Embedded Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2009

Abstract Interpretation of FIFO Replacement.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Branch Target Buffers: WCET Analysis Framework and Timing Predictability.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

Relative competitiveness of cache replacement policies.
Proceedings of the 2008 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, 2008

Estimating the Performance of Cache Replacement Policies.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Relative competitive analysis of cache replacement policies.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Fast liveness checking for ssa-form programs.
Proceedings of the Sixth International Symposium on Code Generation and Optimization (CGO 2008), 2008

Timing predictability of cache replacement policies.
Real-Time Systems, 2007

Rule Checking within the Model-Based Development of Safety-Critical Systems and Embedded Automotive Software.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

A Fast Cutting-Plane Algorithm for Optimal Coalescing.
Proceedings of the Compiler Construction, 16th International Conference, 2007

GrGen: A Fast SPO-Based Graph Rewriting Tool.
Proceedings of the Graph Transformations, Third International Conference, 2006

Register Allocation for Programs in SSA-Form.
Proceedings of the Compiler Construction, 15th International Conference, 2006