Följ
Dongyun Jin
Dongyun Jin
Principal Engineer, Samsung Research America
Verifierad e-postadress på samsung.com
Titel
Citeras av
Citeras av
År
An overview of the MOP runtime verification framework
PON Meredith, D Jin, D Griffith, F Chen, G Roşu
International Journal on Software Tools for Technology Transfer 14 (3), 249-289, 2012
3112012
JavaMOP: Efficient parametric runtime monitoring framework
D Jin, PON Meredith, C Lee, G Roşu
Proceedings of the 34th International Conference on Software Engineering …, 2012
1342012
RV-Monitor: Efficient parametric runtime verification with simultaneous properties
Q Luo, Y Zhang, C Lee, D Jin, PON Meredith, TF Şerbănuţă, G Roşu
International Conference on Runtime Verification, 285-300, 2014
862014
Efficient monitoring of parametric context-free patterns
PON Meredith, D Jin, F Chen, G Roşu
Automated Software Engineering 17 (2), 149-180, 2010
822010
Improved multithreaded unit testing
V Jagannath, M Gligoric, D Jin, Q Luo, G Rosu, D Marinov
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
712011
Efficient formalism-independent monitoring of parametric properties
F Chen, PON Meredith, D Jin, G Rosu
Proceedings of the 2009 IEEE/ACM International Conference on Automated …, 2009
482009
Garbage collection for monitoring parametric properties
D Jin, PON Meredith, D Griffith, G Rosu
ACM SIGPLAN Notices 46 (6), 415-424, 2011
452011
Towards categorizing and formalizing the JDK API
C Lee, D Jin, PON Meredith, G Rosu
262012
Monitoring oriented programming-a project overview
F Chen, D Jin, P Meredith, G Rosu
Proceedings of the Fourth International Conference on Intelligent Computing …, 2009
212009
Scalable parametric runtime monitoring
D Jin, PON Meredith, G Rosu
142012
Identifying and recommending potential uses of computing systems based on their patterns of use
Y Song, D Cheng, S Kalasapur, D Jin
US Patent 8,032,468, 2011
142011
Identifying and recommending potential uses of computing systems based on their patterns of use
Y Song, D Cheng, S Kalasapur, D Jin
US Patent App. 12/106,163, 2009
142009
Making runtime monitoring of parametric properties practical
D Jin
University of Illinois at Urbana-Champaign, 2012
102012
IMUnit: improved multithreaded unit testing
V Jagannath, M Gligoric, D Jin, G Rosu, D Marinov
Proceedings of the 3rd International Workshop on Multicore Software …, 2010
72010
Porting the xen hypervisor to arm
M LeMay, D Jin, S Reddy, B Schoudel
Technical Report in UIUC, 2009
22009
Efficient Formalism-Independent Monitoring of Parametric Properties (Extended Version
F Chen, D Jin, PO Meredith
22008
An overview of monitoring oriented programming
PO Meredith, D Jin, D Griffith, F Chen, G Rosu
Journal on Software Tools for Technology Transfer (to appear, 2011), 2011
12011
Session 7a: Singular Topics-Session Chair: Vikram Adve (University of Illinois at Urbana-Champaign)-Garbage Collection for Monitoring Parametric Properties
D Jin, P O'Neil Meredith, D Griffith, G Roşu
SIGPLAN Notices 46 (6), 415, 2011
2011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18