BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Saarikivi:Olli

Contributed to:

ASE 20122012
CAV (2) 20172017
PLDI 20172017
PLDI 20192019

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.