Universität der Bundeswehr München: AtheneForschung
Logo
User: Guest  Login
Sort by:
and:
previousnext

Brunthaler, Stefan:
Efficient Interpretation using Quickening
, New York, NY, USA
, ACM
. In: DLS '10: Proceedings of the 6th symposium on Dynamic languages,
2010
. - p. 1-14

Konferenzbeitrag / Conference Paper
Savrun-Yeniçeri, Gülfem; Zhang, Wei; Zhang, Huahan; Li, Chen; Brunthaler, Stefan; Larsen, Per; Franz, Michael:
Efficient Interpreter Optimizations for the JVM
. In: PPPJ '13: Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform,
2013
. - p. 113-123

Konferenzbeitrag / Conference Paper
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George:
Efficient State Merging in Symbolic Execution
, GI
. In: Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik (SE),
2014
. - p. 45-46

Konferenzbeitrag / Conference Paper
Savrun-Yeniçeri, Gülfem; Van de Vanter, Michael L.; Larsen, Per; Brunthaler, Stefan; Franz, Michael:
Efficient and Generic Event-based Profiler Framework for Dynamic Languages
. In: PPPJ '15,
2015
. - p. 102-112

Konferenzbeitrag / Conference Paper
Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj:
Efficient model checking of fault-tolerant distributed protocols
2011

Technischer Report / Technical Report
Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj:
Efficient model checking of fault-tolerant distributed protocols
, Piscataway
, IEEE
. In: 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN),
2011
. - p. 73-84

Konferenzbeitrag / Conference Paper
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George:
Efficient state merging in symbolic execution
, New York
, ACM
. In: PLDI '12 Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation ,
2012
. - p. 193-204

Konferenzbeitrag / Conference Paper
Marvica, David; Brunthaler, Stefan:
Effiziente Ausführung von SIMD Bytecodes in Interpretern
2024
. Presentation at Vortrag beim 40. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte

Vortrag / Presentation
Mundt, Michael; Baier, Harald:
Enhancing Incident Management by an improved Understanding of Data Exfiltration
2023
. - p. 28

Konferenzbeitrag / Conference Paper
Larsen, Per; Brunthaler, Stefan; Franz, Michael
[University of California]:
Error report normalization
; (WO2016054426A1). -
07.04.2016

Patent
Sort by:
and:
previousnext