Publications


Books

  1. Informatik Grundlagen (Computer Science Fundamentals)
    Johann Blieberger, Bernd Burgstaller, and Gerhard-Helge Schildt
    Springer, Vienna, 2002 (4th ed.), 2005 (5th ed.)
  2. Symbolic Analysis: an Algebra-based Approach
    Bernd Burgstaller, Bernhard Scholz, and Johann Blieberger
    VDM, Saarbrücken, 2008

Book Chapter

  1. Program Assemblers
    Bernd Burgstaller, and Bernhard Scholz
    In Benjamin W. Wah (editor), Wiley Encyclopedia of Computer Science and Engineering, pp. 2243-2252, John Wiley & Sons, Inc., 2008

Journal Papers

  1. Design-space evaluation for non-blocking synchronization in {Ada}: lock elision of protected objects, concurrent objects, and low-level atomics
    Shinhyung Yang, Seongho Jeong, Byunguk Min, Yeonsoo Kim, Bernd Burgstaller, and Johann Blieberger
    Journal of Systems Architecture Vol. 110, November 2020
  2. Algorithm-Switching-Based Last-Level Cache Structure with Hybrid Main Memory Architecture
    Xian-Shu Li, Su-Kyung Yoon, Jeong-Geun Kim, Bernd Burgstaller, and Shin-Dug Kim
    The Computer Journal 63 (1), 2020
  3. Self-learnable Cluster-based Prefetching Method for DRAM-Flash Hybrid Main Memory Architecture
    Su-Kyung Yoon, Young-Sun Youn, Bernd Burgstaller, and Shin-Dug Kim
    ACM Journal on Emerging Technologies in Computing Systems 15 (1), 2019
  4. Regression Prefetcher with Preprocessing for {DRAM-PCM} Hybrid Main Memory
    Jitae Yun, Su-Kyung Yoon, Jeong-Geun Kim, Bernd Burgstaller, and Shin-Dug Kim
    IEEE Computer Architecture Letters 17 (2), 2018
  5. JParEnt: Parallel entropy decoding for JPEG decompression on heterogeneous multicore architectures
    Wasuwee Sodsong, Minyoung Jung, Jinwoo Park, and Bernd Burgstaller
    Concurrency and Computation Practice and Experience 29 (15), 2017
  6. Dynamically Selective Performance Optimization Method for Mobile 3D Graphics Application with N-Screen Service
    Jin-Chun Piao, Chang-Woo Cho, Cheong-Ghil Kim, Bernd Burgstaller, and Shin-Dug Kim
    Wireless Personal Communications 94 (3), 2017
  7. Dynamic partitioning-based JPEG decompression on heterogeneous multicore architectures
    Wasuwee Sodsong, Jingun Hong, Seongwook Chung, Yeong-Kyu Lim, Shin-Dug Kim, and Bernd Burgstaller
    Concurrency and Computation Practice and Experience 28 (2), 2016
  8. A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments
    Yousun Ko, Minyoung Jung, Yo-Sub Han, and Bernd Burgstaller
    International Journal of Parallel Programming 42 (3), 2014
  9. A symbolic analysis framework for static analysis of imperative programming languages
    Bernd Burgstaller, Bernhard Scholz, and Johann Blieberger
    Journal of Systems and Software 85 (6), 2012
  10. TinyVM: an energy-efficient execution infrastructure for sensor networks
    Kirak Hong, Jiin Park, Sungho Kim, Taekhoon Kim, Hwangho Kim, Bernd Burgstaller, and Bernhard Scholz
    Software: Practice and Experience 42 (10), 2012
  11. StreamPI: a stream-parallel programming extension for object-oriented programming languages
    Jingun Hong, Kirak Hong, Bernd Burgstaller, and Johann Blieberger
    Journal of Supercomputing 61 (1), 2012
  12. Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture
    Raymes Khoury, Bernd Burgstaller, and Bernhard Scholz
    IEEE Transactions on Parallel and Distributed Systems 22 (1), 2011
  13. Treegraph-based Instruction Scheduling for Stack-based Virtual Machines
    Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller, and Bernhard Scholz
    Electronic Notes in Theoretical Computer Science 279 (1), 2011
  14. Minimal placement of bank selection instructions for partitioned memory architectures
    Bernhard Scholz, Bernd Burgstaller, and Jingling Xue
    ACM Transactions on Embedded Computing Systems 7 (2), 2008

