main
menu
  Publications
 

Books

[B01]
Informatik Grundlagen
(Computer Science Fundamentals)
.                      
J. Blieberger, B. Burgstaller and G.H. Schildt.
Springers Lehrbücher der Informatik.
Springer, Vienna,
4th edition 2002, 5th edition 2005.

book
[B02]
Symbolic Analysis: an Algebra-based Approach.
B. Burgstaller, B. Scholz and J. Blieberger.
VDM, Saarbrüecken, April 2008.

book

Book Chapter

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

Journals

[J08]
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 (SCI-E), Special issue on Programming Models and Applications for Multicores and Manycores (PMAM 2016), Vol. 29 (15), Wiley-Blackwell, August 2017. [DOI]

[J07]
Dynamic Partitioning-based JPEG Decompression on Heterogeneous Multicore Architectures.
Wasuwee Sodsong, Jingun Hong, Seongwook Chung, Yeongkyu Lim, Shin-Dug Kim and Bernd Burgstaller.
Concurrency and Computation: Practice and Experience (SCI-E), Special issue on Programming Models and Applications for Multicores and Manycores (PMAM), Vol. 28 (2), pp. 517-536, Wiley-Blackwell, February 2016. [DOI]
[J06]
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 (SCI-E), Vol. 42 (3), pp. 456-489, Springer, June 2014.
[DOI], arXiv:1210.5093 [cs.DC]
[J05]
A Symbolic Analysis Framework for Static Analysis of Imperative Programming Languages.
Bernd Burgstaller, Bernhard Scholz and Johann Blieberger.
Journal of Systems and Software (SCI-E), Vol. 85 (6), pp. 1418-1439, Elsevier Inc., 2012. [DOI]
[J04]
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 (SCI-E), Vol. 42 (10), pp. 1193-1209, John Wiley & Sons, Ltd., 2012. [DOI]
[J03]
StreamPI: A Stream-Parallel Programming Extension for Object-Oriented Programming Languages.
Jingun Hong, Kirak Hong, Bernd Burgstaller and Johann Blieberger.
Journal of Supercomputing (SCI), Vol. 61 (1), pp. 118-140, Springer Netherlands, 2012. [DOI]
[J02]
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture.
R. Khoury, B. Burgstaller and B. Scholz.
IEEE Transactions on Parallel and Distributed Systems (SCI), IEEE Press, Jan. 2011. [DOI]
[J01]
Minimal Placement of Bank Selection Instructions for Partitioned Memory Architectures.
B. Scholz, B. Burgstaller and J. Xue.
Transactions on Embedded Computing Systems (TECS), Vol. 7, Number 2, ACM Press, 2008, SCI-E.
[DOI] [pdf, ACM author-ized]

International Conferences

