Lubomír Bulej, Ph.D.
Assistant professor

Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University in Prague, Czech Republic

Malostranské náměstí 25
118 00 Praha 1, Czech Republic

office: Malá Strana, office 205

e-mail: lubomir.bulej at d3s.mff.cuni.cz
phone: +420 951 554 267
fax: +420 951 554 323

Lubomír Bulej
 

My primary research interests can be found in the areas of dynamic program analysis, and software performance evaluation and modeling. While the two areas may seem rather broad and too far apart, the topics that I work make them much closer. After all, software performance is about observing what applications do and measuring how fast they do it (easily, accurately, promptly — pick two), while dynamic program analysis is about ... observing and analyzing what applications do.

With respect to dynamic program analysis, I am mostly concerned about analysis composition, program instrumentation, profiling accuracy, and observability of program execution on modern managed platorms. With respect to software performance, I mostly focus on methods and tools for increasing performance awareness during software project development. This calls for automatic performance evaluation during development, automating performance change detection, and testable documentation of assumptions about program performance.

I am also generally interested in object-oriented programming and design, programming languages and practices, operating systems, computer architectures, and other systems-related topics. I teach or have taught courses on some of those topics.

Resume

Education

  • Ph.D. in Software Systems, Faculty of Mathematics and Physics, Charles University, 2007
  • Ing. (MS equivalent) in Computer Systems, Faculty of Electrical Engineering, Czech Technical University, 2002

Experience abroad

09/2016 — 12/2016
07/2015 — 01/2016
Researcher, Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland
EU FP7 IP project 605442, Avionics Systems Hosted on a distributed modular electronics Large scale dEmonstrator for multiple tYpe of aircraft (ASHLEY)
05/2013 — 01/2015
Researcher, Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland
SNSF project 136225, FAN: Foundations of dynamic program ANalysis
06/2012 — 12/2012
Faculty of Informatics, Università della Svizzera italiana, Lugano, Switzerland
SciEx-NMSch project 11.109, DYNASTY: DYNynamic Analysis for diSTributed sYstems

Awards and Fellowships

  • 2015, OOPSLA, Distinguished Paper Award for Accurate Profiling in Presence of Dynamic Compilation
    This work was integrated in the Graal compiler developed by Oracle.
  • 2015, CCGRID, Best Paper Runner-Up Award for Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency
  • 2014, ICPE, Best Research Paper Award for On the Limits of Modeling Generational Garbage Collector Performance
  • 2012, SciEx-NMSch, research fellowship for DYNASTY: DYNynamic Analysis for diSTributed sYstems
    The only computer science project funded in the 5th SciEx call.

Bare facts

Research

Current projects

Maintained software

Past projects

Archived software

Teaching

Current courses

Past courses (Charles University)

  • 2008—2016, Best Programming Practices (NPRG043, lecture)
  • 2015—2016, Computer Architecture (NSWI143, lecture)
  • 2013, Performance Evaluation of Computer Systems (NSWI131, lecture)
  • 2007—2011, Principles of Computers and Operating Systems (NSWI120, lecture)
  • 2003—2007, Operating Systems I (SWI004, labs)
  • 2003—2007, Operating Systems II (SWI088, labs)

Past courses (Università della Svizzera Italiana)

Assisted in teaching bachelor and master courses at the Faculty of Informatics, Università della svizzera italiana, Lugano, Switzerland.

  • 2012—2016, Programming Fundamentals 3 (INFO.B250, INFO.B168, INFO.B115, INFO.B043)
  • 2015—2016, Introduction to Programming (INFO.M327, INFO.M252)
  • 2012—2015, Advanced Programming and Design (INFO.M288, INFO.M157, INFO.M115, INFO.M035)
  • 2014, Parallel and Distributed Computing (INFO.M134)

Doctoral student supervision

  • Andrej Podzimek, Reproducible Partial-Load Experiments in Workload Colocation Analysis, defended in 2016
  • Rima Al Ali

Master student supervision

  • Peter Júnoš, 2015
  • Michal Bečka, 2011
  • Jaroslav Urban, 2008
  • Pavel Šafrata, 2007
  • Jan Poduška, 2007
  • Jan Kratochvíl, 2003

Bachelor student supervision

  • Peter Júnoš, 2012
  • Martin Dráb, 2012
  • Juraj Mišúr, 2006
  • Martin Hlavatý, 2006
  • Ondřej Babuljak, 2005

Service

Invited talks

  • ICOOOLPS '16, Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
  • LT '16, Performance Testing in Software Development: Getting the Developers on Board

