Publications

Copyright disclaimer: The documents contained in this page are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


2010

[TOPLAS] Scratchpad Allocation for Concurrent Embedded Software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra 
ACM Transactions on Programming Languages and Systems (To appear)
Much expanded version of CODES+ISSS’08 conference paper

2009

[RTSS] Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores
Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury
IEEE Real-Time Systems Symposium, December 2009

[ICCAD] A Hybrid Local-Global Approach for Multi-Core Thermal Management
Ramkumar Jayaseelan, Tulika Mitra
International Conference on Computer-aided Design, November 2009

[EMSOFT] Probabilistic Modeling of Data Cache Behavior
Vinayak Puranik, Tulika Mitra, Y. N. Srikant
International Conference on Embedded Software, October 2009

Cache-aware Optimization of BAN Applications 
Lei Ju, Yun Liang, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
Design Automation for Embedded Systems, Springer Journal
Invited: Special Issue on Best Papers from ESWeek 2008

Temperature Aware Scheduling for Embedded Processors
Ramkumar Jayaseelan, Tulika Mitra
Journal of Low Power Electronics, American Scientific Publisher, 5(3), October 2009
Invited: Special Issue on VLSI Design 2009

[DAC] Generating Test Programs to Cover Pipeline Interactions 
Thanh Nga Dang, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra
Design Automation Conference, July 2009
Best Paper Award Nomination

[DAC]
Dynamic Thermal Management via Architectural Adaptation
Ramkumar Jayaseelan, Tulika Mitra
Design Automation Conference, July 2009

[DAC] Evaluating Design Trade-offs in Customizable Processors
Unmesh D. Bordoloi, Huynh Phung Huynh, Samarjit Chakraborty, Tulika Mitra
Design Automation Conference, July 2009

[DAC] A DVS-based Pipelined Reconfigurable Instruction Memory
Zhiguo Ge, Tulika Mitra, Weng-Fai Wong
Design Automation Conference, July 2009

[SAMOS] Runtime Adaptive Extensible Embedded Processors – A Survey
Huynh Phung Huynh, Tulika Mitra
International Workshop on Systems, Architectures, Modeling, and Simulation, July 2009
Invited Paper

An Efficient Framework for Dynamic Reconfiguration of Instruction-Set Customization
Huynh Phung Huynh, Edward Sim, Tulika Mitra
Design Automation for Embedded Systems, Springer Journal, 13(1-2), June 2009
Invited: Special Issue on Best Papers from ESWeek 2007

[DATE] Runtime Reconfiguration of Custom Instructions for Real-Time Embedded Systems
Huynh Phung Huynh, Tulika Mitra
Design Automation and Test in Europe, April 2009

[VLSI] Temperature Aware Scheduling for Embedded Processors
Ramkumar Jayaseelan, Tulika Mitra
International Conference on VLSI Design, January 2009

Cache-Aware Timing Analysis of Streaming Applications 
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele
Real-Time Systems Journal, Kluwer Academic Publishers, 41(1), January 2009
Invited: Special Issue on Best Papers from ECRTS 2007


2008

[FPT] Defining Neighborhood Relations for Fast Spatial-Temporal Partitioning of Applications on Reconfigurable Architectures
Edward Sim, Tulika Mitra, Weng-Fai Wong
International Conference on Field Programmable Technology, December 2008 

[FPT] Processor Customization for Wearable Bio-monitoring Platforms
Huynh Phung Huynh, Tulika Mitra
International Conference on Field Programmable Technology, December 2008 

[ICCAD] Temperature aware Task Sequencing and Voltage Scaling
Ramkumar Jayaseelan, Tulika Mitra
International Conference on Computer-aided Design, November 2008

[CODES+ISSS] Static Analysis for Fast and Accurate Design Space Exploration of Caches
Yun Liang, Tulika Mitra
International Conference on Hardware/Software Codesign and System Synthesis, October 2008

[CODES+ISSS] Scratchpad Allocation for Concurrent Embedded Software
Vivy Suhendra, Abhik Roychoudhury, Tulika Mitra 
International Conference on Hardware/Software Codesign and System Synthesis, October 2008