International Conference Papers

  1. An Off-The-Chain Execution Environment for Scalable Testing and Profiling of Smart Contracts
    Yeonsoo Kim, Seongho Jeong, Kamil Jezek, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the Proceedings of the 2021 USENIX Annual Technical Conference (USENIX ATC 21), 2021
  2. Safe Non-blocking Synchronization in Ada2x
    Johann Blieberger, and Bernd Burgstaller
    In Proceedings of the 23rd International Conference on Reliable Software Technologies (Ada-Europe), 2018
  3. Scalability and State: A Critical Assessment of Throughput Obtainable on Big Data Streaming Frameworks for Applications With and Without State Information
    Shinhyung Yang, Yonguk Jeong, ChangWan Hong, Hyunje Jun, and Bernd Burgstaller
    In Proceedings of the International Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP), 2017
  4. Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores
    Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Bernd Burgstaller, and Johann Blieberger
    In Proceedings of the 23rd International Conference on Parallel and Distributed Computing (Euro-Par), 2017
  5. Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-Memory Multicores
    Minyoung Jung, Jinwoo Park, Johann Blieberger, and Bernd Burgstaller
    In Proceedings of the 46th International Conference on Parallel Processing, ICPP 2017, Bristol, United Kingdom, August 14-17, 2017
  6. Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
    Seongho Jeong, Shinhyung Yang, and Bernd Burgstaller
    In Proceedings of the 22nd International Conference on Reliable Software Technologies (Ada-Europe), 2017
  7. JParEnt: Parallel Entropy Decoding for JPEG Decompression on Heterogeneous Multicore Architectures
    Wasuwee Sodsong, Minyoung Jung, Jinwoo Park, and Bernd Burgstaller
    In Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP, 2016
  8. LaminarIR: compile-time queues for structured streams
    Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Portland, OR, USA, June 15-17, 2015
  9. Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects
    Bernd Burgstaller, and Johann Blieberger
    In Proceedings of the 19th International Conference on Reliable Software Technologies (Ada-Europe), Paris, France, June 23-27, 2014
  10. An Adaptive LOD Setting Methodology with OpenGL ES Library on Mobile Devices
    Jin-Chun Piao, Chang-Woo Cho, Cheong-Ghil Kim, Bernd Burgstaller, and Shin-Dug Kim
    In Proceedings of the International Conference on IT Convergence and Security (ICITCS), 2014
  11. Improved Branch Prediction for Just-in-Time Decompression of Canonical Huffman Bytecode Streams
    Chisoon Jeong, Su Hang, and Bernd Burgstaller
    In Proceedings of the FTRA International Symposium on Frontier and Innovation in Future Computing and Communications (FCC), 2014
  12. Dynamic Partitioning-based JPEG Decompression on Heterogeneous Multicore Architectures
    Wasuwee Sodsong, Jingun Hong, Seongwook Chung, Yeong-Kyu Lim, Shin-Dug Kim, and Bernd Burgstaller
    In Proceedings of the International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM, Orlando, Florida, USA, February 15, 2014
  13. Parallel from the beginning: the case for multicore programming in the computer science undergraduate curriculum
    Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 44th ACM Technical Symposium on Computer Science Education (SIGCSE), Denver, CO, USA, March 6-9, 2013
  14. Non-blocking parallel subset construction on shared-memory multicore architectures
    Hyewon Choi, and Bernd Burgstaller
    In Proceedings of the 11th Australasian Symposium on Parallel and Distributed Computing (AusPDC), Adelaide, Jan 29 - Feb 1, 2013
  15. Profile-guided deployment of stream programs on multicores
    Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES '12, Beijing, China - June 12 - 13, 2012
  16. Orchestration by approximation: mapping stream programs onto multicore architectures
    Sardar M. Farhad, Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011
  17. GPGPU DFA Membership Tests
    Beorn Facchini, Yousun Ko, Min-Young Jung, and Bernd Burgstaller
    In Proceedings of the 23rd IASTED International Conference on Parallel and Distributed Computing Systems (PDCS), 2011
  18. AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
    Gingun Hong, Kirak Hong, Bernd Burgstaller, and Johann Blieberger
    In Proceedings of the 15th International Conference on Reliable Software Technologies (Ada-Europe), Valencia, Spain, June 14-18, 2010
  19. An Efficient Mixed-Mode Execution Environment for C on Mobile Phone Platforms
    Taekhoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim, Jiin Park, Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 2009 WRI World Congress on Computer Science and Information Engineering, 2009
  20. Poster abstract: TinyVM, an efficient virtual machine infrastructure for sensor networks
    Kirak Hong, Jiin Park, Taekhoon Kim, Sungho Kim, Hwangho Kim, Yousun Ko, Jongtae Park, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 7th International Conference on Embedded Networked Sensor Systems (SenSys), 2009
  21. Billy get your guns: fast barrel-shift decoding for in-place execution of Huffman-encoded bytecode streams
    Hwangho Kim, Kirak Hong, Sungho Kim, Taekhoon Kim, Jiin Park, Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 3rd International Conference on Ubiquitous Information Technologies and Applications, 2008
  22. Static Detection of Livelocks in Ada Multitasking Programs
    Johann Blieberger, Bernd Burgstaller, and Robert Mittermayr
    In Proceedings of the 12th International Conference on Reliable Software Technologies (Ada-Europe), 2007
  23. Minimizing bank selection instructions for partitioned memory architectures
    Bernhard Scholz, Bernd Burgstaller, and Jingling Xue
    In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, (CASES), Seoul, Korea, October 22-25, 2006
  24. Symbolic Analysis of Imperative Programming Languages
    Bernd Burgstaller, Bernhard Scholz, and Johann Blieberger
    In Proceedings of the 7th Joint Modular Languages Conference, (JMLC), Oxford, UK, September 13-15, 2006
  25. An Embedded Systems Programming Environment for C
    Bernd Burgstaller, Bernhard Scholz, and M. Anton Ertl
    In Proceedings of the 12th International Euro-Par Conference, 2006
  26. Static Detection of Access Anomalies in Ada95
    Bernd Burgstaller, Johann Blieberger, and Robert Mittermayr
    In Proceedings of the 11th International Conference on Reliable Software Technologies (Ada-Europe), 2006
  27. On the Tree Width of Ada Programs
    Bernd Burgstaller, Johann Blieberger, and Bernhard Scholz
    In Proceedings of the 9th International Conference on Reliable Software Technologies (Ada-Europe), 2004
  28. Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
    Johann Blieberger, and Bernd Burgstaller
    In Proceedings of the 8th International Conference on Reliable Software Technologies (Ada-Europe), Toulouse, France, June 16-20, 2003
  29. Busy Wait Analysis
    Johann Blieberger, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 8th International Conference on Reliable Software Technologies (Ada-Europe), Toulouse, France, June 16-20, 2003
  30. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs
    Johann Blieberger, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 5th International Conference on Reliable Software Technologies (Ada-Europe), Potsdam, Germany, June 26-30, 2000
  31. Interprocedural Symbolic Evaluation of Ada Programs with Aliases
    Johann Blieberger, Bernd Burgstaller, and Bernhard Scholz
    In Proceedings of the 1999 International Conference on Reliable Software Technologies (Ada-Europe), Santander, Spain, June 7-11, 1999
  32. Symbolic Reaching Definitions Analysis of Ada Programs
    Johann Blieberger, and Bernd Burgstaller
    In Proceedings of the 1998 International Conference on Reliable Software Technologies (Ada Europe), Uppsala, Sweden, June 8-12, 1998
  33. Smart-Card-Security für Feldbussysteme
    Martin Manninger, Bernd Burgstaller, and Heinrich Reiter
    In Proceedings of the Feldbustagung FeT'97 (Feldbustechnik in Forschung, Entwicklung und Anwendung), Vienna, October 13-14, 1997
  34. Augmenting Ada 95 with Additional Real-Time Features
    Johann Blieberger, Roland Lieger, and Bernd Burgstaller
    In Proceedings of the 1996 International Conference on Reliable Software Technologies (Ada-Europe), Montreux, Switzerland, June 10-14, 1996

