Research Program
Application Domains
New Results
- Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations
- Optimizing the Four-Index Integral Transform Using Data Movement Lower Bounds Analysis
- Register Optimizations for Stencils on GPUs
- Data-Flow/Dependence Profiling for Structured Transformations
- Dynamic Load Balancing of Monte Carlo Particle Transport Applications
- BOAST: A Meta-Programming Framework to Produce Portable and Efficient Computing Kernels for HPC Applications
- Auto-tuning at Run-time with Multiple Implementations of OpenMP Tasks
- Improving Characterization of NUMA Architectures through Applications' Kernels
- Workload-aware Loop Scheduling of Irregular Loops
- Error-Rate Prediction and Radiation Experiments on a 28nm Many-Core Processor
- CAP Bench: A Benchmark Suite for Low-Power Many-Core Processors
- Social Network Analysis on Multi-Core Architectures
- Run-Time Enforcement Using Büchi Games
- GREP: Games for the Run-Time Enforcement of Properties
- Verifying Policy Enforcers
- Monitoring Decentralized Specifications
- Interactive Run-Time Verification - When Interactive Debugging Meets Run-Time Verification
- Predictive Run-Time Verification of Timed Properties
- Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-based Systems: Theory, Algorithms, Implementation, and Evaluation
- Formal Analysis and Offline Monitoring of Electronic Exams
- Teaching Algorithms using Problem and Challenge Based Learning
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Research Program
Application Domains
New Results
- Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations
- Optimizing the Four-Index Integral Transform Using Data Movement Lower Bounds Analysis
- Register Optimizations for Stencils on GPUs
- Data-Flow/Dependence Profiling for Structured Transformations
- Dynamic Load Balancing of Monte Carlo Particle Transport Applications
- BOAST: A Meta-Programming Framework to Produce Portable and Efficient Computing Kernels for HPC Applications
- Auto-tuning at Run-time with Multiple Implementations of OpenMP Tasks
- Improving Characterization of NUMA Architectures through Applications' Kernels
- Workload-aware Loop Scheduling of Irregular Loops
- Error-Rate Prediction and Radiation Experiments on a 28nm Many-Core Processor
- CAP Bench: A Benchmark Suite for Low-Power Many-Core Processors
- Social Network Analysis on Multi-Core Architectures
- Run-Time Enforcement Using Büchi Games
- GREP: Games for the Run-Time Enforcement of Properties
- Verifying Policy Enforcers
- Monitoring Decentralized Specifications
- Interactive Run-Time Verification - When Interactive Debugging Meets Run-Time Verification
- Predictive Run-Time Verification of Timed Properties
- Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-based Systems: Theory, Algorithms, Implementation, and Evaluation
- Formal Analysis and Offline Monitoring of Electronic Exams
- Teaching Algorithms using Problem and Challenge Based Learning
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Previous | 
Home