[CODES+ISSS] Cache-aware Optimization of BAN Applications 
Yun Liang, Lei Ju, Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury
International Conference on Hardware/Software Codesign and System Synthesis, October 2008
Best Paper Award Nomination

[DAC] Cache Modeling in Probabilistic Execution Time Analysis
Yun Liang, Tulika Mitra
Design Automation Conference, June 2008

[DAC] Exploring Locking & Partitioning for Predictable Shared Caches on Multi-Cores
Vivy Suhendra, Tulika Mitra
Design Automation Conference, June 2008

[BSN] Fast and Accurate Simulation of Biomonitoring Applications on a Wireless Body Area Network
Kathy Dang Nguyen, Ioana Cutcutache, Saravanan Sinnadurai, Shanshan Liu, Cihat Basol, Edward Sim, Phan Thi Xuan Linh, Tok Teck Bok, Lin Xu, Francis Tay Eng Hock, Tulika Mitra, Weng-Fai Wong.
International Workshop on Wearable and Implantable Body Sensor Networks, June 2008

The Worst-Case Execution Time Problem - Overview of Methods and Survey of Tools
R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckman, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, P. Stenstrom.
ACM Transactions on Embedded Computing Systems, 7(3), April 2008


2007

Chronos: A Timing Analyzer for Embedded Software
Xianfeng Li, Yun Liang, Tulika Mitra, Abhik Roychoudhury
Science of Computer Programming, Special issue on Experimental Software and Toolkit, 69(1-3), December 2007

Worst-Case Execution Time and Energy Analysis
Tulika Mitra, Abhik Roychoudhury
Chapter in The Compiler Design Handbook: Optimizations and Machine Code Generation, 2nd edition, CRC Press.

A SystemC-based Fast Simulator for Biomonitoring Applications on Wireless Ban
Kathy Dang Nguyen, Ioana Cutcutache, Saravanan Sinnadurai, Shanshan Liu, Cihat Basol, Adrian CuricTok Teck Bok, Lin Xu, Francis Tay Eng Hock, Tulika Mitra
Workshop on Software and Systems for Medical Devices and Services, December 2007

[CASES] An Efficient Framework for Dynamic Reconfiguration of Instruction-Set Customization
Huynh Phung Huynh, Edward Sim, Tulika Mitra
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 2007

[FPL] Disjoint Pattern Enumeration for Custom Instructions Identification [Technical report]  
Pan Yu, Tulika Mitra
International Conference on Field Programmable Logic and Applications, August 2007
Best Paper Award Nomination

[ECRTS] Cache-Aware Timing Analysis of Streaming Applications
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoudhury, Lothar Thiele, Unmesh D. Bordoloi, Cem Derdiyok.
Euromicro Conference on Real-Time Systems, July 2007
Best Paper Award Nomination

[WCET] Timing Analysis of Body Area Network Application
Yun Liang, Abhik Roychoudhury, Tulika Mitra
International Workshop on Worst-Case Execution Time Analysis, July 2007

[DATE] Instruction-Set Customization for Real-Time Systems
Huynh Phung Huynh, Tulika Mitra
Design Automation and Test in Europe, April 2007

[ASP-DAC] A Retargetable Software Timing Analyzer Using Architecture Description Language
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra, Prabhat Mishra, Xu Cheng
Asia and South Pacific Design Automation Conference, January 2007


2006

Modeling Out-of-Order Processors for WCET Analysis,
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
Real-Time Systems Journal, Kluwer Academic Publishers, 34(3), November 2006

[CASES] Integrated Scratchpad Memory Optimization and Task Scheduling for MPSoC Architectures
Vivy Suhendra, Chandrashekar Raghavan, Tulika Mitra
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, October 2006

Challenges in Designing Embedded Systems Courses
Tulika Mitra
Workshop on Embedded Systems Education in conjunction with EMSOFT, October 2006 

[DAC] Exploiting Forwarding to Improve Data Bandwidth of Instruction-Set Extensions  [Technical report ]
Ramkumar Jayaseelan, Haibin Liu, Tulika Mitra.
Design Automation Conference, July 2006

[DAC] Efficient Detection and Exploitation of Infeasible Paths for Software Timing Analysis
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen
Design Automation Conference, July 2006

