E-LIB Suche - Ergebnisse für: Kirsch, Christoph M.

1

JEDI: These aren't the JSON documents you're looking for...:

, In: Proceedings of the 2022 International Conference on Management of Data,

Hütter, Thomas ; Augsten, Nikolaus ; Kirsch, Christoph M... - p. 1584-1597 , 2022

2

What we eval in the shadows: a large-scale study of eval in..:

Goel, Aviral ; Donat-Bouillud, Pierre ; Křikava, Filip..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-23 , 2021

Link: https://dl.acm.org/doi/1..

3

What we eval in the shadows: a large-scale study of eval in..:

Goel, Aviral ; Donat-Bouillud, Pierre ; Křikava, Filip..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-23 , 2021

Link: https://doi.org/10.1145/..

4

ASE : a value set decision procedure for symbolic execut..:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,

Abyaneh, Alireza S. ; Kirsch, Christoph M. - p. 203-214 , 2021

Link: https://dl.acm.org/doi/1..

5

On the self in selfie (invited talk):

, In: Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages,

Kirsch, Christoph M. - p. 1-3 , 2018

Link: https://dl.acm.org/doi/1..

6

Proceedings of the 2017 ACM SIGPLAN International Symposium..:

Kirsch, Christoph M. ; Titzer, Ben L. , 2017

Link: https://dl.acm.org/doi/1..

7

Selfie and the basics:

, In: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,

Kirsch, Christoph M. - p. 198-213 , 2017

Link: https://dl.acm.org/doi/1..

8

Cloud Computing in Space:

Huang, Jiangchuan ; Kirsch, Christoph M. ; Sengupta, Raja
INFORMS Journal on Computing. 27 (2015) 4 - p. 704-717 , 2015

Link: https://doi.org/10.1287/..

9

Fast, multicore-scalable, low-fragmentation memory allocati..:

Aigner, Martin ; Kirsch, Christoph M. ; Lippautz, Michael.
ACM SIGPLAN Notices. 50 (2015) 10 - p. 451-469 , 2015

Link: https://doi.org/10.1145/..

10

A runtime system for logical-space programming:

, In: Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud,

Pereira, Eloi ; Krainer, Clemens ; da Silva, Pedro Marques.. - p. 28-33 , 2015

Link: https://dl.acm.org/doi/1..

11

A Scalable, Correct Time-Stamped Stack:

Dodds, Mike ; Haas, Andreas ; Kirsch, Christoph M.
ACM SIGPLAN Notices. 50 (2015) 1 - p. 233-246 , 2015

Link: https://doi.org/10.1145/..

12

Fast, multicore-scalable, low-fragmentation memory allocati..:

, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications,

Aigner, Martin ; Kirsch, Christoph M. ; Lippautz, Michael. - p. 451-469 , 2015

Link: https://dl.acm.org/doi/1..

13

A Scalable, Correct Time-Stamped Stack:

, In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,

Dodds, Mike ; Haas, Andreas ; Kirsch, Christoph M. - p. 233-246 , 2015

Link: https://dl.acm.org/doi/1..

14

Cyber-physical cloud computing implemented as PaaS:

, In: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems,

Krainer, Clemens ; Kirsch, Christoph M. - p. 15-18 , 2014

Link: https://dl.acm.org/doi/1..

15

ACDC-JS: explorative benchmarking of javascript memory mana..:

Aigner, Martin ; Hütter, Thomas ; Kirsch, Christoph M....
ACM SIGPLAN Notices. 50 (2014) 2 - p. 67-78 , 2014

Link: https://doi.org/10.1145/..