[A33]
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.
Accepted for publication in the Proc. of the International Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing (Auto-DaSP 2017), Springer ARCoSS/LNCS, Santiago de Compostela, August 29, 2017.
[slides]
[A32]
Parallel Construction of Simultaneous Deterministic Finite Automata on Shared-memory Multicores.
Minyoung Jung, Jinwoo Park, Johann Blieberger and Bernd Burgstaller.
In Proc. of the 46th International Conference on Parallel Processing (ICPP-2017) (BK-listed conference), IEEE, Bristol, UK, August 2017.
[pdf], [slides]
[A31]
Lazy Parallel Kronecker Algebra-Operations on Heterogeneous Multicores.
Wasuwee Sodsong, Robert Mittermayr, Yoojin Park, Bernd Burgstaller and Johann Blieberger.
Accepted for publication in the Proc. of the 23rd International European Conference on Parallel and Distributed Computing, Euro-Par 2017 (BK-listed conference), Springer LNCS, Santiago de Compostela, August 28 - September 1, 2017.
[pdf], [slides]
[A30]
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions.
Seongho Jeong, Shinhyung Yang and Bernd Burgstaller.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies, Springer LNCS, Vienna, June 2017.
[best paper award]
[pdf], [slides]
[A29]
JParEnt: Parallel Entropy Decoding for JPEG Decompression on Heterogeneous Multicore Architectures.
Wasuwee Sodsong, Minyoung Jung, Jinwoo Park and Bernd Burgstaller.
In Proc. of the 2016 International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2016, ACM, Barcelona, March 2016.
[A28]
LaminarIR: Compile-time Queues for Structured Streams.
Yousun Ko, Bernd Burgstaller and Bernhard Scholz.
In Proc. of the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation PLDI'15 (BK-listed conference), ACM, Portland, June 2015.
[A27]
Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.
Bernd Burgstaller and Johann Blieberger.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies, Springer LNCS, Paris, June 2014.
[A26]
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 Proc. of the International Conference on IT Convergence and Security, IEEE Computer Society, Beijing, China, October 2014.
[A25]
Improved Branch Prediction for Just-in-Time Decompression of Canonical Huffman Bytecode Streams.
Chisoon Jeong, Su Hang and Bernd Burgstaller.
Frontier and Innovation in Future Computing and Communications, Springer Lecture Notes in Electrical Engineering, Vol. 301, April 2014.
[A24]
Dynamic Partitioning-based JPEG Decompression on Heterogeneous Multicore Architectures.
Wasuwee Sodsong, Jingun Hong, Seongwook Chung, Yeongkyu Lim, Shin-Dug Kim and Bernd Burgstaller.
In Proc. of the 2014 International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2014, ACM, Orlando, February 2014.
[pdf, ACM author-ized]
[A23]
Parallel from the Beginning: The Case for Multicore Programming in the Computer Science Undergraduate Curriculum.
Yousun Ko, Bernd Burgstaller and Bernhard Scholz.
In Proc. of the 44th ACM Technical Symposium on Computer Science Education, SIGCSE 2013 (WCU), ACM, Denver, March 2013.
[pdf, ACM author-ized]
[A22]
Non-blocking Parallel Subset Construction on Shared-memory Multicore Architectures.
Hyewon Choi and Bernd Burgstaller.
In Proc. of the 11th Australasian Symposium on Parallel and Distributed Computing (AusPDC 2013),
Adelaide, Jan 29 - Feb 1 2013.
[A21]
Profile-Guided Deployment of Stream Programs on Multicores.
S. M. Farhad, Yousun Ko, Bernd Burgstaller and Bernhard Scholz.
In Proc. of the ACM SIGPLAN/SIGBED 2012 Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES 2012), ACM, Beijing, June 2012.
[pdf, ACM author-ized]
[A20]
GPGPU DFA Membership Tests.
Beorn Faccini, Yousun Ko, Min-Young Jung and Bernd Burgstaller.
In Proc. of the 23rd IASTED International Conference on Parallel and Distributed Computing Systems (PDCS 2011), IASTED/ACTA Press,
Dallas, December 2011.
[A19]
Treegraph-based Instruction Scheduling for Stack-based Virtual Machines.
Jiin Park, Jinhyung Park, Wonjoon Song, Songwook Yoon, Bernd Burgstaller and Bernhard Scholz.
In Proc. of the Sixth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2011), Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier,
Saarbrucken, March 2011.
[pdf], [slides]
[A18]
Orchestration by Approximation: Mapping Stream Programs onto Multicore Architectures.
Sardar M. Farhad, Yousun Ko, Bernd Burgstaller and Bernhard Scholz.
In Proc. of the ASPLOS 2011 Conference (WCU), ACM, Newport Beach, CA, March 2011.
[pdf, ACM author-ized]
[A17]
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.
Gingun Hong, Kirak Hong, B. Burgstaller and J. Blieberger .
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Springer Press,
Valencia, Spain, June 2010.
[A16]
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 Proc. of the 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009), ACM Press, Berkeley, November 2009.
[pdf, ACM author-ized]
[A15]
An Efficient Mixed-mode Execution Environment for C on Mobile Phone Platforms.
Taek-hoon Kim, Sungho Kim, Kirak Hong, Hwangho Kim, Jiin Park, Yousun Ko, Bernd Burgstaller and Bernhard Scholz.
In Proc. of the Communications & Mobile Computing Symposium of the 2009 World Congress on Computer Science and Information Engineering,
IEEE Computer Society,
Los Angeles, March 2009.
[A14]
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 Proc. of the 3rd International Conference on Ubiquitous Information Technologies and Applications,
Korea Information Processing Society, IEEE technical co-sponsorship,
Ho Chi Minh, Vietnam, December 2008.
Best presentation award, out of 150 presentations.
[A13]
Static Detection of Livelocks in Ada Multitasking Programs.
J. Blieberger, B. Burgstaller, and R. Mittermayr .
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Springer Press,
Geneva, Switzerland, June 2007.
[A12]
Minimizing Bank Selection Instructions for Partitioned Memory Architectures.
B. Scholz, B. Burgstaller, and J. Xue .
In Proc. of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, ACM Press, Seoul, Korea, October 2006.
[best paper candidate (top 4 paper)]
[pdf, ACM author-ized], [slides]
[A11]
Symbolic Analysis of Imperative Programming Languages.
B. Burgstaller, B. Scholz, and J. Blieberger .
In Proc. of the Joint Modular Languages Conference,
Lecture Notes in Computer Science (LNCS), Springer Press,
Oxford, England, September 2006. SCI-E.
[pdf]
[A10]
An Embedded Systems Programming Environment for C.
B. Burgstaller, B. Scholz, and A. Ertl .
In Proc. of the Euro-Par Conference,
Lecture Notes in Computer Science (LNCS), Springer Press,
Dresden, Germany, 29th August - 1st September 2006. SCI-E.
[pdf] [slides]
[A09]
Static Detection of Access Anomalies in Ada95.
B. Burgstaller, J. Blieberger, and R. Mittermayr .
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Springer Press,
Porto, Portugal, June 2006. SCI-E
[pdf]
[A08]
On the Tree Width of Ada Programs.
B. Burgstaller, J. Blieberger, and B. Scholz .
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 3063, pp. 78-90, Springer Press,
Palma de Mallorca, Spain, June 2004.
[pdf]
[A07]
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.
J. Blieberger and B.Burgstaller.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 2655, pp. 153-167, Springer Press,
Toulouse, France, June 2003.
[pdf]
[A06]
Busy Wait Analysis.
J. Blieberger, B.Burgstaller, and B. Scholz.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 2655, pp. 142-152, Springer Press,
Toulouse, France, June 2003.
[pdf]
[A05]
Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.
J. Blieberger, B.Burgstaller, and B. Scholz.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 1845, pp. 225-237, Springer Press,
Potsdam, Germany, June 2000.
[pdf]
[A04]
Interprocedural Symbolic Analysis of Ada Programs with Aliases.
J. Blieberger, B.Burgstaller, and B. Scholz.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 1622, pp. 136-145, Springer Press,
Santander, Spain, June 1999.
[pdf]
[A03]
Symbolic Reaching Definitions Analysis of Ada Programs.
J. Blieberger and B.Burgstaller.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 1411, pp. 238-250, Springer Press,
Uppsala, Sweden, June 1998.
[pdf]
[A02]
Smart-Card-Security für Feldbussysteme.
(Smart-Card-Security for Fieldbus Systems).
M. Manninger, B.Burgstaller, and H. Reiter.
In Proc. of FeT'97 (Feldbustechnik in Forschung, Entwicklung und Anwendung),
Springer, Vienna, Austria, October 1997.
[A01]
Augmenting Ada 95 with Additional Real-Time Features.
J. Blieberger, R. Lieger, and B.Burgstaller.
In Proc. of the Ada-Europe International Conference on Reliable Software Technologies,
Lecture Notes in Computer Science (LNCS), Vol. 1088, pp. 330-341, Springer Press,
Montreux, Switzerland, June 1996.
[pdf]

