Travelled to:1 × China
1 × Germany
1 × Portugal
1 × Sweden
2 × France
2 × Switzerland
2 × USA
3 × Spain
Collaborated with:J.Blieberger B.Scholz Y.Ko R.Mittermayr S.M.Farhad R.Lieger Seongho Jeong Shinhyung Yang G.Hong K.Hong
Talks about:ada (11) program (9) stream (5) analysi (4) symbol (4) static (3) detect (3) synchron (2) multicor (2) protect (2)
Person: Bernd Burgstaller
DBLP: Burgstaller:Bernd
Contributed to:
2015
2014
2012
201120102007200620042003200019991998199620172018Wrote 16 papers:
- PLDI-2015-KoBS #named
- LaminarIR: compile-time queues for structured streams (YK, BB, BS), pp. 121–130.
- AdaEurope-2014-BurgstallerB #ada #algebra #source code #static analysis
- Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects (BB, JB), pp. 27–42.
- LCTES-2012-FarhadKBS #deployment #multi #source code
- Profile-guided deployment of stream programs on multicores (SMF, YK, BB, BS), pp. 79–88.
- ASPLOS-2011-FarhadKBS #approximate #architecture #distributed #manycore #source code
- Orchestration by approximation: mapping stream programs onto multicore architectures (SMF, YK, BB, BS), pp. 357–368.
- AdaEurope-2010-HongHBB #ada #named #programming #type system
- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 (GH, KH, BB, JB), pp. 208–221.
- AdaEurope-2007-BliebergerBM #ada #detection #multi #source code #static analysis
- Static Detection of Livelocks in Ada Multitasking Programs (JB, BB, RM), pp. 69–83.
- AdaEurope-2006-BurgstallerBM #ada #detection #static analysis
- Static Detection of Access Anomalies in Ada95 (BB, JB, RM), pp. 40–55.
- AdaEurope-2004-BurgstallerBS #ada #on the #source code
- On the Tree Width of Ada Programs (BB, JB, BS), pp. 78–90.
- AdaEurope-2003-BliebergerB #evaluation #symbolic computation #using
- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation (JB, BB), pp. 153–167.
- AdaEurope-2003-BliebergerBS #analysis
- Busy Wait Analysis (JB, BB, BS), pp. 142–152.
- AdaEurope-2000-BliebergerBS #ada #analysis #data flow #detection #source code
- Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs (JB, BB, BS), pp. 225–237.
- AdaEurope-1999-BliebergerBS #ada #alias #evaluation #interprocedural #source code #symbolic computation
- Interprocedural Symbolic Evaluation of Ada Programs with Aliases (JB, BB, BS), pp. 136–145.
- AdaEurope-1998-BliebergerB #ada #analysis #source code
- Symbolic Reaching Definitions Analysis of Ada Programs (JB, BB), pp. 238–250.
- AdaEurope-1996-BliebergerLB #ada #realtime
- Augmenting Ada 95 with Additional Real-Time Features (JB, RL, BB), pp. 330–341.
- AdaEurope-2017-JeongYB #transaction #using
- Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions (SJ, SY, BB), pp. 121–136.
- AdaEurope-2018-BliebergerB #ada
- Safe Non-blocking Synchronization in Ada2x (JB, BB), pp. 53–69.