[RTAS] Estimating the Worst-Case Energy Consumption of Embedded Software,
Ramkumar Jayaseelan, Tulika Mitra, Xianfeng Li
Real-Time and Embedded Technology and Applications Symposium, April 2006

[VLSI] Handling Constraints in Multi-objective GA for Embedded System Design,
Biman Chakraborty, Ting Chen, Tulika Mitra, Abhik Roychoudhury
International Conference on VLSI Design, January 2006


2005

[RTSS] WCET Centric Data Allocation to Scratchpad Memory,
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen
Real-time Systems Symposium, December 2005

Analyzing Loop Paths for Execution Time Estimation,
Abhik Roychoudhury, Tulika Mitra, Hemedra Singh Negi
International Conference on Distributed Computing and Internet Technology, December 2005. LNCS vol. 3347

[CODES+ISSS] Satisfying Real-Time Constraints with Custom Instructions,
Pan Yu, Tulika Mitra
International Conference on Hardware/Software Codesign and System Synthesis, September 2005

[WCET] Exploiting Branch Constraints without Exhaustive Path Enumeration
Ting Chen, Tulika Mitra, Abhik Roychoudhury, Vivy Suhendra
International Workshop on Worst-Case Execution Time Analysis, July 2005

Modeling Control Speculation for Timing Analysis,
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
Real-Time Systems Journal, Kluwer Academic Publishers, 29(1), January 2005


2004

[RTSS] Modeling Out-of-Order Processors for Software Timing Analysis,
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
Real-time Systems Symposium, December 2004

[ICCAD] Configuration Bitstream Compression for Dynamically Reconfigurable FPGAs
Ju Hwa Pan, Tulika Mitra, Weng-Fai Wong
International Conference on Computer Aided Design, November 2004

[PACT] Impact of Java Memory Model on Out-of-Order Multiprocessors
Tulika Mitra, Abhik Roychoudhury, Qinghua Shen
International Conference on Parallel Architecture and Compilation Techniques, September-October 2004

[CASES] Scalable Custom Instructions Identification for Instruction-Set Extensible Processors,
Pan Yu, Tulika Mitra
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, September 2004

[DAC] Characterizing Embedded Applications for Instruction-Set Extensible Processors
Pan Yu, Tulika Mitra
Design Automation Conference, June 2004

[ICS] Design Space Exploration of Caches using Compressed Traces
Xianfeng Li, Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury
International Conference on Supercomputing, June 2004

[WCET] Simplifying WCET Analysis by Code Transformations
Hemendra Singh Negi, Abhik Roychoudhury, Tulika Mitra
International Workshop on Worst-Case Execution Time Analysis, June 2004


2003

[CODES+ISSS] Accurate Estimation of Cache-Related Preemption Delay,
Hemendra Singh Negi, Tulika Mitra, Abhik Roychoudhury
International Conference on Hardware/Software Codesign and System Synthesis, October 2003

Improving Rendering by Texture Map-Based Triangle Strips
Yu Yang, Tulika Mitra, Zhiyong Huang
International Conference on Computer Aided Design and Computer Graphics, October 2003

[FPL] A Model for Hardware Realization of Kernel Loops
Jirong Liao, Weng-Fai Wong, Tulika Mitra
International Conference on Field Programmable Logic and Applications, September 2003

[PPoPP] Compactly Representing Parallel Program Executions
Ankit Goel, Abhik Roychoudhury, Tulika Mitra
Symposium on Principles and Practice of Parallel Programming, June 2003

[DAC] Accurate Timing Analysis by Modeling Caches, Speculation and their Interaction
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
Design Automation Conference, June 2003 

[DATE] Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol,
Abhik Roychoudhury, Tulika Mitra, Siddhartha Rao Karri
Design Automation & Test in Europe, March 2003

[DCC] Compression-Domain Editing of 3D Models
Tulika Mitra, Tzi-cker Chiueh
Data Compression Conference, March 2003


2002

[FPT] A Co-simulation Study of Adaptive EPIC Computing
Valentin Stefan Gheorghita, Weng-Fai Wong, Tulika Mitra, Surendranath Talla
International Conference on Field Programmable Technology, December 2002 

