Conference Proceedings

2016 Design, Automation & Test in Europe Conference & Exhibition

Date: March 14-18, 2016

Location: Dresden, Germany

Website: https://www.date-conference.com/date16/

Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh, “ADVOCAT: Automated Deadlock Verification for On-Chip Cache Coherence and Interconnects,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1640-1645, Dresden, Germany, March 14-18, 2016

Haeseung Lee, Hsinchung Chen, Mohammad Abdullah Al Faruque, “PAIS: Parallelization Aware Instruction Scheduling for Improving Soft-Error Reliability of GPU-Based Systems,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1568-1573, Dresden, Germany, March 14-18, 2016

Ahmed Nassar, Fadi J. Kurdahi, Salam R. Zantout, “Topza: Mining High-Level Safety Properties from Logic Simulation Traces,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1473-1476, Dresden, Germany, March 14-18, 2016

Vahideh Akhlaghi, Abbas Rahimi, Rajesh K. Gupta, “Resistive Bloom Filters: From Approximate Membership to Approximate Computing with Bounded Errors,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1441-1444, Dresden, Germany, March 14-18, 2016

Mohsen Imani, Abbas Rahimi, Tajana S. Rosing, “Resitive Configurable Associative Memory for Approximate Computing,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1327-1332, Dresden, Germany, March 14-18, 2016

Atieh Lotfi, Abbas Rahimi, Amir Yazdanbakhsh, Hadi Esmaeilzadeh, Rajesh K. Gupta, “Grater: An Approximation Workflow for Expoliting Data-Level Parallelism in FPGA Acceleration,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1279-1284, Dresden, Germany, March 14-18, 2016

Erich Barke, Andreas Furtig, Georg Glaeser, Christoph Grimm, Lars Hedrich, Stefan Heinen, Eckhard Hennig, Hyun-Sek Lukas Lee, Wolfgang Nebel, Gregor Nitsche, Markus Olbrich, Carna Radojicic,Fabian Speicher, “Embedded Tutorial: Analog-/Mixed-Signal Verification Methods for AMS Coverage Analysis,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 1102-1111, Dresden, Germany, March 14-18, 2016

Christopher B. Harris, Ian G. Harris, “GLAsT: Learning Formal Grammars to Translate Natural Language Specifications into Hardware Assertions,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 966-971, Dresden, Germany, March 14-18, 2016

Mohammad Ebrahimi, Zana Ghaderi, Eli Bozorgzadeh, Zain Navabi, “Path Selection and Sensor Insertion Flow for Age Monitoring in FPGAs,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016):792-797, Dresden, Germany, March 14-18, 2016

Mohsen Imani, Shruti Patil, Tajana S. Rosing, “MASC: Ultra-Low Energy Multiple-Access Single-Charge TCAM for Approximate Computing,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 373-378, Dresden, Germany, March 14-18, 2016

Nils Koppaetzky, Malte Metzdorf, Reef Eilers, Domenik Helms, Wolfgang Nebel, “RT Level Timing Modeling for Aging Prediction,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 297-300, Dresden, Germany, March 14-18, 2016

Ahmet Unutulmaz, Domenik Helms, Reef Eilers, Malte Metzdorf, Ben Kaczer, Wolfgang Nebel, “Analysis of NBTI Effects on High Frequency Digital Circuits,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 223-228, Dresden, Germany, March 14-18, 2016

Korosh Vatanparvar, Mohammad Abdullah Al Faruque, “OTEM: Optimized Thermal and Energy Management for Hybrid Electrical Energy Storage in Electric Vehicles,” 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE 2016): 19-24, Dresden, Germany, March 14-18, 2016 ***Best Paper Award***

 

2016 IEEE International Conference on Pervasive Computing and Communication Workshops

Date: March 14-18, 2016

Location: Sydney, Australia

Website: http://www.percom.org/Previous/ST2016/

Sharad Mehrotra, Alfred Kobsa, Nalini Venkatasubramanian, Siva Raj Rajagopalan, “TIPPERS: A Privacy Cognizant to IoT Environment,” 2016 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshop 2016): 1-6, Sydney, Australia, March 14-18, 2016

 

The 2016 International Symposium on Code Generation and Optimization

Date: March 12-18, 2016

Location: Barcelona, Spain

Website: http://cgo.org/cgo2016/

Byron Hawkins, Brian Demsky, Michael B. Taylor, “BlackBox: Lightweight Security Monitoring for COTS Binaries,” the 2016 International Symposium on Code Generation and Optimization (CGO 2016): 261-272, Barcelona, Spain, March 12-18, 2016

 

19th GI/ITG/GMM Workshop for Methods and Languages for Modeling and Verification of Circuits and Systems

