Borys Bradel's Home Page: Research

This page contains a bibliography of my research to date. I will try to make as much of the content as possible available. However, I am not at liberty to make everything available. If a document is not available, I do at least try to provide an abstract. Currently, due to my U of T EECG website no longer being available, I have just transitioned this page, without any associated documents. These will be added eventually.

Publications

Borys J. Bradel and Tarek S. Abdelrahman, "The Use of Hardware Transactional Memory for the Trace-Based Parallelization of Recursive Java Programs", International Conference on the Principles and Practice of Programming in Java, Pages 101-110, 2009. PDF slides

Borys J. Bradel and Tarek S. Abdelrahman, "A Study of Potential Parallelism among Traces in Java Programs", Journal of Science of Computer Programming, Volume 74, Issue 5-6, Pages 296-313, 2009.
link, Abstract

Borys J. Bradel, "Extending Goal Models with a Probability Model and using Bayesian Networks", Proc. of the Int'l Conference on Software Engineering Research and Practice, Pages 543-549, 2009 (see tech. report for an earlier version, source code will hopefully be available soon). There is one typo in the example Bayesian network figure in both the paper and technical report. The last two probabilities for the contribution link need to be swapped.

Borys J. Bradel and Tarek S. Abdelrahman, "Automatic Trace-Based Parallelization of Java Programs", Proc. of the Int'l Conference on Parallel Processing, Page 26, 2007.
PDF, BibTeX, Abstract

Borys J. Bradel and Tarek S. Abdelrahman, "The Potential of Trace-Level Parallelism in Java Programs", Proc. of the Int'l Conference on Principles and Practices of Programming in Java, Pages 167-174, 2007.
PDF, BibTeX, Abstract

Borys J. Bradel and Tarek S. Abdelrahman, "A Characterization of Traces in Java Programs", Proc. of the Int'l Conference on Programming Languages and Compilers, Pages 87-93, 2005.
PDF, PS.GZ, BibTeX

Borys J. Bradel and Tarek S. Abdelrahman, "The use of traces for inlining in Java programs," Proc. of the Seventeenth Int'l Workshop on Languages and Compilers for Parallel Computers, Pages 179-193, 2004.
PDF, BibTeX, Abstract

Borys J. Bradel, "The Use of Traces in Optimization", Master's Thesis, University of Toronto, 2004.
PDF, PS.GZ, BibTeX

Presentations

Borys J. Bradel, "Extending Goal Models with a Probability Model and using Bayesian Networks", Int'l Conference on Software Engineering Research and Practice, July 16th, 2009 pdf.

Borys J. Bradel and Tarek S. Abdelrahman, "Automatic Trace-Based Parallelization of Recursive Programs", Compiler-Driven Performance Workshop at the Centers for Advanced Studies Conference (CASCON), Toronto, Ontario, October 30, 2008.
PDF 30 minute presentation

Borys J. Bradel, "Automatic Trace-Based Parallelization of Recursive Programs", Connections 2008, Toronto, Ontario, May 27, 2008.
PPT 5 minute presentation

Borys J. Bradel and Tarek S. Abdelrahman, "Automatic Trace-Based Parallelization of Java Programs", Proc. of the Int'l Conference on Parallel Processing, China, September 11, 2007.
PPT 30 minute presentation

Borys J. Bradel, "Trace-Based Parallelization of Java Programs", Connections 2007, Toronto, Ontario, 2007.
PPT 5 minute presentation

Borys J. Bradel and Tarek S. Abdelrahman, "Trace-Based Automatic Parallelization in the Jikes RVM", Compiler-Driven Performance Workshop at the Centers for Advanced Studies Conference (CASCON), Toronto, Ontario, October 16, 2006.
PPT 30 minute presentation

Borys J. Bradel, "Automatic Program Parallelization using Traces", Connections 2006, Toronto, Ontario, June 9, 2006.
PPT 5 minute presentation

Borys J. Bradel and Tarek S. Abdelrahman, "A Characterization of Traces in Java Programs", International Conference on Programming Languages and Compilers, Las Vegas, Nevada, June 28, 2005.
PPT 20 minute presentation

Borys J. Bradel, "Automatic Program Parallelization using Traces", Connections 2005, Toronto, Ontario, June 24, 2005.
PPT 5 minute presentation

Borys J. Bradel, "Automatic Program Parallelization using Traces", IBM/University of Toronto Seminar, Toronto, Ontario, May 19, 2005.
Abstract 60 minute presentation

Borys J. Bradel and Tarek S. Abdelrahman, "The use of traces for inlining in Java programs," Third Workshop on Compiler-Driven Performance at the Centers for Advanced Studies Conference (CASCON), Toronto, Ontario, October 6, 2004.
PPT is the same as below for LCPC'04 20 minute presentation

Borys J. Bradel and Tarek S. Abdelrahman, "The use of traces for inlining in Java programs," Seventeenth International Workshop on Languages and Compilers for Parallel Computing, West Lafayette, IN, September 23, 2004.
PPT 20 minute presentation

Borys J. Bradel, "The Use of Traces in Optimization", Master's Thesis, University of Toronto, January 19, 2004.
PPT 20 minute presentation

University of Toronto Papers and Presentations

The following are papers and presentations that are based on my work and have only had a University of Toronto audience.

Borys J. Bradel, "A Probability Model for Goal Models", University of Toronto Technical Report, 2008.
PDF, BibTeX, Abstract Note that there is a typo, in the Example Bayesian network figure, and the last two probabilities of the contribution link should be swapped.

Borys J. Bradel, "Traces, Inlining, and Parallelization", University of Toronto Systems Software Reading Group, Toronto, Ontario, November 29, 2005.
Abstract 50 minute presentation

Borys J. Bradel, "Traces and Optimization", University of Toronto Formal Methods Reading Group, Toronto, Ontario, June 23, 2005.
Abstract 2 hour presentation

Borys J. Bradel, "Automatic Program Parallelization using Traces", PhD Proposal, University of Toronto, Toronto, Ontario, November 2004.
Abstract, 48 page proposal and a 20 minute presentation on November 10, 2004

Borys Bradel and Kirk Stewart, "Exploring Processor Design Using Genetic Programming", ECE1718 Special Topics in Computer Hardware Design: Modern and Emerging Architectures, University of Toronto, Toronto, Ontario, April 2004.
PS

Borys J. Bradel, "Two Approaches of Showing Program Equivalence", CSC2108 Automated Verification, University of Toronto, Toronto, Ontario, January 2004.
PS

Borys Bradel and Catalin Drula, "A Study of the Thread and Event Concurrency Models for Web Servers", ECE1746 Distributed Systems, University of Toronto, Toronto, Ontario, December 2003.
PS

Borys J. Bradel, "Target Architecture Based Optimization", ECE1724 Special Topics in Software Engineering: Software Systems for Runtime Program Optimization, University of Toronto, Toronto, Ontario, December 2001.
PS

Navid Azizi, Borys Bradel, Tomasz Czajkowski, and Michael Krejcik, "Parameterized Processor Design Suite", ECE496 Design Project, University of Toronto, Toronto, Ontario, April 2001.
PDF

Copyright Notice

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial 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.

This web page is maintained by Borys Bradel. Last update: Aug. 29, 2011
Address: http://www.bradel.com/publications.html