Petro (Peter) Poplavko

postdoc researcher

VERIMAG Research Center

University of Grenoble

Email : petro dot poplavko at imag dot fr

 

 

 

 

TOOL DOWNLOADS

        Multicore time-critical code generation using BIP a prototype tool of project CERTAINTY

download: BIP tools page

(Latest version : 3.1 August 2014)

 

        StreamExplorer: Tool for dataflow scheduling on multi-cores by Pranav Tendulkar : introduction, download

 

RESEARCH INTERESTS

Programming models and scheduling for real-time systems

Real-time models of computation : timed automata, timed Petri nets, etc.

Timing analysis for parallel and distributed computer systems

 

PhD Thesis

An Accurate Analysis for Guaranteed Performance of Multiprocessor Streaming Applications

 

RESEARCH PAPERS

[1] D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. In Proc. HPCC-2015, High Performance Computing and Communications, IEEE. (SLIDES).

[2] D. Socci, P. Poplavko, P. Bourgos, S. Bensalem, M. Bozga, A Timed-automata based Middleware for Time-critical Multicore Applications. In Proc. SEUS-2015, a workshop on Software Technologies for Future Embedded and Ubiquitous Systems, IEEE. (SLIDES).

[3] D. Socci, P. Poplavko, S. Bensalem, M. Bozga. Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. In Proc. ISORC-2015, IEEE Symposium on Real-Time Computing, IEEE (SLIDES).

[4] P. Poplavko, D. Socci, P. Bourgos, M. Bozga, S. Bensalem, Models for Deterministic Execution of Real-time Multiprocessor Applications. In Proc. DATE-2015, Design Automation and Test Europe (SLIDES).

[5] P. Tendulkar, P. Poplavko, J. Maselbas, and O. Maler, Pipelined Scheduling of Acyclic SDF Graphs using SMT Solvers. In Proc. IDEA-2015, Investigating Data Flow modeling for Embedded computing Architectures, HiPEAC workshop, 2015 (SLIDES).

[6] P. Tendulkar, P. Poplavko, I. Galanommatis, and O. Maler, Many-Core Scheduling of Data Parallel Applications using SMT Solvers. In Proc. DSD-2014, Euromicro Conference on Digital System Design, IEEE. (SLIDES)

[7] D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Time-Triggered Mixed-Critical Scheduler. In. Proc. WMC-2013, Real-Time Mixed Criticality Systems, workshop at RTSS‑2013, pp. 67‑72, website WMC-2013.

[8] D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Modeling Mixed-critical Systems in Real-time BIP. In. Proc. ReTiMiCs-2013, Workshop on Real-Time Mixed Criticality Systems, pp. 29-34, workshop at RTCSA-2013, website archive HAL.

[9] D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Mixed Critical Earliest Deadline First. In Proc. ECRTS-2013, Euromicro Conf. Real-Time Systems, pp. 93-102, IEEE. (SLIDES)

[10] P. Tendulkar, P. Poplavko, and O. Maler, Symmetry Breaking for Multicriteria Mapping and Scheduling on Multicores. In Proc. FORMATS-2013, Int. Conf. Formal Modeling and Analysis of Timed Systems, Springer, 2013. (SLIDES)

[11] P. Fradet, A. Girault, and P. Poplavko, SPDF: A Schedulable Parametric DataFlow MoC. In Proc. DATE-2012, Int. Conf. Design, Automation and Test in Europe, pp. 769-774, EDA Consortium.

[12] P. Poplavko, A. Girault, P. Fradet, and A.-E. Ozcan, A Dataflow Model for Interactive Data-dependent Streaming Applications. Poster at DEPCP-2011, Workshop on Designing for Embedded Parallel Computing Platforms, a workshop at DATE-2011, website DEPCP-2011.

[13] P. Poplavko, M. Geilen, and T.Basten, Predicting the Throughput of Multiprocessor Applications under Dynamic Workload. In Proc. ICCD-2010, Int. Conf. Computer Design, pp. 282-288, IEEE.

[14] P. Poplavko, T. Basten, and J. van Meerbergen. Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. In Proc. DSD-2007, Euromicro Conf. Digital System Design, pp. 228-235, IEEE.

[15] P. Poplavko, T. Basten, M. Pastrnak, J. van Meerbergen, P.H.N. de With, Extended Abstract: Estimation of Execution Times of On-chip Multiprocessor Stream-oriented Applications. In Proc. MEMOCODE‑2005, Int. Conf. Formal Methods and Models for Codesign, pp: 251‑252, IEEE.

[16] M. Bekooij, R. Hoes, O. Moreira, P. Poplavko, M. Pastrnak, B. Mesman, J. D. Mol, S. Stuijk, V. Gheorghita, J. van Meerbergen, Dataflow Analysis for Real-Time Embedded Multiprocessor System Design. Book Chapter (2005) in Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices, ed. P. van der Stok, Springer.

[17] M. Pastrnak, P. Poplavko, P.H.N. de With, J. van Meerbergen, Novel QoS Model for Mapping of MPEG-4 Coding onto MP-NoC. In Proc. ISCE-2005 , the IEEE International Symposium on Consumer Electronics pp. 93-98, IEEE.

