( en | de | ru )

 

Disambiguation of "Rigger, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Fast linear programming through transprecision computing on small and sparse data.

, , , , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 195:1-195:28 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ralf Rigger

Hansjörg Rigger

Manuel

Manuel Knebelsberger

Manuel Schmitz

 

Other publications of authors with the same name

Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows., , and . NSS, volume 11058 of Lecture Notes in Computer Science, page 376-390. Springer, (2018)Memory-safe Execution of Low-level Languages on a Java Virtual Machine.. Ausgezeichnete Informatikdissertationen, volume D-19 of LNI, GI, (2018)Testing Database Engines via Pivoted Query Synthesis., and . OSDI, page 667-682. USENIX Association, (2020)Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model., , , , and . ASPLOS, page 377-391. ACM, (2018)Finding Cross-Rule Optimization Bugs in Datalog Engines., , and . Proc. ACM Program. Lang., 8 (OOPSLA1): 110-136 (2024)Tenth International Workshop on Testing Database Systems (DBTest)., and . SIGMOD Conference Companion, page 665-666. ACM, (2024)TruffleC: dynamic execution of C on a Java virtual machine., , , , and . PPPJ, page 17-26. ACM, (2014)A cost model for a graph-based intermediate-representation in a dynamic compiler., , , , and . VMIL@SPLASH, page 26-35. ACM, (2018)Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction., , , , and . MPLR, page 1-13. ACM, (2019)Testing Database Engines via Query Plan Guidance., and . ICSE, page 2060-2071. IEEE, (2023)