Program comittees

  • International Conference on Performance Engineering (ICPE) — 2015, 2016
  • European Conference on Object-Oriented Programming (ECOOP) — 2015 (Artifact Evaluation Committee)
  • International Conference on Software Composition (SC) — 2013
  • Software Engineering Approaches for Offshore and Outsourced Development (SEAFOOD) — 2010

Conference chairs

Reviewing duty (conferences)

  • ATPS 2016
  • CORCS 2008
  • ECOOP 2008, 2014, 2015, EUROPAR 2014, EWSA 2006
  • GPCE 2015
  • ICPE 2011, ICSOC 2013, 2014, 2015
  • JTRES 2014
  • QOSA 2009, 2011
  • SERA 2006, 2007, 2008, SOFSEM 2005, 2007

Reviewing duty (journals)

  • Computer Science Reviews (Elsevier)
  • Journal of Computers and Applications (IASTED)
  • Journal of Network and Computer Applications (Elsevier)
  • Software and Systems Modeling (Springer)

Publications (last five years)

Publication index at DBLP, Google Scholar profile.

2017 (2)

Refereed (journals/proceedings)

Link, Resources Stefan P., Horký V., Bulej L., Tůma P.: Unit Testing Performance in Java Projects: Are We There Yet?,
In Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE), L'Aquila, Italy, ACM, ISBN: 978-1-4503-4404-3, April 2017
Link Bulej L., Horký V., Tůma P.: Do We Teach Useful Statistics for Performance Evaluation?,
In Proceedings of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE '17 Companion), L'Aquila, Italy, ACM, ISBN: 978-1-4503-4899-7, April 2017

2016 (8)

Refereed (journals/proceedings)

Link Bulej L., Bureš T., Horký V., Kotrč J., Marek L., Trojánek T., Tůma P.: Unit testing performance with Stochastic Performance Logic,
In Automated Software Engineering, Volume 24, Issue 1, Springer, pp. 139-187, ISSN: 0928-8910, January 2016
Link Sarimbekov A., Stadler L., Bulej L., Sewe A., Podzimek A., Zheng Y., Binder W.: Workload Characterization of JVM Languages,
In Software: Practice & Experience, Volume 46, Issue 8, Wiley, pp. 1053-1089, ISSN 1097-024X, August 2016
Link Podzimek A., Bulej L., Chen L. Y., Binder W., Tůma P.: Robust Partial-Load Experiments with Showstopper,
In Future Generation Computer Systems, Volume 64, Elsevier, pp. 15-38, ISSN 0167-739X, November 2016
Link Blackburn S. M., Diwan A., Hauswirth M., Sweeney P. F., Amaral J. N., Brecht T., Bulej L., Click C., Eeckhout L., Fischmeister S., Frampton D., Hendren L. J., Hind M., Hosking A. L., Jones R. E., Kalibera T., Keynes N., Nystrom N., Zeller A.: The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations,
In ACM Transactions on Programming Languages and Systems, Volume 38, Issue 4, ACM, pp. 15:1-15:20, ISSN 0164-0925, October 2016
Link Zheng Y., Rosa A., Salucci L., Li Y., Sun H., Bulej L., Chen L. Y., Qi Z., Binder W.: AutoBench: Finding Workloads That You Need Using Pluggable Hybrid Analyses,
In proceedings of the 23rd IEEE international conference on Software Analysis, Evolution, and Reengineering (SANER), Osaka, Japan, IEEE, pp. 639-643, March 2016
Link Zheng Y., Kell S., Bulej L., Sun H., Binder W.: Comprehensive Multi-platform Dynamic Program Analysis for Java and Android,
In IEEE Software, Volume 33, Issue 4, IEEE, pp. 55-63, ISSN 0740-7459, July 2016

Nonrefereed

Link Bulej L., Zheng Y., Binder W.: Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation (Invited Talk),
In Proc. 11th international workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS), Rome, Italy, ACM, ISBN: 978-1-4503-4837-9, July 2016
Link Bulej L.: Performance Testing in Software Development: Getting the Developers on Board (Invited Talk),
In. companion proceedings of the International Conference on Performance Engineering (ICPE), Delft, The Netherlands, ACM, ISBN: 978-1-4503-4147-9, pp. 9-9, March 2016

2015 (6)

Refereed (journals/proceedings)

