<p class="citation">
  <h3>APA Style</h3>
      <span class="authors">Shukla,S.K, Park,J.-G; Hsieh, C.-Y; Dutt,N; Lim,S.-S, Narayan,A; Cutulenco,G; Joshi,Y; Fischmeister,S, Shoushtari,M; Donyanavard,B; D. Bathen,L. A; Dutt,N, He,Z; Chen,Y;  Shen,Z, Bhattacharjee,S; Chen,Y.-L; Huang,J.-D; Bhattacharya,B. B, Lin, S; Wu,J;  Bhattacharyya,S. S., Huang,T; Zhu,Y; Ha,Y; Wang, X; Qiu,M, Qian,K; Wu,C; Yang,Z; Liu,Y; He, F;  Xing,T, Guo,D; Hassan,M; Pellizzoni,R; Patel,Hiren, Kermani,M. Mozaffari;  Azarderakhsh,R; .Sarker, A;  Jalali,A, / Real,M. M; Wehner,P; Lapotre, V; Göhringer,D;  Gogniat,G, Sui, Y;  Fan,X; Zhou,H;  Xue,J, Li,H; Ota,K; Dong,M, Harrison, D. C; G. Seah,W. K; Rayudu, R, Leonard ,E, A,Tanase; M,Witterauf;  J,Teich;  F,Hannig, / C,Attie P; K. D, Al Bab; M,Sakr, Smyth, S; Motika, C;  Rathlev, K; Hanxleden,R. von; Mendler,M / Smyth, S; Motika, C;  Rathlev, K; Ha, Dokhanchi,A; Hoxha,B;  Fainekos,G, Li,Z;  He,S, / Liang,L; Melham,T;  Kroening,D;  Schrammel,P; Tautschnig,M, ,X; Du,D; Li,Q; Liang,Y; Tang,W. T; Ong,Z. L; Lu,M; Huynh,H. P;  M. Goh,R. S, Lu,S;  Lysecky,R, Ballabriga, C; Forget,J;  Lipari,G, Leech,C; Kumar,C; Acharyya, A; . Yang, S; Merrett,G. V; Al-Hashimi,B. M, Lee, G; Cetin,E; Diessel,O, / Li,F; Yang,Y; Chi,Z;  Zhao,L; Yang, Y; Luo,J.</span> <span class="year">(2018).</span>
    <span class="title"><em>Bundel Jurnal ACM Transaction on Embedded Computing System: Editorial /SPECIAL ISSUE ON MEMOCODE 2015: Guest Editorial / Symbolic Multi-Level Loop Mapping of Loop Programs for Massively Parallel Processor Arrays/ Model and Program Repair via SAT Solving 
/ SCEst: Sequentially Constructive Esterel/ Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems/ Fixed-Priority Scheduling for Two-Phase Mixed-Criticality Systems/ Effective Verification for Low-Level Software with Competing Interrupts / Exploiting Sparsity to Accelerate Fully Connected Layers of CNN-Based Applications on Mobile SoCs/ Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems/ Symbolic WCET Computation / Analysis and Design of Adders for Approximate Computing / Runtime Performance and Power Optimization of Parallel Disparity Estimation on Many-Core Platforms/ Fault Recovery Time Analysis for Coarse-Grained Reconfigurable Architecture/ Coverage Preservation with Rapid Forwarding in Energy-Harvesting Wireless Sensor Networks for Critical Rare Events/ Energy Cooperation in Battery-Free Wireless Communications with Radio Frequency Energy Harvesting / Synergistic CPU-GPU Frequency Capping for Energy-Efficient Mobile Games / Mining Timed Regular Specifications from System Traces/ ShaVe-ICE: Sharing Distributed Virtualized SPMs in Many-Core Embedded Systems /Attitude Fusion of Inertial and Magnetic Sensor under Different Magnetic Filed Distortions / Concentration-Resilient Mixture Preparation with Digital Microfluidic Lab-on-Chip/ Memory-Constrained Vectorization and Scheduling of Dataflow Graphs for Hybrid CPU-GPU Platforms/ A Hardware Pipeline with High Energy and Resource Efficiency for FMM Acceleration / Enabling Contactless Detection of Moving Humans with Dynamic Speeds Using CSI / A Comparative Study of Predictable DRAM Controllers / Efficient and Reliable Error Detection Architectures of Hash-Counter-Hash Tweakable Enciphering Schemes / Application Deployment Strategies for Spatial Isolation on Many-Core Accelerators / Loop-Oriented Pointer Analysis for Autom Vectorization/ Trinity: Enabling Self-Sustaining WSNS Indoors with Energy-Free Sensing and Networking</em> (<span class="edition">2)</span>.</span>
    <span class="publish_place">USA:</span>
  <span class="publisher">Association for Computing Machinery.</span>
