default search action

combined dblp search
author search
venue search
publication search

ask others

Peter-Michael Osera

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/nc/KlingeLOR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/nc/KlingeLOR24
Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers:
Reactamole: functional reactive molecular programming. Nat. Comput. 23(3): 477-495 (2024)
2023
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/allerton/LathropOSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/allerton/LathropOSS23
James I. Lathrop, Peter-Michael Osera, Addison W. Schmidt, Jesse Slater:
Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. Allerton 2023: 1-8
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/CharOW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/CharOW23
Bruce W. Char, Peter-Michael Osera, David G. Wonnacott:
The Purpose of Proof. SIGCSE (2) 2023: 1256
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/WordenSO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/WordenSO23
Eamon Worden, Olivia Song, Peter-Michael Osera:
Notional Machine in Mathematics and Introductory Computer Science Courses. SIGCSE (2) 2023: 1379
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/AlabiVO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/AlabiVO23
Oluwatobi Alabi, Anh Vu, Peter-Michael Osera:
Snowflake: Supporting Programming and Proofs. SIGCSE (2) 2023: 1398
2021
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/dna/KlingeLOR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dna/KlingeLOR21
Titus H. Klinge, James I. Lathrop, Peter-Michael Osera, Allison Rogers:
Reactamole: Functional Reactive Molecular Programming. DNA 2021: 10:1-10:20
2020
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/MatthewsDO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/MatthewsDO20
James R. Matthews, John P. Dougherty, Peter-Michael Osera:
What Mathematics Should be Required of Computer Science Majors? SIGCSE 2020: 1405

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Osera19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Osera19
Peter-Michael Osera:
Constraint-based type-directed program synthesis. TyDe@ICFP 2019: 64-76
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/BeckerDPBB0KKMO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BeckerDPBB0KKMO19
Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce, James Prather:
Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research. ITiCSE-WGR 2019: 177-210
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/BeckerDPBBHKKMO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/BeckerDPBBHKKMO19
Brett A. Becker, Paul Denny, Raymond Pettit, Durell Bouchard, Dennis J. Bouvier, Brian Harrington, Amir Kamil, Amey Karkare, Chris McDonald, Peter-Michael Osera, Janice L. Pearce, James Prather:
Unexpected Tokens: A Review of Programming Error Messages and Design Guidelines for the Future. ITiCSE 2019: 253-254
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/AnthonyMLO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/AnthonyMLO20
Barbara M. Anthony, Mia Minnes, David Liben-Nowell, Peter-Michael Osera:
Modernizing the Mathematics Taught in Computer Science. SIGCSE 2019: 1246
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-03105
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03105
Peter-Michael Osera:
Constraint-Based Type-Directed Program Synthesis. CoRR abs/1907.03105 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-04134
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-04134
David G. Wonnacott, Peter-Michael Osera:
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math. CoRR abs/1907.04134 (2019)
2017
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/ChenGPSO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/ChenGPSO17
Jianting Chen, Medha Gopalaswamy, Prabir Pradhan, Sooji Son, Peter-Michael Osera:
ORC²A: A Proof Assistant for Undergraduate Education. SIGCSE 2017: 757-758
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Osera16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Osera16
Peter-Michael Osera:
Programming assistance for type-directed programming (extended abstract). TyDe@ICFP 2016: 56-57
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/FrankleOWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/FrankleOWZ16
Jonathan Frankle, Peter-Michael Osera, David Walker, Steve Zdancewic:
Example-directed synthesis: a type-theoretic interpretation. POPL 2016: 802-815
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/LewisBBO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/LewisBBO16
Mark C. Lewis, Douglas Blank, Kim Bruce, Peter-Michael Osera:
Uncommon Teaching Languages. SIGCSE 2016: 492-493
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/Garrod0LO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/Garrod0LO16
Charles Garrod, Jeffrey Forbes, Colleen M. Lewis, Peter-Michael Osera:
Mentoring Student Teaching Assistants for Computer Science (Abstract Only). SIGCSE 2016: 702
2015
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/OseraZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/OseraZ15
Peter-Michael Osera, Steve Zdancewic:
Type-and-example-directed program synthesis. PLDI 2015: 619-630
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/ParlanteZOSSTLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/ParlanteZOSSTLM15
Nick Parlante, Julie Zelenski, Peter-Michael Osera, Marty Stepp, Mark Sherriff, Luther A. Tychonievich, Ryan Layer, Suzanne J. Matthews, Allison Obourn, David R. Raymond, Josh Hug, Stuart Reges:
Nifty Assignments. SIGCSE 2015: 673-674
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/OseraY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/OseraY14
Peter-Michael Osera, Brent A. Yorgey:
Making induction meaningful, recursively (abstract only). SIGCSE 2014: 737
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/DeLozierENOMZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/DeLozierENOMZ13
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic:
Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA 2013: 287-304
2012
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/plpv/OseraSZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plpv/OseraSZ12
Peter-Michael Osera, Vilhelm Sjöberg, Steve Zdancewic:
Dependent interoperability. PLPV 2012: 3-14

Coauthor Index

see FAQ

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.