Peter Pirkelbauer

Education

Research Interests

Work Experience

Synergistic Activities

Journal Articles

  • abstract paper slides bibtex
    Olga Pearce, Hadia Ahmed, Rasmus W. Larsen, Peter Pirkelbauer and David F. Richards. Exploring Dynamic Load Imbalance Solutions with the CoMD Proxy Application, Future Generation Computer Systems, to appear.

  • abstract paper slides bibtex
    Reed Milewicz, Peter Pirkelbauer: Refinement of Structural Heuristics for Model Checking of Concurrent Programs through Data Mining, Journal on Computer Languages, Systems and Structures, vol. 47, part 2, pp 170-188, Elsevier, 2017.

  • abstract paper slides bibtex
    Reed Milewicz, Rajesh Vanka, James Tuck, Daniel Quinlan, Peter Pirkelbauer: Lightweight runtime checking of C programs with RTC, Journal on Computer Languages, Systems and Structures, Elsevier, 2016.

  • abstract paper slides bibtex
    Reed Milewicz, Marjan Mernik, Peter Pirkelbauer: SimpleConcepts: A Lightweight Extension to C++ to Support Constraints on Generic Types. In Advances in Systems, Modeling, Languages and Agents, ComSIS Journal, 2014.

  • abstract paper slides bibtex
    Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup: Design and Evaluation of C++ Open Multi-Methods. In Science of Computer Programmming 75 (7), Elsevier, 2010, pp 638-667.

  • abstract paper slides bibtex
    Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup: Dynamic Algorithm Selection for Runtime Concepts. In Science of Computer Programming 75 (9), Elsevier, 2010, pp 773-786.
  • Peer Reviewed Publications

    Book Chapter

    Peer Reviewed Journal Articles by iProgress Students

    Technical Reports

    Invited Talks

    Posters and Workshop Participation

    Student Research Presentations (under my supervision)

    Software Releases

    Graduate Students

    Current (Ph.D.)

    Amalee Wilson: TBD
    Internship at Intel, Boston, MA.




    Graduated (Ph.D.)

    Dr. Hadia Ahmed: Improving Performance Portability and Productivity of Parallel Scientific Applications for Exascale, August 2017.
    First Position: Postdoctoral Researcher at the Lawrence Berkeley National Laboratory, CA.
    Internships at the Lawrence Livermore National Laboratory and the Oak Ridge National Laboratory.



    Dr. Reed Milewicz: Improving the Scalability of Directed Model Checking of Concurrent Java Code through Hybrid and Distributed Analysis, August 2016.
    First Position: Postdoctoral Researcher at the Sandia National Laboratory, NM.
    Internship at the Lawrence Livermore National Laboratory.



    Graduated (M.S. - Thesis Option)

    Sujan Khadka: FastNumerics: Compiling Matlab To C++, April 2016.
    First Position: Uber Advanced Technologies Group, Pittsburg, PA.
    Internship at the Lawrence Livermore National Laboratory.



    Graduated (M.S.)

    Juan Felipe Gonzalez (2015, Motorola Systems), Nick Dzugan (2016, Software Engineer at Walmart), Deekshitha Pasnoor (2016, BBVA Compass), Manasa Chitrashekar (2016, Perficient), Weida Tan (2017, Ph.D. student at UAB).

    Ph.D. Committee Member

    Current: Walker Haddock (UAB, Dr. Purushotham Bangalore)

    Graduated: Dr. Jushua Yue (University of Alabama, Dr. Jeff Gray), Dr. Amin Hasani (UAB, Dr. Purushotham Bangalore), Dr. Sagar Thapaliya (UAB, Dr. Purushotham Bangalore).

    Supervised Undergraduate Students

    Nicholas Bowen: Concurrent dispatch structures for pattern matching in C++, 2016.
    First Position: (not yet graduated).



    Rachel Adamec: Translating Matlab's Nargin to C++, 2016.
    First Position: TBD



    Sam Collie: Accelerating Runtime Error Checking Through Compile-time Check Elimination (Honors Project), presented at the ACM Mid-Southeast Meeting, 2015.
    First Position: TBD



    Amalee Wilson: Translation of Matlab to C++ (Honors Project), presented at the ACM Mid-Southeast Meeting (2015) and the UAB honors project and the University of Alabama honors project symposia (2016).
    First Position: Ph.D. student in my research group.



    Joshua Akpoebi Agberebi: OpenMP and Transactions, 2016.
    First Position: TBD



    Braden Groom: Improving Authorship Attribution Methods Using Compiler Information, presented at the ACM Mid-Southeast Meeting, 2014.
    First Position: Apple Inc.



    Joshua Pritchett: A generator for secure but memorable passwords (with Kalyani Bhagat), 2014.
    Internship at the Lawrence Berkeley National Laboratory.
    First Position: Ph.D. student at UCLA



    Kalyani Bhagat: A generator for secure but memorable passwords (with Joshua Pritchett), 2014
    First Position: Blue Cross Blue Shields of Alabama.



    Michael Gotfryd: implementation of a web based event management system for CIS, 2014.
    First Position: Brasfield and Gorrie.



    Atsuhiro Ishikawa (exchange student from Ibaraki University in Japan in Spring 2013, topic: UML bad smell detection and refactoring)

    Supervised High School Students

    Kayleigh Alexander (ASFA), Verifying Loop Termination of Java for Loops. (2nd place in the Central Alabama Science and Engineering Fair; 3rd place in the Alabama Science and Engineering Fair - won Intel Excellence in Computer Science award). (May 2016-April 2017)



    Footnotes

    ...Reed Milewicz 1
    The article reports on our participation in the First International Runtime Verification Competition 2014. Each team named one representative for the article. Our team's work was conducted by my doctoral student Reed Milewicz under my supervision.


    peter 2018-01-07