Date: March 1-2, 2016

Location: Breisgau, Germany

Jörg Walter, Ralph Görgen, Wolfgang Nebel, “Predicting Performance and Energy Efficiency for Large-Scale Parallel Applications on Highly Heterogeneous Platforms,” 19th GI/ITG/GMM Workshop for Methods and Languages for Modeling and Verification of Circuits and Systems (MBMV 2016): 116-127, Breisgau, Germany, March 1-2, 2016

 

The 10th IEEE International Conference on Semantic Computing

Date: February 4-6, 2016

Location: Laguna Hills, CA, USA

Website: http://ieeeism.wixsite.com/icsc2016

Yuki Sawa, Ram Bhakta, Ian G. Harris, Christopher Hadnagy, “Detection of Social Engineering Attacks Through Natural Language Processing of Conversations,” The 10th IEEE International Conference on Semantic Computing (ICSC 2016): 262-265, Laguna Hills, CA, USA, February 4-6, 2016

 

The 21st Asia and South Pacific Design Automation Conference

Date: January 25-28, 2016

Location: Macao, Macao

Website: http://www.aspdac.com/aspdac2016/

Zana Ghaderi, Eli Bozorgzadeh, “Aging-Aware High-Level Physical Planning for Reconfigurable Systems,” The 21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016): 631-636, Macao, Macao, January 25-28, 2016

Ahmed Nassar, Fadi J. Kurdahi, “Lattice-Based Boolean Diagrams,” The 21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016): 468-473, Macao, Macao, January 25-28,
2016 ***Best Paper Award***

Mohammad Abdullah Al Faruque, Korosh Vatanparvar, “Modeling, Analysis, and Optimization of Electric Vehicle HVAC Systems,” The 21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016): 423-428, Macao, Macao, January 25-28, 2016

Santanu Sarma, Tiago Muck, Majid Shoushtari, Abbas BanaiyanMofrad, Nikil Dutt, “Cross-Layer Virtual/Physical Sensing and Actuation for Resilient Heterogeneous Many-Core SoCs,” The 21st Asia and South Pacific Design Automation Conference (ASP-DAC 2016): 395-402, Macao, Macao, January 25-28, 2016

 

13th IEEE Annual Consumer Communications & Networking Conference

Date: January 9-12, 2016

Location: Las Vegas, NV, USA

Website: http://ccnc2016.ieee-ccnc.org/

Gene Tsudik, Ersin Uzun, Christopher A. Wood, “AC3N: Anonymous Communication in Content-Centric Networking,” 13th IEEE Annual Consumer Communications & Networking Conference (CCNC 2016): 988-991, Las Vegas, NV, USA, January 9-12, 2016

 

The 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems

Date: January 4-8, 2016

Location: Kolkata, India

Website: http://vlsiconference.com/

Ishan G. Thakkar, Sudeep Pasricha, “Massed Refresh: An Energy-Efficient Technique to Reduce Refresh Overhead in Hybrid Memory Cube Architectures,” The 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems (VLSID 2016): 104-109, Kolkata, India, January 4-8, 2016

Sai Vineel Reddy Chittamuru, Sudeep Pasricha, “SPECTRA: A Framework for Thermal Reliability Management in Silicon-Photonic Networks-on-Chip,” The 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems (VLSID 2016): 86-91, Kolkata, India, January 4-8, 2016

Partha Pratim Pande, Sudeep Pasricha, Hiroki Matsutani, “The Future of NoCs: New Technologies and Architectures,” The 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems (VLSID 2016): 53-55, Kolkata, India, January 4-8, 2016

Sandeep K. Shukla, “Cyber Security of Cyber Physical Systems: Cyber Threats and Defense of Critical Infrastructures,” The 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems (VLSID 2016): 30-31, Kolkata, India, January 4-8, 2016

Nikil Dutt, Nima Taherinejad, “Self-Awareness in Cyber-Physical Systems,” The 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems (VLSID 2016):5-6, Kolkata, India, January 4-8, 2016

 

The Sixth International Green and Sustainable Computing Conference

Date: December 14-16, 2015

Location: Las Vegas, NV, USA

Website: http://igsc.eecs.wsu.edu/

Baris Aksanli, Alper Sinan Akyurek, Tajana Rosing, “Minimizing the Effects of Data Centers on Microgrid Stability,” The Sixth International Green and Sustainable Computing Conference (IGSC 2015):1-9, Las Vegas, NV, USA, December 14-16, 2015

Songwen Pei, Junge Zhang, Naixue Xiong, Myoung-Seo Kim, Jean-Luc Gaudiot, “Performance Energy Efficiency Model of Heterogeneous Parallel Multicore Systems,” The Sixth International Green and Sustainable Computing Conference (IGSC 2015):1-6, Las Vegas, NV, USA, December 14-16, 2015

