I agree that this site is using cookies. You can find further informations here.
X
Kuepper, Joel
6  results:
Search for persons X
?
1

CryptOpt: Verified Compilation with Randomized Program Sear..:

Kuepper, Joel ; Erbsen, Andres ; Gross, Jason...
Proceedings of the ACM on Programming Languages.  7 (2023)  PLDI - p. 1268-1292 , 2023
Link: https://doi.org/10.1145/..
 
?
2

CryptOpt: Automatic Optimization of Straightline Code:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Kuepper, Joel ; Wu, David ; Erbsen, Andres... - p. 141-145 , 2023
Link: https://doi.org/10.1109/..
 
?
3

CryptOpt: Automatic Optimization of Straightline Code:

Kuepper, Joel ; Erbsen, Andres ; Gross, Jason...
http://arxiv.org/abs/2305.19586.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

CryptOpt: Verified Compilation with Randomized Program Sear..:

Kuepper, Joel ; Erbsen, Andres ; Gross, Jason...
https://doi.org/10.1145/3591272.  , 2023
Link: https://hdl.handle.net/1..
 
?
5

CryptOpt: Verified Compilation with Randomized Program Sear..:

Kuepper, Joel ; Erbsen, Andres ; Gross, Jason...
http://arxiv.org/abs/2211.10665.  , 2022
Link: http://arxiv.org/abs/221..
 
?
6

Introduction to Raw-sockets:

Heuschkel, Jens ; Hofmann, Tobias ; Hollstein, Thorsten.
https://tuprints.ulb.tu-darmstadt.de/6243/1/TR-18.pdf.  , 2017
Link: http://tuprints.ulb.tu-d..
 
1-6