Domestic Conferences

[D05]
Improved Branch Prediction for Just-in-time Decompression of Canonical Huffman Bytecode Streams
Chisoon Jeong, Su Hang and Bernd Burgstaller
In Proc. of the 2013 Winter KITCS Convergence IT Conference (KCIC 2013 Winter),
Seoul, Korea, Dec 2013.
[D03]
Implementing Efficient Camera ISP Filters on GPGPUs using OpenCL.
Jongtae Park, Beorn Facchini, Jingun Hong and Bernd Burgstaller
In Proc. of the 34th KIPS Fall Conference,
Seoul, Korea, Nov 2010.
Best paper award (9 out of 528 papers).
[D02]
An LLVM Backend for Stack-based Virtual Machines.
Jiin Park, YoonWon Jeong and Bernd Burgstaller
In Proc. of the 5th International Symposium on Embedded Technology,
Daegu, Korea, May 2010.
[D01]
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 Proc. of Institute of Embedded Engineering of Korea,
Jeju Island, Korea, Nov 2009.
Best presentation award, among top 17 out of 122 presentations.

Technical Reports

[T03]
Kronecker Algebra-based Deadlock Analysis in the Linux Kernel.
Yoojin Park
Technical Report TR-0003, ELC Lab, Dept. Computer Science, Yonsei University, 2017.
[pdf]
[T02]
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, Dept. Computer Science, Yonsei University, 2009.
[T01]
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, Dept. Computer Science, Yonsei University, 2008.
[pdf]

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.
last update: Feb 17, 2017
Yonsei University yonsei university
address
Valid HTML 4.01 Transitional
home introduction Who are the members of elc lab ? course research publication home yonsei university