Travelled to:1 × Austria
1 × France
1 × Russia
1 × Serbia
1 × USA
1 × United Kingdom
Collaborated with:J.Giesl C.Otto C.Fuhs F.Frohn J.Hensel R.Thiemann B.Cook F.Emmes R.Musiol C.v.Essen S.J.C.Joosten A.Y.0002 P.Schneider-Kamp T.Ströder S.Falke M.Naaf M.Plücker S.Swiderski
Talks about:termin (7) program (6) prove (3) proof (3) integ (3) java (3) bytecod (2) analysi (2) safeti (2) runtim (2)
Person: Marc Brockschmidt
DBLP: Brockschmidt:Marc
Contributed to:
2014
2014
20132012
201120102016
2017Wrote 9 papers:
- IJCAR-2014-GieslBEFFOPSSST #automation #proving #source code #termination
- Proving Termination of Programs Automatically with AProVE (JG, MB, FE, FF, CF, CO, MP, PSK, TS, SS, RT), pp. 184–191.
- IJCAR-2014-StroderGBFFHS #memory management #pointer #proving #safety #source code #termination
- Proving Termination and Memory Safety for Programs with Pointer Arithmetic (TS, JG, MB, FF, CF, JH, PSK), pp. 208–223.
- TACAS-2014-BrockschmidtEFFG #analysis #complexity #integer #runtime #source code
- Alternating Runtime and Size Complexity Analysis of Integer Programs (MB, FE, SF, CF, JG), pp. 140–155.
- CAV-2013-BrockschmidtCF #proving #termination
- Better Termination Proving through Cooperation (MB, BC, CF), pp. 413–429.
- CAV-2012-BrockschmidtMOG #automation #java #proving #source code #termination
- Automated Termination Proofs for Java Programs with Cyclic Data (MB, RM, CO, JG), pp. 105–122.
- RTA-2011-BrockschmidtOG #bytecode #composition #java #proving #recursion #source code #term rewriting #termination
- Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting (MB, CO, JG), pp. 155–170.
- RTA-2010-OttoBEG #analysis #automation #bytecode #java #term rewriting #termination
- Automated Termination Analysis of Java Bytecode by Term Rewriting (CO, MB, CvE, JG), pp. 259–276.
- IJCAR-2016-FrohnNHBG #bound #integer #runtime #source code
- Lower Runtime Bounds for Integer Programs (FF, MN, JH, MB, JG), pp. 550–567.
- CADE-2017-BrockschmidtJT0 #integer #proving #safety #termination
- Certifying Safety and Termination Proofs for Integer Transition Systems (MB, SJCJ, RT, AY0), pp. 454–471.