</p><p class="citation">
  <h3>Chicago Style</h3>
      <span class="authors">Shukla,S.K, Park,J.-G; Hsieh, C.-Y; Dutt,N; Lim,S.-S, Narayan,A; Cutulenco,G; Joshi,Y; Fischmeister,S, Shoushtari,M; Donyanavard,B; D. Bathen,L. A; Dutt,N, He,Z; Chen,Y;  Shen,Z, Bhattacharjee,S; Chen,Y.-L; Huang,J.-D; Bhattacharya,B. B, Lin, S; Wu,J;  Bhattacharyya,S. S., Huang,T; Zhu,Y; Ha,Y; Wang, X; Qiu,M, Qian,K; Wu,C; Yang,Z; Liu,Y; He, F;  Xing,T, Guo,D; Hassan,M; Pellizzoni,R; Patel,Hiren, Kermani,M. Mozaffari;  Azarderakhsh,R; .Sarker, A;  Jalali,A, / Real,M. M; Wehner,P; Lapotre, V; Göhringer,D;  Gogniat,G, Sui, Y;  Fan,X; Zhou,H;  Xue,J, Li,H; Ota,K; Dong,M, Harrison, D. C; G. Seah,W. K; Rayudu, R, Leonard ,E, A,Tanase; M,Witterauf;  J,Teich;  F,Hannig, / C,Attie P; K. D, Al Bab; M,Sakr, Smyth, S; Motika, C;  Rathlev, K; Hanxleden,R. von; Mendler,M / Smyth, S; Motika, C;  Rathlev, K; Ha, Dokhanchi,A; Hoxha,B;  Fainekos,G, Li,Z;  He,S, / Liang,L; Melham,T;  Kroening,D;  Schrammel,P; Tautschnig,M, ,X; Du,D; Li,Q; Liang,Y; Tang,W. T; Ong,Z. L; Lu,M; Huynh,H. P;  M. Goh,R. S, Lu,S;  Lysecky,R, Ballabriga, C; Forget,J;  Lipari,G, Leech,C; Kumar,C; Acharyya, A; . Yang, S; Merrett,G. V; Al-Hashimi,B. M, Lee, G; Cetin,E; Diessel,O, / Li,F; Yang,Y; Chi,Z;  Zhao,L; Yang, Y; Luo,J.</span>
    <span class="title"><em>Bundel Jurnal ACM Transaction on Embedded Computing System: Editorial /SPECIAL ISSUE ON MEMOCODE 2015: Guest Editorial / Symbolic Multi-Level Loop Mapping of Loop Programs for Massively Parallel Processor Arrays/ Model and Program Repair via SAT Solving 