Alper Sinan Akyurek, Baris Aksanli, Tajana Simunic Rosing, “S2Sim: Smart Grid Swarm Simulator,” The Sixth International Green and Sustainable Computing Conference (IGSC 2015):1-6, Las Vegas, NV, USA, December 14-16, 2015

 

The 7th International Conference -Mobile Computing, Applications, and Services

Date: November 12-13,2015

Location: Berlin, Germany

Website: http://mobicase.org/2015/show/home

Shruti Patil, Yeseong Kim, Kunal Korgaonkar, Ibrahim Awwal, Tajana Simunic Rosing,“Characterization of User’s Behavior Variations for Design of Replayable Mobile Workloads,” The 7th International Conference -Mobile Computing, Applications, and Services (MobiCASE 2015):51-70, Berlin, Germany,November 12-13,2015

 

The International Conference on Knowledge Management and Information Sharing

Date: November 12-14, 2015

Location: Lisbon, Portugal

Website: http://www.kmis.ic3k.org/

Luis Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schnider-Kamp, “repAIrC: A Tool for Ensuring Data Consistency,” The International Conference on Knowledge Management and Information Sharing (KMIS 2015): 17-26, Lisbon, Portugal, November 12-14, 2015

 

IEEE/ACM International Conference on Computer-Aided Design

Date: November 2-6, 2015

Location: Austin, TX, USA

Website: https://iccad.com/

Francesco Paterna, Tajana Simunic Rosing, “Modeling and Mitigation of Extra-SoC Thermal Coupling Effects and Heat Transfer Variations in Mobile Devices,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2015): 831-838, Austin, TX, USA, November 2-6, 2015

Yeseong Kim, Mohsen Imani, Shruti Patil, Tajana Simunic Rosing, “CAUSE: Critical Application Usage-Aware Memory System Using Non-Violatile Memory for Mobile Devices,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2015): 690-696, Austin, TX, USA, November 2-6, 2015

Nga Dang, Robert Valentini, Eli Bozorgazadeh, Marco Levorato, Nalini Venkatasubramanian, “A Unified Stochastic Model for Energy Management in Solar-Powered Embedded Systems,”IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2015): 621-626, Austin,TX, USA, November 2-6, 2015

Yeseong Kim, Francesco Parterna, Sameer Tilak, Tajana Simunic Rosing, “Smartphone Analysis and Optimization Based on User Activity Recognition,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2015): 605-612, Austin, TX, USA, November 2-6, 2015

Nikil D. Dutt, Axel Jantsch, Santanu Sarma, “Self-Aware Cyber-Physical Systems-on-Chip,” IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2015):46-50, Austin,TX,USA, November 2-6,2015

 

2015 IEEE International Conference on Big Data

Date: October 29-November 1, 2015

Location: Santa Clara, CA, USA

Website: http://cci.drexel.edu/bigdata/bigdata2015/

Katayoun Neshatpour, Maria Malik, Mohammad Ali Ghodrat, Avesta Sasan, Houman Homayoun,“Energy-Efficient Acceleration of Big Data Analytics Applications Using FPGAs,” 2015 IEEE International Conference on Big Data (Big Data 2015): 115-123, Santa Clara, CA, USA, October 29-November 1, 2015

Maria Malik, Setareh Rafatirah, Avesta Sasan, Houman Homayoun, “System and Architecture Level Characterization of Big Data Applications on BIg and Little Core Server Architectures,” 2015 IEEE International Conference on Big Data (Big Data 2015): 85-94, Santa Clara, CA, USA, October 29- November 1, 2015

 

ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications

Date: October 25-30, 2015

Location: Pittsburgh, PA, USA

Website: http://2015.splashcon.org/track/oopsla2015

Peizhao Ou, Brian Demsky, “AutoMO: Automatic Inference of Memory Order Parameters for C/C++11” ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015): 221-240, Pittsburgh, PA, USA, October 25-30, 2015

Brian Demsky, Patrick Lam, “SATCheck: SAT-Directed Stateless Model Checking for SC and TSO,” ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2015): 20-36, Pittsburgh, PA, USA, October 25-30, 2015

 

The 12th IEEE International Conference on e-Business Engineering

Date: October 23-25, 2015

Location: Beijing, China

Website: http://conferences.computer.org/icebe/

Jun Na, Kwei-Jay Lin, Zhenqiu Huang, Sen Zhou, “An Evolutionary Game Approach on IoT Service Selection for Balancing Device Energy Consumption,” The 12th IEEE International Conference on e-Business Engineering (ICEBE 2015): 331-338, Beijing, China, October 23-25, 2015