SIEK, JEREMY: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Programming language foundations in Agda

Kokke, Wen, Siek, Jeremy G., Wadler, Philip

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 2.49 MB

2020

2

Theorems for free for free: parametricity, with and without types

Ahmed, Amal, Jamner, Dustin, Siek, Jeremy G., Wadler, Philip

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 402 KB

english, 2017

3

Improving the lazy Krivine machine

Daniel P. Friedman, Abdulaziz Ghuloum, Jeremy G. Siek, Onnie Lynn Winebarger

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 1.24 MB

english, 2007

4

[IEEE Distributed Processing Symposium (IPDPS) - Miami, FL, USA (2008.04.14-2008.04.18)] 2008 IEEE International Symposium on Parallel and Distributed Processing - Build to order linear algebra kernels

Siek, Jeremy G., Karlin, Ian, Jessup, E. R.

Year:

2008

Language:

english

File:

PDF, 449 KB

english, 2008

5

[ACM Press the 21st annual ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Concepts

Gregor, Douglas, Järvi, Jaakko, Siek, Jeremy, Stroustrup, Bjarne, Dos Reis, Gabriel, Lumsdaine, Andrew

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

6

Incremental type-checking for type-reflective metaprograms

Miao, Weiyu, Siek, Jeremy G.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 686 KB

english, 2011

7

[ACM Press the 7th workshop - Rome, Italy (2013.01.22-2013.01.22)] Proceedings of the 7th workshop on Programming languages meets program verification - PLPV '13 - Modular type-safety proofs in Agda

Schwaab, Christopher, Siek, Jeremy G.

Year:

2013

Language:

english

File:

PDF, 814 KB

english, 2013

8

[ACM Press the 18th ACM SIGPLAN conference - Anaheim, California, USA (2003.10.26-2003.10.30)] Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03 - A comparative study of language support for generic programming

Garcia, Ronald, Jarvi, Jaakko, Lumsdaine, Andrew, Siek, Jeremy, Willcock, Jeremiah

Year:

2003

Language:

english

File:

PDF, 232 KB

english, 2003

9

[ACM Press the ninth international conference - Eindhoven, The Netherlands (2010.10.10-2010.10.13)] Proceedings of the ninth international conference on Generative programming and component engineering - GPCE '10 - Incremental type-checking for type-reflective metaprograms

Miao, Weiyu, Siek, Jeremy G.

Year:

2010

Language:

english

File:

PDF, 686 KB

english, 2010

10

[ACM Press the Conference - Portland, Oregon (2009.11.14-2009.11.20)] Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis - SC '09 - Automating the generation of composed linear algebra kernels

Belter, Geoffrey, Jessup, E. R., Karlin, Ian, Siek, Jeremy G.

Year:

2009

Language:

english

File:

PDF, 881 KB

english, 2009

11

[ACM Press the 43rd Annual ACM SIGPLAN-SIGACT Symposium - St. Petersburg, FL, USA (2016.01.20-2016.01.22)] Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016 - The gradualizer: a methodology and algorithm for generating gradual type systems

Cimini, Matteo, Siek, Jeremy G.

Year:

2016

Language:

english

File:

PDF, 349 KB

english, 2016

12

Threesomes, with and without blame

Siek, Jeremy G., Wadler, Philip

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

13

Sound gradual typing: only mostly dead

Bauman, Spenser, Bolz-Tereick, Carl Friedrich, Siek, Jeremy, Tobin-Hochstadt, Sam

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 10.49 MB

english, 2017

14

Understanding memory effects in the automated generation of optimized matrix algebra kernels

Elizabeth R. Jessup, Ian Karlin, Erik Silkensen, Geoffrey Belter, Jeremy Siek

Journal:

Procedia Computer Science

Year:

2010

Language:

english

File:

PDF, 456 KB

english, 2010

15

Special issue on library-centric software design (LCSD 2006)

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 155 KB

english, 2011

16

A language for generic programming in the large

Jeremy G. Siek, Andrew Lumsdaine

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 3.58 MB

english, 2011

17

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Essential language support for generic programming

Siek, Jeremy, Lumsdaine, Andrew

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

18

[IEEE APCCAS 2012-2012 IEEE Asia Pacific Conference on Circuits and Systems - Kaohsiung, Taiwan (2012.12.2-2012.12.5)] 2012 IEEE Asia Pacific Conference on Circuits and Systems - A compact 16-bit dual-slope integrating circuit for direct analog-to-residue conversion

Tang, Howard, Low, Joshua Yung Lih, Low, Jeremy Yung Shern, Siek, Liter, Jong, Ching Chuen, Chang, Chip-Hong

Year:

2012

Language:

english

File:

PDF, 123 KB

english, 2012

19

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.20-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM '14 - Compile-time reflection and metaprogramming for Java

Miao, Weiyu, Siek, Jeremy

Year:

2014

Language:

english

File:

PDF, 499 KB

english, 2014

20

Blame for all

Ahmed, Amal, Findler, Robert Bruce, Siek, Jeremy G., Wadler, Philip

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 593 KB

english, 2011

21

[IEEE 2009 International Conference on Embedded Software and Systems - Hangzhou, China (2009.05.25-2009.05.27)] 2009 International Conference on Embedded Software and Systems - In Pursuit of Real Answers

Zhu, Angela Yun, Taha, Walid, Cartwright, Robert, Martel, Matthieu, Siek, Jeremy G.

Year:

2009

Language:

english

File:

PDF, 638 KB

english, 2009

22

[ACM Press the 10th ACM Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 10th ACM Symposium on Dynamic languages - DLS '14 - Design and evaluation of gradual typing for python

Vitousek, Michael M., Kent, Andrew M., Siek, Jeremy G., Baker, Jim

Year:

2014

Language:

english

File:

PDF, 556 KB

english, 2014

23

[ACM Press the 2008 symposium - Paphos, Cyprus (2008.07.08-2008.07.08)] Proceedings of the 2008 symposium on Dynamic languages - DLS '08 - Gradual typing with unification-based inference

Siek, Jeremy G., Vachharajani, Manish

Year:

2008

Language:

english

File:

PDF, 413 KB

english, 2008

24

[ACM Press Companion to the 19th annual ACM SIGPLAN conference - Vancouver, BC, CANADA (2004.10.24-2004.10.28)] Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '04 - Modular generics

Year:

2004

Language:

english

File:

PDF, 80 KB

english, 2004

25

Parallel memory prediction for fused linear algebra kernels

Karlin, Ian, Jessup, Elizabeth, Belter, Geoffrey, Siek, Jeremy G.

Journal:

ACM SIGMETRICS Performance Evaluation Review

Year:

2011

Language:

english

File:

PDF, 556 KB

english, 2011

26

The generic graph component library

Lee, Lie-Quan, Siek, Jeremy G., Lumsdaine, Andrew

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.30 MB

english, 1999

27

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Algorithm specialization in generic programming

Järvi, Jaakko, Gregor, Douglas, Willcock, Jeremiah, Lumsdaine, Andrew, Siek, Jeremy

Year:

2006

Language:

english

File:

PDF, 150 KB

english, 2006

28

[ACM Press the 4th workshop - Genova, Italy (2009.07.06-2009.07.06)] Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems - ICOOOLPS '09 - An efficient lock-aware transactional memory implementation

Gottschlich, Justin E., Siek, Jeremy G., Vachharajani, Manish, Winkler, Dwight Y., Connors, Daniel A.

Year:

2009

Language:

english

File:

PDF, 896 KB

english, 2009

29

[ACM Press the ACM international conference companion - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10 - 2010 international workshop on foundations of object-oriented languages (FOOL'10)

Aldrich, Jonathan, Siek, Jeremy

Year:

2010

Language:

english

File:

PDF, 303 KB

english, 2010

30

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Blame for all

Ahmed, Amal, Findler, Robert Bruce, Siek, Jeremy G., Wadler, Philip

Year:

2011

Language:

english

File:

PDF, 593 KB

english, 2011

31

[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - 2011 international workshop on foundations of object-oriented languages (fool'11)

Aldrich, Jonathan, Siek, Jeremy, Zucca, Elena

Year:

2011

Language:

english

File:

PDF, 286 KB

english, 2011

32

[ACM Press the 2012 Annual Workshop - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming - Scheme '12 - Interpretations of the gradually-typed lambda calculus

Siek, Jeremy G., Garcia, Ronald

Year:

2012

Language:

english

File:

PDF, 769 KB

english, 2012

33

[ACM Press the 2014 ACM International Conference - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications - OOPSLA '14 - Region-based memory management for GPU programming languages

Holk, Eric, Newton, Ryan, Siek, Jeremy, Lumsdaine, Andrew

Year:

2014

Language:

english

File:

PDF, 484 KB

english, 2014

34

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say

Coughlin, Devin, Chang, Bor-Yuh Evan, Diwan, Amer, Siek, Jeremy G.

Year:

2012

Language:

english

File:

PDF, 395 KB

english, 2012

35

[ACM Press the 3rd annual conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12 - 19th international workshop on foundations of object-oriented languages (FOOL'12)

Siek, Jeremy G., Aldrich, Jonathan, Boyland, John Tang

Year:

2012

Language:

english

File:

PDF, 344 KB

english, 2012

36

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Pattern-based traits

Miao, Weiyu, Siek, Jeremy

Year:

2012

Language:

english

File:

PDF, 616 KB

english, 2012

37

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - LCSD

Bloch, Josh, Jäarvi, Jaakko, Musser, David, Schupp, Sibylle, Siek, Jeremy

Year:

2006

Language:

english

File:

PDF, 75 KB

english, 2006

38

[ACM Press the 36th ACM SIGPLAN Conference - Portland, OR, USA (2015.06.13-2015.06.17)] Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2015 - Blame and coercion: together again for the first time

Siek, Jeremy, Thiemann, Peter, Wadler, Philip

Year:

2015

Language:

english

File:

PDF, 257 KB

english, 2015

39

[ACM Press the 14th ACM SIGPLAN conference - Denver, Colorado, United States (1999.11.01-1999.11.05)] Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '99 - The generic graph component library

Siek, Jeremy G., Lee, Lie-Quan, Lumsdaine, Andrew

Year:

1999

Language:

english

File:

PDF, 1.30 MB

english, 1999

40

Reliable Generation of High-Performance Matrix Algebra

Nelson, Thomas, Belter, Geoffrey, Siek, Jeremy G., Jessup, Elizabeth, Norris, Boyana

Journal:

ACM Transactions on Mathematical Software

Year:

2015

Language:

english

File:

PDF, 1.50 MB

english, 2015

41

[ACM Press the 21st international conference - Minneapolis, Minnesota, USA (2012.09.19-2012.09.23)] Proceedings of the 21st international conference on Parallel architectures and compilation techniques - PACT '12 - Visualizing transactional memory

Gottschlich, Justin E., Herlihy, Maurice P., Pokam, Gilles A., Siek, Jeremy G.

Year:

2012

Language:

english

File:

PDF, 3.30 MB

english, 2012

42

An extended comparative study of language support for generic programming

GARCIA, RONALD, JARVI, JAAKKO, LUMSDAINE, ANDREW, SIEK, JEREMY, WILLCOCK, JEREMIAH

Journal:

Journal of Functional Programming

Year:

2007

Language:

english

File:

PDF, 403 KB

english, 2007

43

Essential language support for generic programming

Siek, Jeremy, Lumsdaine, Andrew

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 243 KB

english, 2005

44

Concepts

Gregor, Douglas, Järvi, Jaakko, Siek, Jeremy, Stroustrup, Bjarne, Dos Reis, Gabriel, Lumsdaine, Andrew

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 304 KB

english, 2006

45

A comparative study of language support for generic programming

Garcia, Ronald, Jarvi, Jaakko, Lumsdaine, Andrew, Siek, Jeremy, Willcock, Jeremiah

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 232 KB

english, 2003

46

Algorithm specialization in generic programming

Järvi, Jaakko, Gregor, Douglas, Willcock, Jeremiah, Lumsdaine, Andrew, Siek, Jeremy

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 150 KB

english, 2006

47

[ACM Press First Workshop on Programming Models and Languages for Distributed Computing - Rome, Italy (2016.07.17-2016.07.17)] First Workshop on Programming Models and Languages for Distributed Computing on - PMLDC '16 - Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language

Cimini, Matteo, Siek, Jeremy G.

Year:

2016

Language:

english

File:

PDF, 257 KB

english, 2016

48

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

Vitousek, Michael M., Swords, Cameron, Siek, Jeremy G.

Year:

2017

Language:

english

File:

PDF, 298 KB

english, 2017

49

[ACM Press the 44th ACM SIGPLAN Symposium - Paris, France (2017.01.15-2017.01.21)] Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017 - Automatically generating the dynamic semantics of gradually typed languages

Cimini, Matteo, Siek, Jeremy G.

Year:

2017

Language:

english

File:

PDF, 384 KB

english, 2017

50

[ACM Press the 40th ACM SIGPLAN Conference - Phoenix, AZ, USA (2019.06.22-2019.06.26)] Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019 - Toward efficient gradual typing for structural types via coercions

Kuhlenschmidt, Andre, Almahallawi, Deyaaeldeen, Siek, Jeremy G.

Year:

2019

Language:

english

File:

PDF, 2.85 MB

english, 2019