/ SCEst: Sequentially Constructive Esterel/ Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems/ Fixed-Priority Scheduling for Two-Phase Mixed-Criticality Systems/ Effective Verification for Low-Level Software with Competing Interrupts / Exploiting Sparsity to Accelerate Fully Connected Layers of CNN-Based Applications on Mobile SoCs/ Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems/ Symbolic WCET Computation / Analysis and Design of Adders for Approximate Computing / Runtime Performance and Power Optimization of Parallel Disparity Estimation on Many-Core Platforms/ Fault Recovery Time Analysis for Coarse-Grained Reconfigurable Architecture/ Coverage Preservation with Rapid Forwarding in Energy-Harvesting Wireless Sensor Networks for Critical Rare Events/ Energy Cooperation in Battery-Free Wireless Communications with Radio Frequency Energy Harvesting / Synergistic CPU-GPU Frequency Capping for Energy-Efficient Mobile Games / Mining Timed Regular Specifications from System Traces/ ShaVe-ICE: Sharing Distributed Virtualized SPMs in Many-Core Embedded Systems /Attitude Fusion of Inertial and Magnetic Sensor under Different Magnetic Filed Distortions / Concentration-Resilient Mixture Preparation with Digital Microfluidic Lab-on-Chip/ Memory-Constrained Vectorization and Scheduling of Dataflow Graphs for Hybrid CPU-GPU Platforms/ A Hardware Pipeline with High Energy and Resource Efficiency for FMM Acceleration / Enabling Contactless Detection of Moving Humans with Dynamic Speeds Using CSI / A Comparative Study of Predictable DRAM Controllers / Efficient and Reliable Error Detection Architectures of Hash-Counter-Hash Tweakable Enciphering Schemes / Application Deployment Strategies for Spatial Isolation on Many-Core Accelerators / Loop-Oriented Pointer Analysis for Autom Vectorization/ Trinity: Enabling Self-Sustaining WSNS Indoors with Energy-Free Sensing and Networking</em>.</span>
    <span class="edition">2</span>
    <span class="publish_place">USA:</span>
  <span class="publisher">Association for Computing Machinery,</span>
  <span class="year">2018.</span>
  <span class="gmd_name">Bundel Jurnal.</span>
</p>
<p class="citation">
  <h3>MLA Style</h3>
      <span class="authors">Shukla,S.K, Park,J.-G; Hsieh, C.-Y; Dutt,N; Lim,S.-S, Narayan,A; Cutulenco,G; Joshi,Y; Fischmeister,S, Shoushtari,M; Donyanavard,B; D. Bathen,L. A; Dutt,N, He,Z; Chen,Y;  Shen,Z, Bhattacharjee,S; Chen,Y.-L; Huang,J.-D; Bhattacharya,B. B, Lin, S; Wu,J;  Bhattacharyya,S. S., Huang,T; Zhu,Y; Ha,Y; Wang, X; Qiu,M, Qian,K; Wu,C; Yang,Z; Liu,Y; He, F;  Xing,T, Guo,D; Hassan,M; Pellizzoni,R; Patel,Hiren, Kermani,M. Mozaffari;  Azarderakhsh,R; .Sarker, A;  Jalali,A, / Real,M. M; Wehner,P; Lapotre, V; Göhringer,D;  Gogniat,G, Sui, Y;  Fan,X; Zhou,H;  Xue,J, Li,H; Ota,K; Dong,M, Harrison, D. C; G. Seah,W. K; Rayudu, R, Leonard ,E, A,Tanase; M,Witterauf;  J,Teich;  F,Hannig, / C,Attie P; K. D, Al Bab; M,Sakr, Smyth, S; Motika, C;  Rathlev, K; Hanxleden,R. von; Mendler,M / Smyth, S; Motika, C;  Rathlev, K; Ha, Dokhanchi,A; Hoxha,B;  Fainekos,G, Li,Z;  He,S, / Liang,L; Melham,T;  Kroening,D;  Schrammel,P; Tautschnig,M, ,X; Du,D; Li,Q; Liang,Y; Tang,W. T; Ong,Z. L; Lu,M; Huynh,H. P;  M. Goh,R. S, Lu,S;  Lysecky,R, Ballabriga, C; Forget,J;  Lipari,G, Leech,C; Kumar,C; Acharyya, A; . Yang, S; Merrett,G. V; Al-Hashimi,B. M, Lee, G; Cetin,E; Diessel,O, / Li,F; Yang,Y; Chi,Z;  Zhao,L; Yang, Y; Luo,J.</span>
    <span class="title"><em>Bundel Jurnal ACM Transaction on Embedded Computing System: Editorial /SPECIAL ISSUE ON MEMOCODE 2015: Guest Editorial / Symbolic Multi-Level Loop Mapping of Loop Programs for Massively Parallel Processor Arrays/ Model and Program Repair via SAT Solving 
