Demo Data from EDBT 2026 / reviewers in the wild / expert
Pushkin R. Pari
dblp:70/4163
· DBLP profile ↗
4ranked-venue papers
1as first author
0since 2021 · last 2006
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 2 · 1 first-authorSystems, architecture and hardware · 2Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 33% Algorithms and data structures · 17% Computational complexity · 17% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking › satisfiability › k-SAT
3-SAT |
0.0 | 1 | 2004 | Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004 |
Automata and formal languages
finite automata |
0.0 | 1 | 2004 | Finding Redundant Constraints for FSM Minimization · AAAI 2004 |
Graph algorithms and graph theory
graph algorithms |
0.0 | 1 | 2004 | Finding Redundant Constraints for FSM Minimization · AAAI 2004 |
Algorithms and data structures
randomized algorithms |
0.0 | 1 | 2004 | Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004 |
Computational complexity › constraint satisfaction › random constraint satisfaction
random SAT instance generation |
0.0 | 1 | 2004 | Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004 |
Automated reasoning and model checking
satisfiability |
0.0 | 1 | 2004 | Generating 'Random' 3-SAT Instances with Specific Solution Space Structure · AAAI 2004 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | Dual-Processor Design of Energy Efficient Fault-Tolerant SystemabstractA popular approach to guarantee fault tolerance in safety-critical applications is to run the application on two processors. A checkpoint is inserted at the completion of the primary copy. If there is no fault, the secondary processor terminates its execution. Otherwise, should the fault occur, the second processor continues and completes the application before its deadline. In this paper, we study the energy efficiency of such dualprocessor system. Specifically, we first derive an optimal static voltage scaling policy for single periodic task. We then extend it to multiple periodic tasks based on worst case execution time (WCET) analysis. Finally, we discuss how to further reduce system's energy consumption at run time by taking advantage of the actual execution time which is less than the WCET. Simulation on real-life benchmark applications shows that our technique can save up to 80% energy while still providing fault tolerance. Shaoxiong Hua, Pushkin R. Pari, Gang Qu 0001 |
ASAP | 2 |
| 2004 | Generating 'Random' 3-SAT Instances with Specific Solution Space Structure
Pushkin R. Pari, Gang Qu 0001 |
AAAI | 1 |
| 2004 | Finding Redundant Constraints for FSM Minimization
Pushkin R. Pari, Gang Qu 0001 |
AAAI | 2 |
| 2003 | Zero overhead watermarking technique for FPGA designsabstractFPGAs, because of their re-programmability, are becoming very popular for creating and exchanging VLSI intellectual properties (IPs) in the reuse-based design paradigm. Existing watermarking and fingerprinting techniques successfully embed identification information into FPGA designs to deter IP infringement. However, such methods incur timing and/or resource overhead, unpredictable at times, which causes performance degradation. In this paper, we propose a new FPGA watermarking technique that guarantees zero design overhead. Our approach consists of two phases. First we design as usual to obtain the best, possible, quality IP. Then we map the required signature to additional timing constraints on carefully selected nets and redo a small portion of the design (e.g. place and route). The FPGA configuration bitstream for the resulting watermarked design will be significantly different from the original design, which provides us with a strong proof of authorship. The watermarking technique has zero design overhead because it is developed to maintain the performance of the design from the first phase. This is demonstrated by applying the proposed technique on several real-life FPGA designs, which range in size from a few thousand to more than two million gates, on Xilinx devices. Adarsh K. Jain, Pushkin R. Pari, Gang Qu 0001 |
ACM Great Lakes Symposium on VLSI | 3 |