default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndreas Rossberg
Person information
- affiliation: Google, Germany
- affiliation (former): Max Planck Institute for Software Systems, Saarbrücken, Germany
- affiliation (former): Saarland University, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Dongjun Youn
, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg:
Bringing the WebAssembly Standard up to Speed with SpecTec. Proc. ACM Program. Lang. 8(PLDI): 1559-1584 (2024)- 2023
- [j8]Andreas Rossberg:
Mutually Iso-Recursive Subtyping. Proc. ACM Program. Lang. 7(OOPSLA2): 347-373 (2023) - [j7]Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley:
Continuing WebAssembly with Effect Handlers. Proc. ACM Program. Lang. 7(OOPSLA2): 460-485 (2023) - [c15]Andreas Rossberg:
Keeping the asm in Wasm: Running High-Level Languages on a Low-Level VM (Invited Talk). DLS 2023: 5 - [c14]Andreas Rossberg:
Is Wasm Becoming Garbage? (Keynote). MPLR 2023: 1 - [i4]Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley:
Continuing WebAssembly with Effect Handlers. CoRR abs/2308.08347 (2023) - [i3]Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn:
Wasm SpecTec: Engineering a Formal Language Standard. CoRR abs/2311.07223 (2023) - [i2]Karthikeyan Bhargavan, Jonathan Protzenko, Andreas Rossberg, Deian Stefan:
Foundations of WebAssembly (Dagstuhl Seminar 23101). Dagstuhl Reports 13(3): 1-16 (2023) - 2021
- [i1]Danel Ahman, Amal Ahmed, Sam Lindley, Andreas Rossberg:
Scalable Handling of Effects (Dagstuhl Seminar 21292). Dagstuhl Reports 11(6): 54-81 (2021)
2010 – 2019
- 2019
- [j6]Conrad Watt, Andreas Rossberg, Jean Pichon-Pharabod:
Weakening WebAssembly. Proc. ACM Program. Lang. 3(OOPSLA): 133:1-133:28 (2019) - 2018
- [j5]Andreas Rossberg, Ben L. Titzer, Andreas Haas, Derek L. Schuff, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien, Michael Holman:
Bringing the web up to speed with WebAssembly. Commun. ACM 61(12): 107-115 (2018) - [j4]Andreas Rossberg:
1ML - Core and modules united. J. Funct. Program. 28: e22 (2018) - 2017
- [c13]Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien:
Bringing the web up to speed with WebAssembly. PLDI 2017: 185-200 - 2016
- [c12]Andreas Rossberg:
1ML with Special Effects - F-ing Generativity Polymorphism. A List of Successes That Can Change the World 2016: 336-355 - 2015
- [c11]Andreas Rossberg:
1ML - core and modules united (F-ing first-class modules). ICFP 2015: 35-47 - 2014
- [j3]Andreas Rossberg, Claudio V. Russo, Derek Dreyer:
F-ing modules. J. Funct. Program. 24(5): 529-607 (2014) - 2013
- [j2]Andreas Rossberg, Derek Dreyer:
Mixin' Up the ML Module System. ACM Trans. Program. Lang. Syst. 35(1): 2:1-2:84 (2013) - 2011
- [j1]Georg Neis, Derek Dreyer, Andreas Rossberg:
Non-parametric parametricity. J. Funct. Program. 21(4-5): 497-562 (2011) - 2010
- [c10]Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal:
A relational modal logic for higher-order stateful ADTs. POPL 2010: 185-198 - [c9]Andreas Rossberg, Claudio V. Russo, Derek Dreyer:
F-ing modules. TLDI 2010: 89-102
2000 – 2009
- 2009
- [c8]Georg Neis, Derek Dreyer, Andreas Rossberg:
Non-parametric parametricity. ICFP 2009: 135-148 - [c7]Amal Ahmed, Derek Dreyer, Andreas Rossberg:
State-dependent representation independence. POPL 2009: 340-353 - 2008
- [c6]Derek Dreyer, Andreas Rossberg:
Mixin' up the ML module system. ICFP 2008: 307-320 - [c5]Andreas Rossberg:
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. MFPS 2008: 313-336 - 2007
- [b1]Andreas Rossberg:
Typed open programming: a higher-order, typed approach to dynamic modularity and distribution. Saarland University, 2007 - [c4]Andreas Rossberg, Guido Tack, Leif Kornstaedt:
Status report: hot pickles, and how to serve them. ML 2007: 25-36 - 2006
- [c3]Andreas Rossberg:
The missing link: dynamic components for ML. ICFP 2006: 99-110 - 2004
- [c2]Andreas Rossberg, Didier Le Botlan, Guido Tack, Thorsten Brunklaus, Gert Smolka:
Alice through the looking glass. Trends in Functional Programming 2004: 79-95 - 2003
- [c1]Andreas Rossberg:
Generativity and dynamic opacity for abstract types. PPDP 2003: 241-252
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
last updated on 2024-09-09 01:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