/ SCEst: Sequentially Constructive Esterel/ Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems/ Fixed-Priority Scheduling for Two-Phase Mixed-Criticality Systems/ Effective Verification for Low-Level Software with Competing Interrupts / Exploiting Sparsity to Accelerate Fully Connected Layers of CNN-Based Applications on Mobile SoCs/ Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems/ Symbolic WCET Computation / Analysis and Design of Adders for Approximate Computing / Runtime Performance and Power Optimization of Parallel Disparity Estimation on Many-Core Platforms/ Fault Recovery Time Analysis for Coarse-Grained Reconfigurable Architecture/ Coverage Preservation with Rapid Forwarding in Energy-Harvesting Wireless Sensor Networks for Critical Rare Events/ Energy Cooperation in Battery-Free Wireless Communications with Radio Frequency Energy Harvesting / Synergistic CPU-GPU Frequency Capping for Energy-Efficient Mobile Games / Mining Timed Regular Specifications from System Traces/ ShaVe-ICE: Sharing Distributed Virtualized SPMs in Many-Core Embedded Systems /Attitude Fusion of Inertial and Magnetic Sensor under Different Magnetic Filed Distortions / Concentration-Resilient Mixture Preparation with Digital Microfluidic Lab-on-Chip/ Memory-Constrained Vectorization and Scheduling of Dataflow Graphs for Hybrid CPU-GPU Platforms/ A Hardware Pipeline with High Energy and Resource Efficiency for FMM Acceleration / Enabling Contactless Detection of Moving Humans with Dynamic Speeds Using CSI / A Comparative Study of Predictable DRAM Controllers / Efficient and Reliable Error Detection Architectures of Hash-Counter-Hash Tweakable Enciphering Schemes / Application Deployment Strategies for Spatial Isolation on Many-Core Accelerators / Loop-Oriented Pointer Analysis for Autom Vectorization/ Trinity: Enabling Self-Sustaining WSNS Indoors with Energy-Free Sensing and Networking</em>.</span>
    <span class="edition">2</span>
    <span class="publish_place">USA:</span>
  <span class="publisher">Association for Computing Machinery,</span>
  <span class="year">2018.</span>
  <span class="gmd_name">Bundel Jurnal.</span>