[18] M. Bekooij, O. Moreira, P. Poplavko, B. Mesman, M. Pastrnak, and J. van Meerbergen, Predictable Embedded Multiprocessor System Design. In. Proc. SCOPES-2004, Int. Workshop on Software and Compilers for Embedded Systems, pp. 77-91, Springer.

[19] P. Poplavko, M. Pastrnak, T. Basten, J. van Meerbergen, and P. H.N. de With, Mapping of an MPEG-4 Shape-Texture Decoder onto an On-chip Multiprocessor. In Proc. PRORISC‑2003, Workshop on Circuits, Systems and Signal Processing, pp: 139-147, Dutch Technology Foundation STW.

[20] M. Pastrnak, P. Poplavko, P.H.N. de With, and J. van Meerbergen, On Resource Estimation of MPEG-4 Video Decoding for a Multiprocessor Architecture, In Proc. PROGRESS‑2003 Symposium on Embedded Systems, Dutch Technology Foundation STW.

[21] P. Poplavko, T. Basten, M. Bekooij, J. van Meerbergen, and B. Mesman, Task-level Timing Models for Guaranteed Performance in Multiprocessor Networks-on-Chip, In Proc. CASES‑2003, Int.l Conf. Compilers, Architectures, and Synthesis of Embedded Systems, pp. 63-72, ACM.

[22] K. Goossens, J. Dielissen, J. van Meerbergen, P. Poplavko, A. Radulescu, E. Rijpkema, E. Waterlander, and P. Wielage, Guaranteeing the Quality of Services in Networks on Chip. Book Chapter (2003) in Networks on Chip, ed. A. Jantsch and H. Tenhunen, Kluwer.

[23] P. Poplavko, K. Leijten-Nowak and J. van Meerbergen, Placement Algorithms for Datapath-Oriented FPGAs, In Proc. PRORISC-2001, Workshop on Circuits, Systems and Signal Processing, pp. 561-567, Dutch Technology Foundation STW.

[24] P. Poplavko, C.A.J. van Eijk, and T. Basten, Constraint Analysis and Heuristic Scheduling Methods, In Proc. PRORISC-2000, Workshop on Circuits, Systems and Signal Processing, Dutch Technology Foundation STW.

[25] V.G. Artyukhov and P. Poplavko, Real-time Stereo Equalizer on Digital Signal Processor. In Electronics and Communications (1999) (Ukraine), vol. 7, pp. 100106.

[26] K. Shcherbin, S. Odoulov, P. Poplavko,  Photorefractivity of CdTe:Ge at 1.06 and 1.32 /spl mu/m, Conference abstract (1998). Lasers and Electro-Optics Europe, p. 297, IEEE.

 

TECHNICAL REPORTS

 

[1] D. Socci, P. Poplavko, P. Bourgos, S. Bensalem, M. Bozga, A Timed-automata based Middleware for Time-critical Multicore Applications. Verimag Tech. Rep. TR-2015-12, Grenoble, France, December, 2015.

[2] D. Socci, P. Poplavko, S. Bensalem, M. Bozga Time-Triggered Mixed-Critical Scheduler on Single- and Multi-processor Platforms. Verimag Tech. Rep. TR-2015-8, Grenoble, France, August, 2015.

[3] P. Tendulkar, P. Poplavko, J. Maselbas, I. Galanommatis, O. Maler, A Runtime Environment for Real-time Streaming Applications on Clustered Multi-cores. VERIMAG Tech. Rep. TR‑2015‑6, 2015.

[4] P. Poplavko, D. Socci, P. Bourgos, M. Bozga, S. Bensalem, Models for Deterministic Execution of Real-time Multiprocessor Applications. Verimag Technical Report, TR-2014-12, Grenoble, France, November, 2014.

[5] D. Socci, P. Poplavko, M. Bozga, S. Bensalem. Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. Verimag Technical Report, TR-2014-11, Grenoble, France, November, 2014.

[6] P. Tendulkar, P. Poplavko, O. Maler, Strictly Periodic Scheduling of Acyclic Synchronous Dataflow Graphs using SMT Solvers. VERIMAG Tech. Rep. TR-2014-5, 2014.

[7] P. Tendulkar, P. Poplavko, O. Maler, Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. VERIMAG Tech. Rep. TR-2013-3, 2013.

[8] D. Socci, P. Poplavko, S. Bensalem, and M. Bozga, Mixed Critical Earliest Deadline First. VERIMAG Tech. Rep. TR-2012-22, 2012.

[9] P. Fradet, A. Girault, and P. Poplavko, SPDF: A Schedulable Parametric Dataflow Graph Model (Extended Version), INRIA, Tech. Rep. 7828, 2011.

[10] P. Poplavko, M. Geilen, and T. Basten, Predicting the Throughput of Multiprocessor Applications under Dynamic Workload. Eindhoven University of Technology Technical Report ESR-2010-02, 2010.

[11] P. Poplavko, M. Pastrnak, T. Basten, J. van Meerbergen, M. Bekooij, P. de With. Run-time Prediction of Execution Times of Stream-oriented Applications in Multiprocessors On-chip. Eindhoven University of Technology Technical Report ESR-2005-06, 2005.