Link, Resources Libič P., Bulej L., Horký V., Tůma P.: Estimating the Impact of Code Additions on Garbage Collection Overhead,
In proceedings of the 12th European Performance Engineering Workshop (EPEW 2015), Madrid, Spain, Springer, LNCS 9272, ISBN: 978-3-319-23266-9, ISSN: 0302-9743, pp. 130-145, August 2015
PDF, Link, Resources Podzimek A., Bulej L., Chen L. Y., Binder W., Tůma P.: Analyzing the Impact of CPU Pinning and Partial CPU Loads on Performance and Energy Efficiency,
In proceedings of the 15th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGRID), Shenzhen, Guangdong, China, Best Research Paper Runner Up, IEEE, ISBN: 978-1-4799-8006-2, pp. 1-10, May 2015
PDF, Link Marek L., Zheng Y., Ansaloni D., Bulej L., Sarimbekov A., Binder W., Tůma P.: Introduction to Dynamic Program Analysis with DiSL,
In Science of Computer Programming, 5th Special Issue on Experimental Software and Toolkits, Volume 98, Part 1, Elsevier, ISSN 0167-6423, pp. 100-115, February 2015
PDF, Link Zheng Y., Bulej L., Binder W.: Accurate Profiling in the Presence of Dynamic Compilation,
In proceedings of the 2015 ACM/SIGPLAN international conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA), Pittsburgh, Pennsylvania, USA, Distinguished Paper Award, ACM, pp. 433-450, October 2015
PDF, Link Bulej L., Bureš T., Gerostathopoulos I., Horký V., Keznikl J., Marek L., Max Tschaikowski, Mirco Tribastone, Tůma P.: Supporting Performance Awareness in Autonomous Ensembles,
Software Engineering for Collective Autonomic Systems: Results from the ASCENS Project. no. 8998 in LNCS, pp. 291-322, Springer, 2015
PDF, Link Sun H., Zheng Y., Bulej L., Villazón A., Qi Z., Tůma P., Binder W.: A Programming Model and Framework for Comprehensive Dynamic Analysis on Android,
In proceedings of the 14th International Conference on Modularity (MODULARITY/AOSD), Fort Collins, Colorado, USA, ACM, ISBN: 978-1-4503-3249-1, pp. 133-145, March 2015

2014 (5)

Refereed (journals/proceedings)

PDF, PDF, Link Podzimek A., Chen L. Y., Bulej L., Binder W., Tůma P.: Showstopper: The Partial CPU Load Tool,
In proceedings of the 22nd International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), Paris, France, IEEE CS, ISSN: 1526-7539, pp. 510-513, September 2014
PDF, Link Sarimbekov A., Zheng Y., Ansaloni D., Bulej L., Marek L., Binder W., Tůma P., Qi Z.: Dynamic Program Analysis - Reconciling Developer Productivity and Tool Performance,
In Science of Computer Programming, Volume 95, Part 3, Elsevier, ISSN 0167-6423, pp. 344-358, December 2014
PDF, Link Libič P., Bulej L., Horký V., Tůma P.: On the Limits of Modeling Generational Garbage Collector Performance,
In proceedings of the 5th ACM/SPEC International Conference on Performance Engineering (ICPE), Dublin, Ireland, Best Research Paper Award, ACM, ISBN: 978-1-4503-2733-6, pp. 15-26, March 2014

Technical Reports

PDF Bulej L., Bureš T., Horký V., Jaroslav Kotrč, Marek L., Tomáš Trojánek, Tůma P.: SPL: Unit Testing Performance,
Tech. Report No. D3S-TR-2014-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2014

Nonrefereed

Link Zheng Y., Sun H., Bulej L., Tůma P., Binder W.: Comprehensive Multi-platform Dynamic Program Analysis for the Java and Dalvik Virtual Machines,
Invited talk, in proceedings of the International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ), Cracow, Poland, ACM, ISBN: 978-1-4503-2926-2, pp. 4-4, September 2014

2013 (8)

Refereed (journals/proceedings)