</p>
<p class="citation">
  <h3>Turabian Style</h3>
      <span class="authors">Shukla,S.K, Park,J.-G; Hsieh, C.-Y; Dutt,N; Lim,S.-S, Narayan,A; Cutulenco,G; Joshi,Y; Fischmeister,S, Shoushtari,M; Donyanavard,B; D. Bathen,L. A; Dutt,N, He,Z; Chen,Y;  Shen,Z, Bhattacharjee,S; Chen,Y.-L; Huang,J.-D; Bhattacharya,B. B, Lin, S; Wu,J;  Bhattacharyya,S. S., Huang,T; Zhu,Y; Ha,Y; Wang, X; Qiu,M, Qian,K; Wu,C; Yang,Z; Liu,Y; He, F;  Xing,T, Guo,D; Hassan,M; Pellizzoni,R; Patel,Hiren, Kermani,M. Mozaffari;  Azarderakhsh,R; .Sarker, A;  Jalali,A, / Real,M. M; Wehner,P; Lapotre, V; Göhringer,D;  Gogniat,G, Sui, Y;  Fan,X; Zhou,H;  Xue,J, Li,H; Ota,K; Dong,M, Harrison, D. C; G. Seah,W. K; Rayudu, R, Leonard ,E, A,Tanase; M,Witterauf;  J,Teich;  F,Hannig, / C,Attie P; K. D, Al Bab; M,Sakr, Smyth, S; Motika, C;  Rathlev, K; Hanxleden,R. von; Mendler,M / Smyth, S; Motika, C;  Rathlev, K; Ha, Dokhanchi,A; Hoxha,B;  Fainekos,G, Li,Z;  He,S, / Liang,L; Melham,T;  Kroening,D;  Schrammel,P; Tautschnig,M, ,X; Du,D; Li,Q; Liang,Y; Tang,W. T; Ong,Z. L; Lu,M; Huynh,H. P;  M. Goh,R. S, Lu,S;  Lysecky,R, Ballabriga, C; Forget,J;  Lipari,G, Leech,C; Kumar,C; Acharyya, A; . Yang, S; Merrett,G. V; Al-Hashimi,B. M, Lee, G; Cetin,E; Diessel,O, / Li,F; Yang,Y; Chi,Z;  Zhao,L; Yang, Y; Luo,J.</span>
    <span class="title"><em>Bundel Jurnal ACM Transaction on Embedded Computing System: Editorial /SPECIAL ISSUE ON MEMOCODE 2015: Guest Editorial / Symbolic Multi-Level Loop Mapping of Loop Programs for Massively Parallel Processor Arrays/ Model and Program Repair via SAT Solving 
/ SCEst: Sequentially Constructive Esterel/ Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems/ Fixed-Priority Scheduling for Two-Phase Mixed-Criticality Systems/ Effective Verification for Low-Level Software with Competing Interrupts / Exploiting Sparsity to Accelerate Fully Connected Layers of CNN-Based Applications on Mobile SoCs/ Time and Sequence Integrated Runtime Anomaly Detection for Embedded Systems/ Symbolic WCET Computation / Analysis and Design of Adders for Approximate Computing / Runtime Performance and Power Optimization of Parallel Disparity Estimation on Many-Core Platforms/ Fault Recovery Time Analysis for Coarse-Grained Reconfigurable Architecture/ Coverage Preservation with Rapid Forwarding in Energy-Harvesting Wireless Sensor Networks for Critical Rare Events/ Energy Cooperation in Battery-Free Wireless Communications with Radio Frequency Energy Harvesting / Synergistic CPU-GPU Frequency Capping for Energy-Efficient Mobile Games / Mining Timed Regular Specifications from System Traces/ ShaVe-ICE: Sharing Distributed Virtualized SPMs in Many-Core Embedded Systems /Attitude Fusion of Inertial and Magnetic Sensor under Different Magnetic Filed Distortions / Concentration-Resilient Mixture Preparation with Digital Microfluidic Lab-on-Chip/ Memory-Constrained Vectorization and Scheduling of Dataflow Graphs for Hybrid CPU-GPU Platforms/ A Hardware Pipeline with High Energy and Resource Efficiency for FMM Acceleration / Enabling Contactless Detection of Moving Humans with Dynamic Speeds Using CSI / A Comparative Study of Predictable DRAM Controllers / Efficient and Reliable Error Detection Architectures of Hash-Counter-Hash Tweakable Enciphering Schemes / Application Deployment Strategies for Spatial Isolation on Many-Core Accelerators / Loop-Oriented Pointer Analysis for Autom Vectorization/ Trinity: Enabling Self-Sustaining WSNS Indoors with Energy-Free Sensing and Networking</em>.</span>
    <span class="edition">2 
    <span class="publish_place">USA:</span>
  <span class="publisher">Association for Computing Machinery,</span>
  <span class="year">2018.</span>
  <span class="gmd_name">Bundel Jurnal.</span>
</p>
<p class="spacer">&nbsp;</p>