Travelled to:1 × Germany
Collaborated with:M.Veanes T.Mytkowicz K.Kähkönen K.Heljanko M.Musuvathi R.Dathathri Hao Chen 0030 Kim Laine Kristin E. Lauter S.Maleki M.Musuvathi
Talks about:multithread (1) comprehens (1) homomorph (1) transduc (1) inferenc (1) program (1) network (1) unfold (1) symbol (1) neural (1)
Person: Olli Saarikivi
DBLP: Saarikivi:Olli
Contributed to:
2012
2017
20172019Wrote 4 papers:
- ASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using
- Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.
- CAV-2017-SaarikiviV #transducer
- Minimization of Symbolic Transducers (OS, MV), pp. 176–196.
- PLDI-2017-SaarikiviVMM
- Fusing effectful comprehensions (OS, MV, TM, MM), pp. 17–32.
- PLDI-2019-DathathriS0LLMM #compilation #named #optimisation
- CHET: an optimizing compiler for fully-homomorphic neural-network inferencing (RD, OS, HC0, KL, KEL, SM, MM, TM), pp. 142–156.