HASP'24 November 2024 |
SoK Paper: Power Side-Channel Malware Detection.
International Workshop on Hardware and Architectural Support for Security and Privacy (HASP), Austin, TX. |
IESS'24 October 2024 |
Distributed Convolutional Neural Network Training on Mobile and Edge Clusters.
International Embedded Systems Symposium (IESS), Gainsville, FL. |
CAL'24 May 2024 |
Characterizing Machine Learning-based Runtime Prefetcher Selection.
IEEE Compter Architecture Letters (CAL). [preprint] |
FCCM'24 May 2024 |
Efficient Approaches for GEMM Acceleration on Leading AI-Optimized FPGAs.
IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM), Orlando, FL. |
TECS'24 January 2024 |
A Hierarchical Classification Method for High-Accuracy Instruction Disassembly with Near-Field EM Measurements.
ACM Transactions on Embedded Computing Systems (TECS), 23(1):10:1–10:21. [preprint] |
CODES+ISSS'23 September 2023 |
Special Session: Machine Learning for Embedded System Design.
ACM/IEEE International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Hamburg, Germany. |
ICONS'23 August 2023 |
Performance and Energy Simulation of Spiking Neuromorphic Architectures for Fast Exploration.
ACM International Conference on Neuromorphic Systems (ICONS), Santa Fe, NM. |
ASAP'23 July 2023 |
FAWS: FPGA Acceleration of Large-Scale Wave Simulations.
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Porto, Portugal. |
ECRTS'23 July 2023 |
Memory Latency Distribution-Driven Regulation for Temporal Isolation in MPSoCs.
Euromicro Conference on Real-Time Systems (ECRTS) (Leibniz International Proceedings in Informatics (LIPIcs)), Vienna, Austria. |
MLArchSys'23 June 2023 |
Lightweight ML-based Runtime Prefetcher Selection on Many-core Platforms.
Workshop on Machine Learning for Computer Architecture and Systems (MLArchSys), Orlando, FL. |
IESS'22 June 2023 |
MAFAT: Memory-Aware Fusing and Tiling of Neural Networks for Accelerated Edge Inference.
International Embedded Systems Symposium (IESS): Designing Modern Embedded Systems: Software, Hardware, and Applications (IFIP Advances in Information and Communication Technology (IFFIPAICT)), Lippstadt, Germany, November 2022. |
TODAES'22 December 2022 |
Learning-based Phase-aware Multi-core CPU Workload Forecasting.
ACM Transactions on Design Automation of Electronic Systems (TODAES), 28(2):23:1–23:27, March 2023. [preprint] |
ICSS'22 December 2022 |
Power-based Malware Detection in Linux Boot.
Industrial Control System Security (ICSS) Workshop, Austin, TX. |
Springer'22 August 2022 |
Machine Learning for System-Level Modeling.
Chapter in Machine Learning Applications in Electronic Design Automation, H. Ren, J. Hu (Eds.). |
TCAD'22 August 2022 |
CASPHAr: Cache-Managed Accelerator Staging and Pipelining in Heterogeneous System Architectures.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Special Issue on Embedded Systems Week (ESWEEK), International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), 41(11):4325–4336, November 2022. [preprint] |
TCAS'22 August 2022 |
Characterizing Approximate Adders and Multipliers for Mitigating Aging and Temperature Degradations.
IEEE Transactions on Circuits and Systems I: Regular Papers (TCAS-I), 69(11):4558–4571, November 2022. |
SAMOS'22 July 2022 |
High-Level Simulation of Embedded Software Vulnerabilities to EM Side-Channel Attacks.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
TC'22 June 2022 |
Machine Learning-Based Microarchitecture-Level Power Modeling of CPUs.
IEEE Transactions on Computers (TC), 72(4):941–961, April, 2023. [preprint] |
RTAS'22 May 2022 |
Memory Utilization-Based Dynamic Bandwidth Regulation for Temporal Isolation in Multi-Cores.
IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Milano, Italy. |
Springer'22 January 2022 |
Exploiting Approximations in Real-Time Scheduling.
Chapter in Approximate Computing Techniques: From Component- to Application-Level, A. Bosio, D. Ménard, O. Sentieys (Eds.). |
TECS'21 November 2021 |
Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange and Encapsulation Protocols.
ACM Transactions on Embedded Computing Systems (TECS), 20(6):110:1–110:22. |
MLCAD'21 September 2021 |
Learning-Based Workload Phase Classification and Prediction Using Performance Monitoring Counters.
ACM/IEEE Workshop on Machine Learning for CAD (MLCAD), virtual conference. |
MLCAD'21 September 2021 |
Learning based Memory Interference Prediction for Co-running Applications on Multi-Cores.
ACM/IEEE Workshop on Machine Learning for CAD (MLCAD), virtual conference. |
ICPP'21 August 2021 |
Wave-PIM: Accelerating Wave Simulation Using Processing-in-Memory.
IEEE International Conference on Parallel Processing (ICPP), virtual conference. |
SAMOS'21 July 2021 |
Phase-Aware CPU Workload Forecasting.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), virtual conference. |
IPDPS'21 May 2021 |
Virtual-Link: A Scalable Multi-Producer, Multi-Consumer Message Queue Architecture for Cross-Core Communication.
IEEE International Parallel and Distributed Processing Symposium (IPDPS), virtual conference. [preprint] |
TVLSI'21 April 2021 |
Cross-Layer Approximate Hardware Synthesis for Runtime Configurable Accuracy.
IEEE Transactions on Very Large Scale Integration Systems (TVLSI), 29(6):1231–1243. [preprint] |
IJPP'21 April 2021 |
DeeperThings: Fully Distributed CNN Inference on Resource-Constrained Edge Devices.
International Journal of Parallel Programming (IJPP), 49(4):600–624. [preprint] |
TPDS'21 February 2021 |
Hardware Accelerator Integration Tradeoffs for High-Performance Computing: A Case Study of GEMM Acceleration in N-Body Methods.
IEEE Transactions on Parallel and Distributed Systems (TPDS), 32(8):2035–2048. [preprint] |
ASPDAC'21 January 2021 |
Approximate Computing for ML: State-of-the-art, Challenges and Visions.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), virtual conference. |
TCAD'20 October 2020 |
Dynamic Power and Energy Management for NCFET-based Processors.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Special Issue on Embedded Systems Week (ESWEEK), International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES), 30(11):3361–3372. [preprint] |
PACT'20 October 2020 |
TAFE: Thread Address Footprint Estimation for Capturing Data/Thread Locality in GPU Systems.
International Conference on Parallel Architectures and Compilation Techniques (PACT), virtual conference. |
TECS'20 June 2020 |
Network-level Design Space Exploration of Resource-constrained Networks-of-Systems.
ACM Transactions on Embedded Computing Systems (TECS), 19(4):22:1–22:26. [preprint] |
CSUR'20 June 2020 |
Exploiting Errors for Efficiency: A Survey from Circuits to Applications.
ACM Computing Surveys (CSUR), 53(3):51:1–51:39. [preprint] |
DATE'20 May 2020 |
Energy Optimization in NCFET-based Processors.
Design, Automation & Test in Europe Conference & Exhibition (DATE), virtual conference. |
DATE'20 May 2020 |
Runtime Accuracy-Configurable Approximate Hardware Synthesis Using Logic Gating and Relaxation.
Design, Automation & Test in Europe Conference & Exhibition (DATE), virtual conference. |
TCAS'20 April 2020 |
Aging Compensation With Dynamic Computation Approximation.
IEEE Transactions on Circuits and Systems I: Regular Papers (TCAS-I), 67(4):1319–1332. |
PDP'20 March 2020 |
The Non-Uniform Compute Device (NUCD) Architecture for Lightweight Accelerator Offload.
Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Västerås, Sweden. |
PDP'20 March 2020 |
Off-Chip Congestion Management for GPU-based Non-Uniform Processing-in-Memory Networks.
Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP), Västerås, Sweden. |
VLSID'20 January 2020 |
Cacheline Utilization-Aware Link Traffic Compression for Modular GPUs.
IEEE International Conference on VLSI Design and Embedded Systems (VLSID), Bengaluru, India. |
TC'19 November 2019 |
On the Efficiency of Voltage Overscaling under Temperature and Aging Effects.
IEEE Transactions on Computers (TC), 68(11):1647–1662. [preprint] |
TECS'19 October 2019 |
Quality/Latency-Aware Real-time Scheduling of Distributed Streaming IoT Applications.
ACM Transactions on Embedded Computer Systems (TECS), Special Issue on Embedded Systems Week (ESWEEK), International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 18(5s):83:1–83:23. [preprint] |
MLCAD'19 September 2019 |
Learning-Based CPU Power Modeling.
ACM/IEEE Workshop on Machine Learning for CAD (MLCAD), Canmore, Canada. |
SAMOS'19 July 2019 |
Fully Distributed Deep Learning Inference on Resource-Constrained Edge Devices.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
ISCAS'19 May 2019 |
Aging Gracefully with Approximation.
IEEE International Symposium on Circuits and Systems (ISCAS), Sapparo, Japan. |
HOST'19 May 2019 |
Using Power-Anomalies to Counter Evasive Micro-Architectural Attacks in Embedded Systems.
IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Tysons Corner, VA. |
ICPE'19 April 2019 |
A Study of Core Utilization and Residency in Heterogeneous Smart Phone Architectures.
ACM/SPEC International Conference on Performance Engineering (ICPE), Mumbai, India. |
SysCon'19 April 2019 |
Horus Testbed: Implementation of Real-Time Video Streaming Protocols.
IEEE International Systems Conference (SysCon), Orlando, FL. |
SysCon'19 April 2019 |
Real-Time Rate Distortion Optimized and AdaptiveLow Complexity Algorithms for Video Streaming.
IEEE International Systems Conference (SysCon), Orlando, FL. |
Springer'19 January 2019 |
Approximate High-Level Synthesis of Custom Hardware.
Chapter in Approximate Circuits: Methodologies and CAD, S. Reda, M. Shafique (Eds.). |
TCAD'18 October 2018 |
DeepThings: Distributed Adaptive Deep Learning Inference on Resource-Constrained IoT Edge Clusters.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Special Issue on Embedded Systems Week (ESWEEK), International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 37(11):2348–2359. [preprint] |
PVLDB'18 October 2018 |
Start Late or Finish Early: A Distributed Graph Processing System with Redundancy Reduction.
Proceedings of the VLDB Endowment (PVLDB), 12(2):154–168. |
ICCD'18 October 2018 |
Trading Off Temperature Guardbands via Adaptive Approximations.
IEEE International Conference on Computer Design (ICCD), Orlando, FL. |
SCOPES'18 May 2018 |
MASES: Mobility And Slack Enhanced Scheduling For Latency-Optimized Pipelined Dataflow Graphs.
International Workshop on Software and Compilers for Embedded Systems (SCOPES), St. Goar, Germany. |
HOST'18 May 2018 |
Horizontal Side-Channel Vulnerabilities of Post-Quantum Key Exchange Protocols.
IEEE International Symposium on Hardware Oriented Security and Trust (HOST), Washington, DC. |
ESL'18 March 2018 |
Data-Dependent Loop Approximations for Performance-Quality Driven High-level Synthesis.
IEEE Embedded Systems Letters (ESL), 10(1):18–21. [preprint] |
DATE'18 March 2018 |
CAMP: Accurate Modeling of Core and Memory Locality for Proxy Generation of Big-data Applications.
Design, Automation & Test in Europe Conference & Exhibition (DATE), Dresden, Germany. |
TODAES'18 February 2018 |
Learning-Based, Fine-Grain Power Modeling of System-Level Hardware IPs.
ACM Transactions on Design Automation of Electronic Systems (TODAES), 23(3):30:1–30:25. [preprint] |
ASP-DAC'18 January 2018 |
BUQS: Battery- and User-aware QoS Scaling for Interactive Mobile Devices.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Jeju Island, South Korea. |
ESL'17 December 2017 |
A Reactive and Adaptive Data Flow Model For Network-of-System Specification.
IEEE Embedded System Letters (ESL), 9(4):121–124. [preprint] |
IJPP'17 December 2017 |
LACross: Learning-Based Analytical Cross-Platform Performance and Power Prediction.
International Journal of Parallel Programming (IJPP), 45(6):1488–1514. [preprint] |
MinMove'17 September 2017 |
Exploring Non-Uniform Processing In-Memory Architectures.
Workshop on Hardware/Software Techniques for Minimizing Data Movement (MinMove), Portland, OR. |
SAMOS'17 July 2017 |
Network/System Co-Simulation for Design Space Exploration of IoT Applications.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
DAC'17 June 2017 |
Towards Aging-Induced Approximations.
ACM/IEEE Design Automation Conference (DAC), Austin, TX. |
DAC'17 June 2017 |
Statistical Pattern Based Modeling of GPU Memory Access Streams.
ACM/IEEE Design Automation Conference (DAC), Austin, TX. |
Springer'17 May 2017 |
Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.
Chapter in Cyber-Physical System Design from an Architecture Analysis Viewpoint, S. Nakajima, J. Talpin, M. Toyoshima, H. Yu (Eds.). |
MobileSoft'17 May 2017 |
Cloud-guided QoS and Energy Management for Mobile Interactive Web Applications.
IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft), Buenos Aires, Argentina. |
GLSVLSI'17 May 2017 |
Exploring Heterogeneous-ISA Core Architectures for High-Performance and Energy-Efficient Mobile SoCs.
ACM Great Lakes Symposium on VLSI (GLSVLSI), Banff, Alberta, Canada. |
GLSVLSI'17 May 2017 |
Fine-Grain Program Snippets Generator for Mobile Core Design.
ACM Great Lakes Symposium on VLSI (GLSVLSI), Banff, Alberta, Canada. |
Springer'17 April 2017 |
Host-Compiled Simulation.
Chapter in Handbook of Hardware/Software Codesign, S. Ha, J. Teich (Eds.). |
Springer'17 April 2017 |
SCE: System-on-Chip Environment.
Chapter in Handbook of Hardware/Software Codesign, S. Ha, J. Teich (Eds.). |
Springer'17 April 2017 |
Introduction to Hardware/Software Codesign.
Chapter in Handbook of Hardware/Software Codesign, S. Ha, J. Teich (Eds.). |
DATE'17 March 2017 |
Sampling-Based Binary-Level Cross-Platform Performance Estimation.
Design, Automation and Test in Europe (DATE) Conference, Lausanne, Switzerland. |
DATE'17 March 2017 |
GATSim: Abstract Timing Simulation of GPUs.
Design, Automation and Test in Europe (DATE) Conference, Lausanne, Switzerland. |
DATE'17 March 2017 |
High-Level Synthesis of Approximate Hardware under Joint Precision and Voltage Scaling.
Design, Automation and Test in Europe (DATE) Conference, Lausanne, Switzerland. |
TCAD'17 February 2017 |
Source-Level Performance, Energy, Reliability, Power and Thermal (PERPT) Simulation.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 36(2):299–312. [preprint] |
BDCOM'16 December 2016 |
Fine-grained Power Analysis of Emerging Graph Processing Workloads for Cloud Operations Management.
IEEE International Conference on Big Data (BigData): Workshop on Big Data for Cloud Operations Management (BDCOM), Washington, DC. |
WSC'16 December 2016 |
Adaptive Resolution Control in Distributed Cyber-Physical System Simulation.
Winter Simulation Conference (WSC), Arlington, VA. |
ICPP'16 August 2016 |
Proxy-Guided Load Balancing of Graph Processing Workloads on Heterogeneous Clusters.
IEEE International Conference on Parallel Processing (ICPP), Philadelphia, PA. |
HUCAA'16 August 2016 |
Optimizing GPGPU Kernel Summation for Performance and Energy Efficiency.
IACC International Conference on Parallel Processing Workshops (ICPPW): International Workshop on Heterogeneous and Unconventional Cluster Architectures and Applications (HUCAA), Philadelphia, PA. |
SAMOS'16 July 2016 |
Simulator Calibration for Accelerator-Rich Architecture Studies.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
SAMOS'16 July 2016 |
Genesys: Automatically Generating Representative Training Sets for Predictive Benchmarking.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
DAC'16 June 2016 |
Accurate Phase-Level Cross-Platform Power and Performance Estimation.
ACM/IEEE Design Automation Conference (DAC), Austin, TX. |
DAC'16 June 2016 |
Reliability-Aware Design to Suppress Aging.
ACM/IEEE Design Automation Conference (DAC), Austin, TX. |
ISQED'16 March 2016 |
Statistical Quality Modeling of Approximate Hardware.
IEEE International Symposium on Quality Electronic Design (ISQED), Santa Clara, CA. |
ICCAD'15 November 2015 |
Learning-Based Power Modeling of System-Level Black-Box IPs.
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), Austin, TX. |
Springer'15 October 2015 |
Fine Grain Precision Scaling for Datapath Approximations in Digital Signal Processing Systems.
Chapter in VLSI-SoC: At the Crossroads of Emerging Trends, A. Orailoglu, H. F. Ugurdag, L. M. Silveira, M. Margala, R. Reis (Eds.). |
ISLPED'15 July 2015 |
PowerTrain: A Learning-based Calibration of McPAT Power Models.
ACM/IEEE International Symposium on Low Power Electronics and Design (ISLPED), Rome, Italy. |
SAMOS'15 July 2015 |
Learning-based Analytical Cross-Platform Performance Prediction.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
DATE'15 March 2015 |
Dynamic Power and Performance Back-Annotation for Fast and Accurate Functional Hardware Simulation.
Design, Automation and Test in Europe (DATE) Conference, Grenoble, France. |
DATE'15 March 2015 |
The Next Generation of Virtual Prototyping: Ultra-fast Yet Accurate Simulation of HW/SW Systems.
Design, Automation and Test in Europe (DATE) Conference, Grenoble, France. |
ICPADS'14 December 2014 |
Performance Analysis of HPC Applications with Irregular Tree Data Structures.
IEEE International Conference on Parallel and Distributed Systems (ICPADS), Hsinchu, Taiwan. |
TECS'14 November 2014 |
Host-Compiled Multi-Core System Simulation for Early Real-Time Performance Evaluation.
ACM Transactions on Embedded Computer Systems (TECS), Special Issue on Virtual Prototyping of Parallel and Embedded Systems (ViPES), 13(5s). [preprint] |
ICCAD'14 November 2014 |
Multi-Level Approximate Logic Synthesis under General Error Constraints.
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Jose, CA. |
JSPS'14 October 2014 |
A Highly Efficient Multicore Floating-Point FFT Architecture Based on Hybrid Linear Algebra/FFT Cores.
Journal of Signal Processing Systems (JSPS), Special Issue on Application Specific Processors and Architectures, 77(1–2):169–190. [preprint] |
TVT'14 September 2014 |
Distributed Real-time Implementation of Interference Alignment with Analog Feedback.
IEEE Transactions on Vehicular Technology (TVT), 64(8):3513–3525. [preprint] |
TC'14 August 2014 |
Algorithm, Architecture, and Floating-Point Unit Codesign of a Matrix Factorization Accelerator.
IEEE Transactions on Computers (TC), Special Section on Computer Arithmetic, 63(8):1854–1867. [preprint] |
ISQED'14 March 2014 |
FastSpot: Host-Compiled Thermal Estimation for Early Design Space Exploration.
IEEE International Symposium on Quality Electronic Design (ISQED), Santa Clara, CA. |
ICCAD'13 November 2013 |
Approximate Logic Synthesis under General Error Magnitude and Frequency Constraints.
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Jose, CA. |
SIMULATION'13 October 2013 |
SimConnect and SimTalk for Distributed Cyber-Physical System Simulation.
SIMULATION: Transactions of The Society for Modeling and Simulation International, 89(10):1254–1271. [preprint] |
VLSI-SoC'13 October 2013 |
Fine Grain Word Length Optimization for Dynamic Precision Scaling in DSP Systems.
IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Istanbul, Turkey. |
CODES+ISSS'13 October 2013 |
Automated, Retargetable Back-Annotation for Host-Compiled Performance and Power Modeling.
IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Montreal, Canada. |
TCSVT'13 June 2013 |
Circuit-Level Timing-Error Acceptance for Design of Energy-Efficient DCT/IDCT-based Systems.
IEEE Transactions on Circuits and Systems for Video Technology (TCSVT), 23(6):961–974. [preprint] |
IESS'13 June 2013 |
Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree Computation.
International Embedded Systems Symposium (IESS): Embedded Systems: Design, Analysis and Verification (IFIP Advances in Information and Communication Technology (IFFIPAICT)), Paderborn, Germany. |
ASAP'13 June 2013 |
Toward a Fast Stochastic Simulation Processor for Biochemical Reaction Networks.
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Washington, DC. |
ASAP'13 June 2013 |
Transforming A Linear Algebra Core to An FFT Accelerator.
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Washington, DC. |
ESLSyn'13 June 2013 |
Multi-Core Cache Hierarchy Modeling for Host-Compiled Performance Simulation.
Electronic System Level Synthesis Conference (ESLSyn), Austin, TX. |
PADS'13 May 2013 |
Dynamic Resolution in Distributed Cyber-Physical System Simulation.
ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS), Montreal, Canada. |
ARITH'13 April 2013 |
Floating Point Architecture Extensions for Optimized Matrix Factorization.
IEEE Symposium on Computer Arithmetic (ARITH21), Austin, TX. |
ISQED'13 March 2013 |
Low-Energy Digital Filter Design Based on Controlled Timing Error Acceptance.
IEEE International Symposium on Quality Electronic Design (ISQED), San Jose, CA. |
TC'12 December 2012 |
Codesign Tradeoffs for High-Performance, Low-Power Linear Algebra Architectures.
IEEE Transactions on Computers (TC), Special Issue on Energy Efficient Computing, 61(12):1724–1736. [preprint] |
JSPS'12 December 2012 |
Communication-Aware Heterogeneous Multiprocessor Mapping for Real-Time Streaming Systems.
Journal of Signal Processing Systems, 69(3):279–291. [preprint] |
ICCAD'12 November 2012 |
Modeling and Synthesis of Quality-Energy Optimal Approximate Adders.
IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Jose, CA. |
Asilomar'12 November 2012 |
Implementation of a Real-Time Wireless Interference Alignment Network.
Asilomar Conference on Signals, Systems and Computers (ASCSSC), Pacific Grove, CA. |
CODES+ISSS'12 October 2012 |
Synthesis of Optimized Hardware Transactors from Abstract Communication Specifications.
IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), Tampere, Finland. |
SBAC-PAD'12 October 2012 |
On the Efficiency of Register File versus Broadcast Interconnect for Collective Communications in Data-Parallel Hardware Accelerators.
IEEE/IFIP International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD), New York, NY. |
ASAP'12 July 2012 |
A Linear Algebra Core Design For Efficient Level-3 BLAS.
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Delft, The Netherlands. |
ICICDT'12 May 2012 |
Low-Energy Signal Processing using Circuit-Level Timing Error Acceptance.
IEEE International Conference on Integrated Circuit Design and Technology (ICICDT), Austin, TX. |
ESL'12 March 2012 |
Predictive OS Modeling for Host-Compiled Simulation of Periodic Real-Time Task Sets.
IEEE Embedded System Letters (ESL), 4(1):5–8. [preprint] |
ASPDAC'12 January 2012 |
Abstract System-Level Models for Early Performance and Power Exploration.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Sydney, Australia. |
ASPDAC'12 January 2012 |
Automatic Timing Granularity Adjustment for Host-Compiled Software Simulation.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Sydney, Australia. |
DS-RT'11 September 2011 |
Expression-Level Parallelism for Distributed Spice Circuit Simulation.
IEEE/ACM International Symposium on Distributed and Real Time Applications (DS-RT), Manchester, United Kingdom. |
EMBC'11 September 2011 |
A Programmable and Configurable Multi-port System-on-Chip for Stimulating Electrokinetically-Driven Microfluidic Devices.
International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Boston, MA. |
VTC'11 September 2011 |
Real-Time Optimization of Video Transmission in a Network of AAVs.
IEEE Vehicular Technology Conference (VTC), San Francisco, CA. |
ASAP'11 September 2011 |
A High-Performance, Low-Power Linear Algebra Core.
IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Santa Monica, CA. |
ICASSP'11 May 2011 |
Heterogeneous Multiprocessor Mapping for Real-time Streaming Systems.
IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), Prague, Czech Republic. |
DATE'11 May 2011 |
Host-Compiled Multicore RTOS Simulator for Embedded Real-Time Software Development.
Design, Automation and Test in Europe (DATE) Conference, Grenoble, France. |
DATE'11 May 2011 |
Controlled Timing-Error Acceptance for Low Energy IDCT Design.
Design, Automation and Test in Europe (DATE) Conference, Grenoble, France. |
HiPEAC'11 January 2011 |
Automatic System-Level Synthesis: From Formal Application Models to Generic Bus-Based MPSoCs.
Transactions on High-Performance Embedded Architectures and Compilers (HiPEAC), 5(4). |
ASPDAC'11 January 2011 |
Multi-Core Parallel Simulation of System-Level Description Languages.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Yokohama, Japan. |
SAMOS'10 July 2010 |
A System-Level Synthesis Approach from Formal Application Models to Generic Bus-Based MPSoCs.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS), Samos, Greece. |
RSP'10 June 2010 |
Host-Compiled Simulation of Multi-Core Platforms.
IEEE/IFIP International Symposium on Rapid System Prototyping (RSP), Washington, DC. |
TODAES'10 February 2010 |
Fast and Accurate Processor Models for Efficient MPSoC Design.
ACM Transactions on Design Automation of Electronic Systems (TODAES), 15(2):10:1–10:26. [preprint] |
ASPDAC'10 January 2010 |
Platform Modeling for Exploration and Synthesis.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Taipei, Taiwan. |
ASPDAC'10 January 2010 |
System-Level Development of Embedded Software.
IEEE/ACM Asia and South Pacific Design Automation Conference (ASP-DAC), Taipei, Taiwan. |
TCAD'09 October 2009 |
Electronic System-Level Synthesis Methodologies.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 28(10):1517–1530. [preprint] |
IESS'09 September 2009 |
Modeling Cache Effects at the Transaction Level.
International Embedded Systems Symposium (IESS): Analysis, Architectures and Modeling of Embedded Systems (IFIP Advances in Information and Communication Technology (IFFIPAICT)), Langenargen, Germany. |
IESS'09 September 2009 |
Transaction Level Modeling of Best-Effort Channels for Networked Embedded Devices.
International Embedded Systems Symposium (IESS): Analysis, Architectures and Modeling of Embedded Systems (IFIP Advances in Information and Communication Technology (IFFIPAICT)), Langenargen, Germany. |
Springer'09 January 2009 |
High-Level Development, Modeling and Automatic Generation of Hardware-Dependent Software.
Chapter in Hardware-Dependent Software: Principles and Practice, W. Ecker, W. Mueller, R. Dömer (Eds.). |
Springer'09 January 2009 |
Accurate RTOS Modeling and Analysis with SystemC.
Chapter in Hardware-Dependent Software: Principles and Practice, W. Ecker, W. Mueller, R. Dömer (Eds.). |
Springer'08 March 2008 |
RTOS Modeling for System-Level Design.
Chapter in Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, R. Lauwereins, J. Madsen (Eds.). |
JES'08 January 2008 |
System-on-Chip Environment: A SpecC-Based Framework for Heterogeneous MPSoC Design.
EURASIP Journal on Embedded Systems. [preprint] |
Kluwer'03 June 2003 |
RTOS Modeling for System-Level Design.
Chapter in Embedded Software for SoC, A. A. Jerraya, S. Yoo, N. Wehn, D. Verkest (Eds.). |
Kluwer'01 April 2001 |
The Specification Language SpecC within the PARADISE Design Environment.
Chapter in Architecture and Design of Distributed Embedded Systems, B. Kleinjohann (Ed.). |