


Остановите войну!
for scientists:


default search action
Manuel Rigger
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c22]Theodoros Theodoridis
, Manuel Rigger
, Zhendong Su
:
Finding missed optimizations through the lens of dead code elimination. ASPLOS 2022: 697-709 - [c21]Manuel Rigger, Zhendong Su:
Intramorphic Testing: A New Approach to the Test Oracle Problem. Onward! 2022: 128-136 - [c20]Philippe Voinov, Manuel Rigger, Zhendong Su:
Forest: Structural Code Editing with Multiple Cursors. Onward! 2022: 137-152 - [c19]Manuel Rigger, Pinar Tözün
:
DBTest '22: 9th International Workshop on Testing Database Systems. SIGMOD Conference 2022: 2554-2555 - [e2]Manuel Rigger, Pinar Tözün
:
DBTest@SIGMOD '22: Proceedings of the 9th International Workshop of Testing Database Systems, Philadelphia, PA, USA, 17 June 2022. ACM 2022, ISBN 978-1-4503-9353-9 [contents] - [i10]Philippe Voinov, Manuel Rigger, Zhendong Su:
Forest: Structural Code Editing with Multiple Cursors. CoRR abs/2210.11124 (2022) - [i9]Manuel Rigger, Zhendong Su:
Intramorphic Testing: A New Approach to the Test Oracle Problem. CoRR abs/2210.11228 (2022) - 2021
- [c18]Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su:
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. OSDI 2021: 479-494 - [e1]Gregor Richards, Manuel Rigger:
VMIL 2021: Proceedings of the 13th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, Virtual Event / Chicago, IL, USA, 19 October 2021. ACM 2021, ISBN 978-1-4503-9109-2 [contents] - [i8]Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger:
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). Dagstuhl Reports 11(10): 20-35 (2021) - 2020
- [j5]Lisa Nguyen Quang Do, Manuel Rigger:
Front Matter, Table of Contents, Preface, Conference Organization. Dagstuhl Artifacts Ser. 6(2): 00:-1-00:-12 (2020) - [j4]Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse
, Manuel Rigger, Zhendong Su
, Torsten Hoefler:
Fast linear programming through transprecision computing on small and sparse data. Proc. ACM Program. Lang. 4(OOPSLA): 195:1-195:28 (2020) - [j3]Manuel Rigger, Zhendong Su
:
Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4(OOPSLA): 211:1-211:30 (2020) - [c17]Manuel Rigger, Zhendong Su:
Testing Database Engines via Pivoted Query Synthesis. OSDI 2020: 667-682 - [c16]Manuel Rigger, Zhendong Su
:
Detecting optimization bugs in database engines via non-optimizing reference engine construction. ESEC/SIGSOFT FSE 2020: 1140-1152 - [i7]Manuel Rigger, Zhendong Su:
Testing Database Engines via Pivoted Query Synthesis. CoRR abs/2001.04174 (2020) - [i6]Manuel Rigger, Zhendong Su:
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. CoRR abs/2007.08292 (2020)
2010 – 2019
- 2019
- [j2]Maria Christakis, Manuel Rigger:
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(2): 00:-1-00:-11 (2019) - [c15]Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck:
Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction. MPLR 2019: 1-13 - [c14]Manuel Rigger, Stefan Marr, Bram Adams
, Hanspeter Mössenböck:
Understanding GCC builtins to develop better tools. ESEC/SIGSOFT FSE 2019: 74-85 - [i5]Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck:
Understanding GCC Builtins to Develop Better Tools. CoRR abs/1907.00863 (2019) - [i4]Raphael Mosaner, David Leopoldseder, Manuel Rigger, Roland Schatz, Hanspeter Mössenböck:
Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction. CoRR abs/1909.08815 (2019) - 2018
- [j1]Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
:
Introspection for C and its Applications to Library Robustness. Art Sci. Eng. Program. 2(2): 4 (2018) - [c13]Manuel Rigger, Roland Schatz, René Mayrhofer
, Matthias Grimmer, Hanspeter Mössenböck
:
Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model. ASPLOS 2018: 377-391 - [c12]Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck:
Context-Aware Failure-Oblivious Computing as a Means of Preventing Buffer Overflows. NSS 2018: 376-390 - [c11]David Leopoldseder, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck
:
A cost model for a graph-based intermediate-representation in a dynamic compiler. VMIL@SPLASH 2018: 26-35 - [c10]David Leopoldseder, Roland Schatz, Lukas Stadler, Manuel Rigger, Thomas Würthinger, Hanspeter Mössenböck
:
Fast-path loop unrolling of non-counted loops to enable subsequent compiler optimizations. ManLang 2018: 2:1-2:13 - [c9]Jacob Kreindl
, Manuel Rigger, Hanspeter Mössenböck
:
Debugging native extensions of dynamic languages. ManLang 2018: 12:1-12:7 - [c8]Manuel Rigger, Roland Schatz, Jacob Kreindl, Christian Häubl, Hanspeter Mössenböck:
Sulong, and thanks for all the fish. Programming 2018: 58-60 - [c7]Manuel Rigger:
Sandboxed execution of C and other unsafe languages on the Java virtual machine. Programming 2018: 227-229 - [c6]Manuel Rigger, Stefan Marr, Stephen Kell, David Leopoldseder, Hanspeter Mössenböck
:
An Analysis of x86-64 Inline Assembly in C Programs. VEE 2018: 84-99 - [p1]Manuel Rigger:
Memory-safe Execution of Low-level Languages on a Java Virtual Machine. Ausgezeichnete Informatikdissertationen 2018: 201-210 - [i3]Manuel Rigger, Daniel Pekarek, Hanspeter Mössenböck:
Context-aware Failure-oblivious Computing as a Means of Preventing Buffer Overflows. CoRR abs/1806.09026 (2018) - [i2]Jacob Kreindl, Manuel Rigger, Hanspeter Mössenböck:
Debugging Native Extensions of Dynamic Languages. CoRR abs/1808.00823 (2018) - 2017
- [c5]Manuel Rigger, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck
:
Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code. ManLang 2017: 35-47 - [i1]Manuel Rigger, Rene Mayrhofer, Roland Schatz, Matthias Grimmer, Hanspeter Mössenböck:
Introspection for C and its Applications to Library Robustness. CoRR abs/1712.01163 (2017) - 2016
- [c4]Manuel Rigger, Matthias Grimmer, Hanspeter Mössenböck
:
Sulong - execution of LLVM-based languages on the JVM: position paper. ICOOOLPS@ECOOP 2016: 7:1-7:4 - [c3]Manuel Rigger, Matthias Grimmer, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck
:
Bringing low-level languages to the JVM: efficient execution of LLVM IR on Truffle. VMIL@SPLASH 2016: 6-15 - 2014
- [c2]Matthias Grimmer
, Manuel Rigger, Roland Schatz, Lukas Stadler, Hanspeter Mössenböck
:
TruffleC: dynamic execution of C on a Java virtual machine. PPPJ 2014: 17-26 - 2013
- [c1]Matthias Grimmer
, Manuel Rigger, Lukas Stadler, Roland Schatz, Hanspeter Mössenböck
:
An efficient native function interface for Java. PPPJ 2013: 35-44
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2022-12-06 21:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint