Peter-Michael Osera
Titolo
Citata da
Citata da
Anno
Type-and-example-directed program synthesis
PM Osera, S Zdancewic
ACM SIGPLAN Notices 50 (6), 619-630, 2015
1602015
Example-directed synthesis: a type-theoretic interpretation
J Frankle, PM Osera, D Walker, S Zdancewic
ACM SIGPLAN Notices 51 (1), 802-815, 2016
852016
Nifty assignments
N Parlante, J Cigas, AB Shiflet, R Sooriamurthi, M Clancy, B Noonan, ...
Proceedings of the 38th SIGCSE technical symposium on Computer scienceá…, 2007
47*2007
Dependent interoperability
PM Osera, V Sj÷berg, S Zdancewic
Proceedings of the sixth workshop on Programming languages meets programá…, 2012
222012
Compiler Error Messages Considered Unhelpful: The Landscape of Text-Based Programming Error Message Research
BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ...
Proceedings of the Working Group Reports on Innovation and Technology iná…, 2019
192019
Ironclad C++ a library-augmented type-safe subset of c++
C DeLozier, R Eisenberg, S Nagarakatte, PM Osera, MMK Martin, ...
ACM SIGPLAN Notices 48 (10), 287-304, 2013
142013
Towards scalable publish/subscribe systems
S Ji, C Ye, J Wei, HA Jacobsen
2015 IEEE 35th International Conference on Distributed Computing Systemsá…, 2015
82015
Program synthesis with types
PM Osera
University of Pennsylvania, 2015
72015
Constraint-based type-directed program synthesis
PM Osera
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Drivená…, 2019
62019
Unexpected tokens: A review of programming error messages and design guidelines for the future
BA Becker, P Denny, R Pettit, D Bouchard, DJ Bouvier, B Harrington, ...
Proceedings of the 2019 ACM Conference on Innovation and Technology iná…, 2019
62019
Uncommon teaching languages
MC Lewis, D Blank, K Bruce, PM Osera
Proceedings of the 47th ACM Technical Symposium on Computing Scienceá…, 2016
62016
Example-directed synthesis: A type-theoretic interpretation (extended version)
J Frankle, PM Osera, D Walker, S Zdancewic
Technical Report MS-CIS-15-12. University of Pennsylvania, 2015
62015
Teaching Induction with Functional Programming and a Proof Assistant
PM Osera, S Zdancewic
SPLASH Educators Symposium (SPLASH-E), 2013
62013
Core Ironclad
PM Osera, RA Eisenberg, C DeLozier, S Nagarakatte, MMK Martin, ...
42013
Making induction meaningful, recursively
PM Osera, B Yorgey
Proceedings of the 45th ACM technical symposium on Computer scienceá…, 2014
32014
Judgment of Code Style
N Close, A Hawkins, S Sureshkumar, PM Osera, L Ungar, S Zdancewic
Senior Design Project. University of Pennsylvania, 2014
22014
A blocks-based language for program correctness proofs
PM Osera, DG Wonnacott
2017 IEEE Blocks and Beyond Workshop (B&B), 49-52, 2017
12017
ORC2A: A Proof Assistant for Undergraduate Education
J Chen, M Gopalaswamy, P Pradhan, S Son, PM Osera
Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Scienceá…, 2017
12017
Programming assistance for type-directed programming
PM Osera
Proceedings of the 1st International Workshop on Type-Driven Development, 56-57, 2016
12016
Safe, expressive language interoperability
PM Osera, S Zdancewic
Off-the Beaten Track (OBT), 2012
12012
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20