[ACM Press ACM SIGGRAPH 2007 papers - San Diego, California (2007.08.05-2007.08.09)] ACM SIGGRAPH 2007 papers on - SIGGRAPH '07 - Sampling with polyominoes
- 作者Ostromoukhov, Victor
- 文件大小7722.82KB
- 发表时间2007
- DOI10.1145/1275808.1276475
Fair stateless model checkingMusuvathi, Madanlal; Qadeer, Shaz · ACM SIGPLAN Notices · 2008
[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Deconstructing concurrency heisenbugsBall, Thomas; Burckhardt, Sebastian; de Halleux, Jonathan; Musuvathi, Madanlal; Qadeer, Shaz · 2009
[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Fair stateless model checkingMusuvathi, Madanlal; Qadeer, Shaz · 2008
[ACM Press the 42nd ACM technical symposium - Dallas, TX, USA (2011.03.09-2011.03.12)] Proceedings of the 42nd ACM technical symposium on Computer science education - SIGCSE '11 - Practical parallel and concurrent programmingSadowski, Caitlin; Ball, Thomas; Bishop, Judith; Burckhardt, Sebastian; Gopalakrishnan, Ganesh; Mayo, Joseph; Musuvathi, Madanlal; Qadeer, Shaz; Toub, Stephen · 2011
[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Iterative context bounding for systematic testing of multithreaded programsMusuvathi, Madanlal; Qadeer, Shaz · 2007
Guarded recursive datatype constructorsXi, Hongwei; Chen, Chiyan; Chen, Gang · ACM SIGPLAN Notices · 2003
The towers of HanoiEggers, Bleicke · ACM SIGPLAN Notices · 1985
ESPDas, Manuvir; Lerner, Sorin; Seigle, Mark · ACM SIGPLAN Notices · 2002
Are applicative languages inefficient?Ponder, Carl G.; McGeer, Patrick; Ng, Anthony P-C. · ACM SIGPLAN Notices · 1988
Paths between imperative and functional programmingBall, Thomas · ACM SIGPLAN Notices · 1999
Scalable component abstractionsOdersky, Martin; Zenger, Matthias · ACM SIGPLAN Notices · 2005
PinocchioVerwaest, Toon; Bruni, Camillo; Gurtner, David; Lienhard, Adrian; Niestrasz, Oscar · ACM SIGPLAN Notices · 2010
Regularities considered harmfulPark, Heekwon; Baek, Seungjae; Choi, Jongmoo; Lee, Donghee; Noh, Sam H. · ACM SIGPLAN Notices · 2013