[ISSS] Timing Analysis of Embedded Software for Speculative Processors,
Tulika Mitra, Abhik Roychoudhury, Xianfeng Li
International Symposium on System Synthesis, October 2002

[WCET] A Framework to Model Branch Prediction for WCET Analysis
Tulika Mitra, Abhik Roychourdhury
Workshop on Worst Case Execution Time Analysis, June 2002

[USENIX] A Decoupled Architecture for Application-Specific File Prefetching,
Chuan-Kai Yang, Tulika Mitra, Tzi-cker Chiueh.
USENIX Annual Technical Conference FREENIX track, June 2002

[ICSE] Specifying Multithreaded Java Semantics for Program Verification
Abhik Roychoudhury, Tulika Mitra
International Conference on Software Engineering, May 2002

[FCCM] An FPGA Implementation of Triangle Mesh Decompression
Tulika Mitra, Tzi-cker Chiueh
 International Symposium on Field Programmable Custom Computing Machines, April 2002

[IPDPS] Compression Domain Parallel Rendering
Tulika Mitra, Tzi-cker Chiueh
International Parallel and Distributed Processing Symposium, April 2002


Before 2001

Mesh Compression and Its Hardware/Software Applications,
Tulika Mitra
PhD Thesis, Department of Computer Science, State University of New York at Stony Brook, December 2000

Zodiac: A History-Based Interactive Video Authoring System,
Tzi-cker Chiueh, Tulika Mitra, Anindya Neogi, Chuan-Kai Yang
Multimedia Systems journal, special issue on Multimedia Authoring and Presentation Techniques, Volume 8(3) 2000

[VIS] On-the-Fly Rendering of Losslessly Compressed Irregular Volume Data,
Chuan-Kai Yang, Tulika Mitra, Tzi-cker Chiueh
Visualization Conference, October 2000

[ICME] Application-Specific File Prefetching for Multimedia Programs,
Tulika Mitra, Chuan-Kai Yang, Tzi-cker Chiueh
International Conference on Multimedia and Expo, July 2000

Three Dimensional Graphics Architecture,
Tulika Mitra, Tzi-cker Chiueh
Current Science: Special Section on Computational Science, Volume 78(7), April 2000

Reusing BIST Logic for Intelligent DRAM,
Tzi-cker Chiueh, Tulika Mitra
IEEE Computer Society Technical Committee on Computer Architecture (TCCA) Newsletter, 2000

[MICRO] Dynamic 3D Graphics Workload Characterization and the Architectural Implications [Technical report]
Tulika Mitra, Tzi-cker Chiueh
International Symposium on Microarchitecture, November 1999

[ISCA] Dynamic Vectorization: A Mechanism for Exploiting Far-Flung ILP in Ordinary Programs
Sriram Vajapeyam, P.J. Joseph, Tulika Mitra
International Symposium on Computer Architecture, May 1999

Dynamic Random Access Memory: A Survey
Tulika Mitra
Research Proficiency Examination Report, SUNY at Stony Brook, March 1999

[ICPADS]  Implementation and Performance Evaluation of Parallel Mesa Library
Tulika Mitra, Tzi-cker Chiueh
International Conference on Parallel and Distributed Systems, December 1998

[MM]  Zodiac: A History-Based Interactive Video Authoring System
Tzi-cker Chiueh, Tulika Mitra, Anindya Neogi, Chuan-Kai Yang
International Multimedia Conference, September 1998

[GH] A Breadth-First Approach to Efficient Mesh Traversal
Tulika Mitra, Tzi-cker Chiueh
Workshop on Graphics Hardware, August 1998

[ISCA] Improving Superscalar Instruction Dispatch and Issue by Exploiting Dynamic Code Sequence
Sriram Vajapeyam, Tulika Mitra
International Symposium on Computer Architecture, June 1997

Performance Evaluation of Improved Superscalar Issue Mechanisms
Tulika Mitra
Masters Thesis, Department of Computer Science and Automation, Indian Institute of Science, Bangalore, India, January 1997.

A neural method for determining electromagnetic shower positions in laterally segmented calorimeters,
Amitava Roy, Amlan Roy, Tulika Mitra, Arunabha Roy
Nuclear instruments and methods in Physics Research, A 364 1995, 524-530