PDF, Link Sarimbekov A., Zheng Y., Ansaloni D., Bulej L., Marek L., Binder W., Tůma P., Qi A.: Productive Development of Dynamic Program Analysis Tools with DiSL,
In proceedings of the 22nd Australian Software Engineering Conference (ASWEC), Melbourne, Australia, IEEE CS, ISBN: 978-0-7695-4995-8, ISSN: 1530-0803, pp. 11-19, June 2013
PDF, Link Ansaloni D., Kell S., Zheng Y., Bulej L., Binder W., Tůma P.: Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine,
In proceedings of the 27th European Conference on Object-Oriented Programming (ECOOP), Montpellier, France, Springer, LNCS 7920, ISBN: 978-3-642-39037-1, ISSN: 0302-9743, pp. 352-377, July 2013
PDF, Link Sarimbekov A., Podzimek A., Bulej L., Zheng Y., Ricci N., Binder W.: Characteristics of Dynamic JVM Languages,
In proceedings of the 7th workshop on Virtual Machines and Intermediate Languages (VMIL), Indianapolis, IN, USA, ACM, ISBN: 978-1-4503-2601-8, pp. 21-30, October 2013
PDF, Link Zheng Y., Bulej L., Zhang C., Kell S., Ansaloni D., Binder W.: Dynamic Optimization of Bytecode Instrumentation,
In proceedings of the 7th workshop on Virtual Machines and Intermediate Languages (VMIL), Indianapolis, IN, USA, ACM, ISBN: 978-1-4503-2601-8, pp. 11-20, October 2013
Link Sarimbekov A., Kell S., Bulej L., Sewe A., Zheng Y., Ansaloni D., Binder W.: A Comprehensive Toolchain for Workload Characterization Across JVM Languages,
In proceedings of the 11th ACM/SIGPLAN Workshop on Program Analysis for Software Tools and Engineering (PASTE), Seattle, WA, USA, ACM, ISBN: 978-1-4503-2128-0, pp. 9-16, June 2013
PDF, Link Marek L., Kell S., Zheng Y., Bulej L., Tůma P., Binder W., Ansaloni D., Sarimbekov A., Sewe A.: ShadowVM: Robust and Comprehensive Dynamic Program Analysis for the Java Platform,
In proceedings of the 12th International Conference on Generative Programming: Concepts & Experiences (GPCE), Indianapolis, IN, USA, ACM, ISBN: 978-1-4503-2373-4, pp. 105-114; also in ACM SIGPLAN Notices, 49(3):105–114, ISSN: 0362-1340, October 2013
Link Bulej L., Bureš T., Horký V., Keznikl J.: Adaptive Deployment in Ad-Hoc Systems Using Emergent Component Ensembles: Vision Paper,
In proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE), Prague, Czech Republic, ACM, ISBN: 978-1-4503-1636-1, pp. 343-346, April 2013
PDF, Link Marek L., Zheng Y., Ansaloni D., Bulej L., Sarimbekov A., Binder W., Qi Z.: Introduction to Dynamic Program Analysis with DiSL (Demo paper),
In proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE), Prague, Czech Republic, ACM, ISBN: 978-1-4503-1636-1, pp. 429-430, April 2013

2012 (3)

Refereed (journals/proceedings)

Link Bulej L., Bureš T., Horký V., Keznikl J., Tůma P.: Performance Awareness in Component Systems: Vision Paper,
In proceedings of the 26th IEEE Computer Software and Applications Conference Workshops (COMPSACW), the 4th IEEE International Workshop on Component-based Design of Resource Constrained Systems (CORCS), Izmir, Turkey, IEEE, ISBN: 978-1-4673-2714-5, pp. 514-519, July 2012
PDF, Link Bulej L., Bureš T., Keznikl J., Koubková A., Podzimek A., Tůma P.: Capturing Performance Assumptions using Stochastic Performance Logic,
In proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE), Boston, MA, USA, ACM, ISBN: 978-1-4503-1202-8, pp. 311-322, April 2012
PDF, Link Podzimek A., Děcký M., Bulej L., Tůma P.: A Non-Intrusive Read-Copy-Update for UTS,
In proceedings of the 18th IEEE International Conference on Parallel and Distributed Systems (ICPADS), IEEE, ISBN: 978-1-4673-4565-1, ISSN: 1521-9097, pp. 482-489, December 2012

2011 (1)

Technical Reports

PDF Babka V., Bulej L., Libič P., Marek L., Martinec T., Podzimek A., Tůma P.: Resource Impact Analysis,
Q-ImPrESS Project Deliverable D3.4, January 2011

2010 (2)

Refereed (journals/proceedings)

PDF, Link Babka V., Tůma P., Bulej L.: Validating Model-Driven Performance Predictions On Random Software Systems,
In proceedings of the 6th International Conference on the Quality of Software Architectures (QoSA), Prague, Czech Republic, Springer, LNCS 6093, ISBN: 978-3-642-13820-1, ISSN: 0302-9743, pp. 3-19, June 2010

Technical Reports

PDF Babka V., Bulej L., Ciancone A., Filieri A., Hauck M., Libič P., Marek L., Stammel J., Tůma P.: Prediction Validation,
Q-ImPrESS Project Deliverable D4.2, July 2010
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2017-01-19