Domestic Conference Papers

  1. Improved Branch Prediction for Just-in-time Decompression of Canonical Huffman Bytecode Streams
    Chisoon Jeong, Su Hang, and Bernd Burgstaller
    In Proceedings of the Proceedings of the 2013 Winter KITCS Convergence IT Conference (KCIC 2013 Winter), Seoul, Korea, 2013
  2. Implementing Efficient Camera ISP Filters on GPGPUs using OpenCL
    Jongtae Park, Beorn Facchini, Jingun Hong, and Bernd Burgstaller
    In Proceedings of the 34th KIPS Fall Conference, Seoul, Korea, 2010
  3. An LLVM Backend for Stack-based Virtual Machines
    Jiin Park, YoonWon Jeong, and Bernd Burgstaller
    In Proceedings of the 5th International Symposium on Embedded Technology, Daegu, Korea, 2010
  4. Enhancing WIPI-C with a fast scripting engine for mobile game development
    Taekhoon Kim, Jiin Park, Hwangho Kim, Jongtae Park, Yousun Ko, Kirak Hong, and Bernd Burgstaller
    In Proceedings of the Institute of Embedded Engineering of Korea, Jeju Island, Korea, 2009

Technical Reports

  1. Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics
    Shinhyung Yang, Seongho Jeong, Byunguk Min, Yeonsoo Kim, Bernd Burgstaller, and Johann Blieberger
    Technical Report TR-0004, ELC Lab, Department of Computer Science, Yonsei University, 2020
  2. Kronecker algebra-based deadlock analysis in the Linux kernel
    Yoojin Park
    Technical Report TR-0003, ELC Lab, Department of Computer Science, Yonsei University, 2017
  3. A fast streaming layer for C++ on heterogeneous multicore processors
    Jingun Hong, Hwangho Kim, Kirak Hong, Sungho Kim, Taekhoon Kim, Jiin Park, Yousun Ko, and Bernd Burgstaller
    Technical Report TR-0002, ELC Lab, Department of Computer Science, Yonsei University, 2009
  4. Billy get your guns: fast barrel-shift decoding for in-place execution of Huffman-encoded bytecode Streams
    Hwangho Kim, Kirak Hong, Sungho Kim, Taekhoon Kim, Jiin Park, Yousun Ko, Bernd Burgstaller, and Bernhard Scholz
    Technical Report TR-0001, ELC Lab, Department of Computer Science, Yonsei University, 2008

ACM and IEEE-mandated Copyright Notice
The documents listed above are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial 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.